Results
|
161.
|
|
|
162.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra. by Series: Lecture Notes in Computer Science ; 3993
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 A44 2006.
|
|
163.
|
|
|
164.
|
|
|
165.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell. by Series: Lecture Notes in Computer Science ; 3542
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: No items available.
|
|
166.
|
|
|
167.
|
Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Series: Lecture Notes in Computer Science ; 3480
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: QA75.5 G47 2005.
|
|
168.
|
|
|
169.
|
|
|
170.
|
|
|
171.
|
High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings / edited by Laurence T. Yang, Omer F. Rana, Beniamino Martino, Jack Dongarra. by Series: Lecture Notes in Computer Science ; 3726
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.88 Y36 2005.
|
|
172.
|
|
|
173.
|
Computer Supported Cooperative Work in Design III [electronic resource] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers / edited by Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. Barthès, Qi Hao. by Series: Lecture Notes in Computer Science ; 4402
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: TA174 S54 2007.
|
|
174.
|
|
|
175.
|
|
|
176.
|
|
|
177.
|
Computer Network Security [electronic resource] : Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings / edited by Vladimir Gorodetsky, Igor Kotenko, Victor Skormin. by Series: Lecture Notes in Computer Science ; 3685
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.A25 G67 2005.
|
|
178.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra. by Series: Lecture Notes in Computer Science ; 3994
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 A44 2006.
|
|
179.
|
|
|
180.
|
|