Results
|
|
4381.
|
|
|
|
4382.
|
|
|
|
4383.
|
|
|
|
4384.
|
|
|
|
4385.
|
|
|
|
4386.
|
|
|
|
4387.
|
|
|
|
4388.
|
|
|
|
4389.
|
|
|
|
4390.
|
|
|
|
4391.
|
|
|
|
4392.
|
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.
|
|
|
4393.
|
|
|
|
4394.
|
|
|
|
4395.
|
|
|
|
4396.
|
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.
|
|
|
4397.
|
|
|
|
4398.
|
|
|
|
4399.
|
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.
|
|
|
4400.
|
|