Results
|
|
901.
|
Empirical Software Engineering Issues. Critical Assessment and Future Directions [electronic resource] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers / edited by Victor R. Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard W. Selby. by Series: Lecture Notes in Computer Science ; 4336
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 B37 2007.
|
|
|
902.
|
|
|
|
903.
|
|
|
|
904.
|
|
|
|
905.
|
On the Move to Meaningful Internet Systems: OTM 2008 [electronic resource] : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I / edited by Robert Meersman, Zahir Tari. by Series: Lecture Notes in Computer Science ; 5331
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 M447 2008.
|
|
|
906.
|
|
|
|
907.
|
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.
|
|
|
908.
|
|
|
|
909.
|
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.
|
|
|
910.
|
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 .
|
|
|
911.
|
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.
|
|
|
912.
|
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.
|
|
|
913.
|
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.
|
|
|
914.
|
|
|
|
915.
|
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.
|
|
|
916.
|
|
|
|
917.
|
|
|
|
918.
|
|
|
|
919.
|
|
|
|
920.
|
|