Results
|
|
2841.
|
|
|
|
2842.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 4905
Material type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
2843.
|
|
|
|
2844.
|
Geographic Information Science [electronic resource] : 4th International Conference, GIScience 2006, Münster, Germany, September 20-23, 2006. Proceedings / edited by Martin Raubal, Harvey J. Miller, Andrew U. Frank, Michael F. Goodchild. by Series: Lecture Notes in Computer Science ; 4197
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.D3 R38 2006 .
|
|
|
2845.
|
|
|
|
2846.
|
Mechanisms, Symbols, and Models Underlying Cognition [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I / edited by José Mira, José R. Álvarez. by Series: Lecture Notes in Computer Science ; 3561
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: QP363.3 M57 2005.
|
|
|
2847.
|
|
|
|
2848.
|
Bio-Inspired Computational Intelligence and Applications [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / edited by Kang Li, Minrui Fei, George William Irwin, Shiwei Ma. by Series: Lecture Notes in Computer Science ; 4688
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: Q342 L5 2007.
|
|
|
2849.
|
|
|
|
2850.
|
|
|
|
2851.
|
Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores. by Series: Lecture Notes in Computer Science ; 3859
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 D54 2006.
|
|
|
2852.
|
|
|
|
2853.
|
|
|
|
2854.
|
|
|
|
2855.
|
|
|
|
2856.
|
Agent-Oriented Information Systems II [electronic resource] : 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004, and New York, NY, USA, July 20, 2004, Revised Selected Papers / edited by Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff. by Series: Lecture Notes in Computer Science ; 3508
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 B74 2005.
|
|
|
2857.
|
|
|
|
2858.
|
|
|
|
2859.
|
|
|
|
2860.
|
|