Results
|
2761.
|
|
|
2762.
|
Advances in Multimedia Information Processing - PCM 2008 [electronic resource] : 9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008. Proceedings / edited by Yueh-Min Ray Huang, Changsheng Xu, Kuo-Sheng Cheng, Jar-Ferr Kevin Yang, M. N. S. Swamy, Shipeng Li, Jen-Wen Ding. by Series: Lecture Notes in Computer Science ; 5353
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.575 H83 2008.
|
|
2763.
|
|
|
2764.
|
|
|
2765.
|
|
|
2766.
|
|
|
2767.
|
|
|
2768.
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner. by Series: Lecture Notes in Computer Science ; 3839
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
2769.
|
|
|
2770.
|
Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures [electronic resource] : 6th Thematic Workshop of the EU Network of Excellence DELOS, Cagliari, Italy, June 24-25, 2004. Revised Selected Papers / edited by Can Türker, Maristella Agosti, Hans-Jörg Schek. by Series: Lecture Notes in Computer Science ; 3664
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: ZA4150 T87 2005.
|
|
2771.
|
|
|
2772.
|
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4608
Edition: 1a ed.
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.76.C66 S34 2007.
|
|
2773.
|
|
|
2774.
|
|
|
2775.
|
|
|
2776.
|
|
|
2777.
|
|
|
2778.
|
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.
|
|
2779.
|
|
|
2780.
|
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.
|