Results
|
401.
|
|
|
402.
|
Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston. by Series: Lecture Notes in Computer Science ; 4486
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 B4763 2007.
|
|
403.
|
|
|
404.
|
Multi-Agent Systems and Applications III [electronic resource] : 9th ECCAI Advanced Course, ACAI 2001 and Agent Link’s 3rd European Agent Systems Summer School, EASSS 2001 Prague, Czech Republic, July 2–13, 2001 Selected Tutorial Papers / edited by Michael Luck, Vladimír Mařík, Olga Štěpánková, Robert Trappl. by Series: Lecture Notes in Computer Science ; 2086
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.I58 L83 2006.
|
|
405.
|
Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Series: Lecture Notes in Computer Science ; 3382
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.758 O34 2005.
|
|
406.
|
|
|
407.
|
|
|
408.
|
|
|
409.
|
Innovative Internet Community Systems [electronic resource] : 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers / edited by Thomas Böhme, Victor M. Larios Rosillo, Helena Unger, Herwig Unger. by Series: Lecture Notes in Computer Science ; 3473
Edition: 1a ed.
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.A65 B64 2006.
|
|
410.
|
|
|
411.
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun. by Series: Lecture Notes in Computer Science ; 4492
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.87 L58 2007.
|
|
412.
|
|
|
413.
|
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso K. Denko, Ruppa K. Thulasiram, Laurence T. Yang. by Series: Lecture Notes in Computer Science ; 4743
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.88 T48 2007.
|
|
414.
|
|
|
415.
|
Fault Diagnosis and Tolerance in Cryptography [electronic resource] : Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006. Proceedings / edited by Luca Breveglieri, Israel Koren, David Naccache, Jean-Pierre Seifert. by Series: Lecture Notes in Computer Science ; 4236
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.F38 B74 2006.
|
|
416.
|
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings / edited by Marco Dorigo, Mauro Birattari, Christian Blum, Maurice Clerc, Thomas Stützle, Alan F. T. Winfield. by Series: Lecture Notes in Computer Science ; 5217
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: QA402.5 D67 2008.
|
|
417.
|
|
|
418.
|
|
|
419.
|
|
|
420.
|
|