Results
|
|
61.
|
|
|
|
62.
|
Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / edited by Félix F. Ramos, Victor Larios Rosillo, Herwig Unger. by Series: Lecture Notes in Computer Science ; 3563
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.9.D5 R36 2005.
|
|
|
63.
|
High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / edited by Jesús Labarta, Kazuki Joe, Toshinori Sato. by Series: Lecture Notes in Computer Science ; 4759
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.88 L33 2008.
|
|
|
64.
|
Multiagent System Technologies [electronic resource] : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings / edited by Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. Huhns. by Series: Lecture Notes in Computer Science ; 3550
Edition: 1a ed.
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 E96 2005.
|
|
|
65.
|
|
|
|
66.
|
|
|
|
67.
|
|
|
|
68.
|
|
|
|
69.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. by Series: Lecture Notes in Computer Science ; 4349
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
70.
|
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Series: Lecture Notes in Computer Science ; 4199
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: QA76.76.D47 N54 2006.
|
|
|
71.
|
|
|
|
72.
|
Euro-Par 2007 Workshops: Parallel Processing [electronic resource] : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / edited by Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs. by Series: Lecture Notes in Computer Science ; 4854
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.58 B68 2008.
|
|
|
73.
|
|
|
|
74.
|
Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Series: Lecture Notes in Computer Science ; 4709
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: QA76.9.F67 B64 2007.
|
|
|
75.
|
|
|
|
76.
|
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings / edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos. by Series: Lecture Notes in Computer Science ; 5138
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: Q334 D37 2008.
|
|
|
77.
|
|
|
|
78.
|
|
|
|
79.
|
|
|
|
80.
|
|