Results
|
|
81.
|
|
|
|
82.
|
|
|
|
83.
|
Languages and Compilers for Parallel Computing [electronic resource] : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / edited by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan. by Series: Lecture Notes in Computer Science ; 4339
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.58 A94 2006.
|
|
|
84.
|
|
|
|
85.
|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo. by Series: Lecture Notes in Computer Science ; 3465
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.F67 B47 2005.
|
|
|
86.
|
|
|
|
87.
|
High Performance Embedded Architectures and Compilers [electronic resource] : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings / edited by Per Stenström, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer. by Series: Lecture Notes in Computer Science ; 4917
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: TK7895.E42 S74 2008.
|
|
|
88.
|
|
|
|
89.
|
|
|
|
90.
|
|
|
|
91.
|
|
|
|
92.
|
|
|
|
93.
|
|
|
|
94.
|
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.
|
|
|
95.
|
Wired/Wireless Internet Communications [electronic resource] : 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings / edited by Torsten Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy. by Series: Lecture Notes in Computer Science ; 3970
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5103.4885 B73 2006.
|
|
|
96.
|
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.
|
|
|
97.
|
|
|
|
98.
|
|
|
|
99.
|
|
|
|
100.
|
Security Protocols [electronic resource] : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Series: Lecture Notes in Computer Science ; 4631
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.A25 C75 2007.
|