|
|
101.
|
Optical SuperComputing [electronic resource] : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi | Oltean, Mihai | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
102.
|
Principles of Distributed Systems [electronic resource] : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings / edited by Tarek Abdelzaher, Michel Raynal, Nicola Santoro.
by Abdelzaher, Tarek | Raynal, Michel | Santoro, Nicola | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
103.
|
Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer.
by Abrial, Jean-Raymond | Glässer, Uwe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
104.
|
MATLAB R2009, SIMULINK et STATEFLOW pour Ingénieurs, Chercheurs et Etudiants [electronic resource] / by Nadia Martaj, Mohand Mokhtari.
by Martaj, Nadia | Mokhtari, Mohand | 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
|
|
|
105.
|
Languages and Compilers for Parallel Computing [electronic resource] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers / edited by Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li.
by Gao, Guang R | Pollock, Lori L | Cavazos, John | Li, Xiaoming | 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
|
|
|
106.
|
History of Computing. Learning from the Past [electronic resource] : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Arthur Tatnall.
by Tatnall, Arthur | 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
|
|
|
107.
|
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
|
|
|
108.
|
Statistical Atlases and Computational Models of the Heart [electronic resource] : First International Workshop, STACOM 2010, and Cardiac Electrophysiological Simulation Challenge, CESC 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010. Proceedings / edited by Oscar Camara, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Nic Smith, Alistair Young.
by Camara, Oscar | Pop, Mihaela | Rhode, Kawal | Sermesant, Maxime | Smith, Nic | Young, Alistair | 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
|
|
|
109.
|
Self-organising Software [electronic resource] : From Natural to Artificial Adaptation / edited by Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos.
by Di Marzo Serugendo, Giovanna | Gleizes, Marie-Pierre | Karageorgos, Anthony | 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
|
|
|
110.
|
Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth.
by Banerjee, Mohua | Seth, Anil | 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
|
|
|
111.
|
Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar.
by Cooper, Keith | Mellor-Crummey, John | Sarkar, Vivek | 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
|
|
|
112.
|
Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong.
by Ong, Luke | 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
|
|
|
113.
|
Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi | Oltean, Mihai | 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
|
|
|
114.
|
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa.
by Hameurlain, Abdelkader | Tjoa, A Min | 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
|
|
|
115.
|
Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings / edited by Erik Altman, Weisong Shi.
by Altman, Erik | Shi, Weisong | 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
|
|
|
116.
|
Mobility in Process Calculi and Natural Computing [electronic resource] / by Bogdan Aman, Gabriel Ciobanu.
by Aman, Bogdan | Ciobanu, Gabriel | 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
|
|
|
117.
|
Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat.
by Song, Dawei | Melucci, Massimo | Frommholz, Ingo | Zhang, Peng | Wang, Lei | Arafat, Sachi | 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
|
|
|
118.
|
Applications of Agent Technology in Traffic and Transportation [electronic resource] / edited by Franziska Klügl, Ana Bazzan, Sascha Ossowski.
by Klügl, Franziska | Bazzan, Ana | Ossowski, Sascha | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
|
|
|
119.
|
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications [electronic resource] : Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 / edited by Takao Terano, Hajime Kita, Toshiyuki Kaneda, Kiyoshi Arai, Hiroshi Deguchi.
by Terano, Takao | Kita, Hajime | Kaneda, Toshiyuki | Arai, Kiyoshi | Deguchi, Hiroshi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Tokyo, 2005Online access: Click here to access online Availability: No items available
|
|
|
120.
|
Systems Modeling and Simulation [electronic resource] : Theory and Applications, Asia Simulation Conference 2006 / edited by Koji Koyamada, Shinsuke Tamura, Osamu Ono.
by Koyamada, Koji | Tamura, Shinsuke | Ono, Osamu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan, 2007Online access: Click here to access online Availability: No items available
|
