Results
|
161.
|
|
|
162.
|
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.
|
|
163.
|
|
|
164.
|
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.
|
|
165.
|
|
|
166.
|
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.
|
|
167.
|
|
|
168.
|
|
|
169.
|
|
|
170.
|
|
|
171.
|
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg. by Series: Lecture Notes in Computer Science ; 4178
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: QA267.3 C67 2006.
|
|
172.
|
|
|
173.
|
|
|
174.
|
|
|
175.
|
Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I / edited by Fuchun Sun, Jianwei Zhang, Ying Tan, Jinde Cao, Wen Yu. by Series: Lecture Notes in Computer Science ; 5263
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.87 S86 2008.
|
|
176.
|
|
|
177.
|
Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot. by Series: Lecture Notes in Computer Science ; 3492
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: PQ8.5.L53 B53 2005.
|
|
178.
|
|
|
179.
|
Interactive Technologies and Sociotechnical Systems [electronic resource] : 12th International Conference, VSMM 2006, Xi’an, China, October 18-20, 2006. Proceedings / edited by Hongbin Zha, Zhigeng Pan, Hal Thwaites, Alonzo C. Addison, Maurizio Forte. by Series: Lecture Notes in Computer Science ; 4270
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.9.V5 Z43 2006 .
|
|
180.
|
|