|
|
3001.
|
Mathematical Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama.
by Fukuda, Komei | Hoeven, Joris van der | Joswig, Michael | Takayama, Nobuki | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3002.
|
Testing – Practice and Research Techniques [electronic resource] : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings / edited by Leonardo Bottaci, Gordon Fraser.
by Bottaci, Leonardo | Fraser, Gordon | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3003.
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin.
by Li, Kang | Fei, Minrui | Jia, Li | Irwin, George W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3004.
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III / edited by Kang Li, Li Jia, Xin Sun, Minrui Fei, George W. Irwin.
by Li, Kang | Jia, Li | Sun, Xin | Fei, Minrui | Irwin, George W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3005.
|
Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings / edited by Richard Hull, Jan Mendling, Stefan Tai.
by Hull, Richard | Mendling, Jan | Tai, Stefan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3006.
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin.
by Li, Kang | Fei, Minrui | Jia, Li | Irwin, George W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3007.
|
Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer.
by Wirsing, Martin | Hofmann, Martin | Rauschmayer, Axel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3008.
|
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin.
by Bouajjani, Ahmed | Chin, Wei-Ngan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3009.
|
Recent Advances in the Message Passing Interface [electronic resource] : 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings / edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra.
by Keller, Rainer | Gabriel, Edgar | Resch, Michael | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3010.
|
Computer Safety, Reliability, and Security [electronic resource] : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings / edited by Erwin Schoitsch.
by Schoitsch, Erwin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3011.
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings / edited by Chen Ding, Zhiyuan Shao, Ran Zheng.
by Ding, Chen | Shao, Zhiyuan | Zheng, Ran | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3012.
|
Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / edited by Tomi Janhunen, Ilkka Niemelä.
by Janhunen, Tomi | Niemelä, Ilkka | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3013.
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings / edited by Jörn Altmann, Omer F. Rana.
by Altmann, Jörn | Rana, Omer F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3014.
|
Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings / edited by Mong Li Lee, Jeffrey Xu Yu, Zohra Bellahsène, Rainer Unland.
by Lee, Mong Li | Yu, Jeffrey Xu | Bellahsène, Zohra | Unland, Rainer | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3015.
|
Advances in Multimedia Information Processing - PCM 2010 [electronic resource] : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II / edited by Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew.
by Qiu, Guoping | Lam, Kin Man | Kiya, Hitoshi | Xue, Xiang-Yang | Kuo, C.-C. Jay | Lew, Michael S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3016.
|
Medical Imaging and Augmented Reality [electronic resource] : 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings / edited by Hongen Liao, P. J. "Eddie" Edwards, Xiaochuan Pan, Yong Fan, Guang-Zhong Yang.
by Liao, Hongen | Edwards, P. J. "Eddie" | Pan, Xiaochuan | Fan, Yong | Yang, Guang-Zhong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3017.
|
Advances in Multimedia Information Processing - PCM 2010 [electronic resource] : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I / edited by Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew.
by Qiu, Guoping | Lam, Kin Man | Kiya, Hitoshi | Xue, Xiang-Yang | Kuo, C.-C. Jay | Lew, Michael S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3018.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I / edited by Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever.
by Jiang, Tianzi | Navab, Nassir | Pluim, Josien P. W | Viergever, Max A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3019.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III / edited by Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever.
by Jiang, Tianzi | Navab, Nassir | Pluim, Josien P. W | Viergever, Max A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
3020.
|
Collaboration and Technology [electronic resource] : 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings / edited by Gwendolyn Kolfschoten, Thomas Herrmann, Stephan Lukosch.
by Kolfschoten, Gwendolyn | Herrmann, Thomas | Lukosch, Stephan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
