Results
|
3341.
|
|
|
3342.
|
|
|
3343.
|
|
|
3344.
|
|
|
3345.
|
|
|
3346.
|
|
|
3347.
|
|
|
3348.
|
|
|
3349.
|
|
|
3350.
|
|
|
3351.
|
|
|
3352.
|
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.
|
|
3353.
|
|
|
3354.
|
|
|
3355.
|
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.
|
|
3356.
|
|
|
3357.
|
|
|
3358.
|
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.
|
|
3359.
|
|
|
3360.
|
|