Results
|
4361.
|
|
|
4362.
|
|
|
4363.
|
|
|
4364.
|
|
|
4365.
|
|
|
4366.
|
|
|
4367.
|
Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp. by Series: Lecture Notes in Computer Science ; 4581
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: TK5101.A1 P48 2007.
|
|
4368.
|
|
|
4369.
|
|
|
4370.
|
|
|
4371.
|
|
|
4372.
|
Spatial Cognition VI. Learning, Reasoning, and Talking about Space [electronic resource] : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings / edited by Christian Freksa, Nora S. Newcombe, Peter Gärdenfors, Stefan Wölfl. by Series: Lecture Notes in Computer Science ; 5248
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: Q387 F74 2008.
|
|
4373.
|
|
|
4374.
|
|
|
4375.
|
|
|
4376.
|
Intelligence and Security Informatics [electronic resource] : International Workshop, WISI 2006, Singapore, April 9, 2006. Proceedings / edited by Hsinchun Chen, Fei-Yue Wang, Christopher C. Yang, Daniel Zeng, Michael Chau, Kuiyu Chang. by Series: Lecture Notes in Computer Science ; 3917
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: QA76.76.E95 C46 2006.
|
|
4377.
|
|
|
4378.
|
|
|
4379.
|
|
|
4380.
|
|