Results
|
|
81.
|
Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 5016
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B47637 2008.
|
|
|
82.
|
|
|
|
83.
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III / edited by Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain. by Series: Lecture Notes in Computer Science ; 5179
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7801 L68 2008.
|
|
|
84.
|
|
|
|
85.
|
|
|
|
86.
|
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo. by Series: Lecture Notes in Computer Science ; 3982
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 G38 2006.
|
|
|
87.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 [electronic resource] : 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II / edited by James S. Duncan, Guido Gerig. by Series: Lecture Notes in Computer Science ; 3750
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: R857.O6 D96 2005.
|
|
|
88.
|
|
|
|
89.
|
|
|
|
90.
|
|
|
|
91.
|
Information Security [electronic resource] : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / edited by Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, Der-Tsai Lee. by Series: Lecture Notes in Computer Science ; 5222
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 W88 2008.
|
|
|
92.
|
|
|
|
93.
|
Smart Graphics [electronic resource] : 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005. Proceedings / edited by Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier. by Series: Lecture Notes in Computer Science ; 3638
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 B88 2005.
|
|
|
94.
|
|
|
|
95.
|
|
|
|
96.
|
|
|
|
97.
|
|
|
|
98.
|
Discrete Geometry, Combinatorics and Graph Theory [electronic resource] : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers / edited by Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu. by Series: Lecture Notes in Computer Science ; 4381
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA167 A35 2007.
|
|
|
99.
|
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum. by Series: Lecture Notes in Computer Science ; 3396
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 E35 2005.
|
|
|
100.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 [electronic resource] : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II / edited by Nicholas Ayache, Sébastien Ourselin, Anthony Maeder. by Series: Lecture Notes in Computer Science ; 4792
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: R857.O6 A93 2007.
|