Results
|
|
1701.
|
|
|
|
1702.
|
Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings / edited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko. by Series: Lecture Notes in Computer Science ; 3964
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: TK5101.A1 U93 2006.
|
|
|
1703.
|
|
|
|
1704.
|
|
|
|
1705.
|
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.
|
|
|
1706.
|
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 .
|
|
|
1707.
|
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.
|
|
|
1708.
|
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.
|
|
|
1709.
|
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.
|
|
|
1710.
|
|
|
|
1711.
|
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.
|
|
|
1712.
|
|
|
|
1713.
|
|
|
|
1714.
|
|
|
|
1715.
|
|
|
|
1716.
|
|
|
|
1717.
|
|
|
|
1718.
|
|
|
|
1719.
|
|
|
|
1720.
|
|