Results
|
4401.
|
|
|
4402.
|
|
|
4403.
|
|
|
4404.
|
|
|
4405.
|
|
|
4406.
|
|
|
4407.
|
|
|
4408.
|
|
|
4409.
|
|
|
4410.
|
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.
|
|
4411.
|
|
|
4412.
|
|
|
4413.
|
|
|
4414.
|
|
|
4415.
|
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.
|
|
4416.
|
|
|
4417.
|
|
|
4418.
|
|
|
4419.
|
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.
|
|
4420.
|
|