|
|
4681.
|
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
|
|
|
4682.
|
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
|
|
|
4683.
|
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
|
|
|
4684.
|
Systems, Software and Services Process Improvement [electronic resource] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory O’Connor, Serge Tichkiewitch, Richard Messnarz.
by Riel, Andreas | O’Connor, Rory | Tichkiewitch, Serge | Messnarz, Richard | 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
|
|
|
4685.
|
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
|
|
|
4686.
|
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
|
|
|
4687.
|
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
|
|
|
4688.
|
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
|
|
|
4689.
|
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
|
|
|
4690.
|
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
|
|
|
4691.
|
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
|
|
|
4692.
|
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
|
|
|
4693.
|
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
|
|
|
4694.
|
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
|
|
|
4695.
|
Global Security, Safety, and Sustainability [electronic resource] : 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings / edited by Sérgio Tenreiro de Magalhães, Hamid Jahankhani, Ali G. Hessami.
by Tenreiro de Magalhães, Sérgio | Jahankhani, Hamid | Hessami, Ali G | 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
|
|
|
4696.
|
Power Electronics and Instrumentation Engineering [electronic resource] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan.
by Das, Vinu V | Stephen, Janahanlal | Thankachan, Nessy | 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
|
|
|
4697.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II / 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
|
|
|
4698.
|
Multilingual Information Access Evaluation II. Multimedia Experiments [electronic resource] : 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers / edited by Carol Peters, Barbara Caputo, Julio Gonzalo, Gareth J. F. Jones, Jayashree Kalpathy-Cramer, Henning Müller, Theodora Tsikrika.
by Peters, Carol | Caputo, Barbara | Gonzalo, Julio | Jones, Gareth J. F | Kalpathy-Cramer, Jayashree | Müller, Henning | Tsikrika, Theodora | 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
|
|
|
4699.
|
Multilingual Information Access Evaluation I. Text Retrieval Experiments [electronic resource] : 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers / edited by Carol Peters, Giorgio Maria Nunzio, Mikko Kurimo, Thomas Mandl, Djamel Mostefa, Anselmo Peñas, Giovanna Roda.
by Peters, Carol | Nunzio, Giorgio Maria | Kurimo, Mikko | Mandl, Thomas | Mostefa, Djamel | Peñas, Anselmo | Roda, Giovanna | 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
|
|
|
4700.
|
Text, Speech and Dialogue [electronic resource] : 13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010. Proceedings / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala.
by Sojka, Petr | Horák, Aleš | Kopeček, Ivan | Pala, Karel | 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
|
