Results
|
4301.
|
|
|
4302.
|
|
|
4303.
|
|
|
4304.
|
|
|
4305.
|
|
|
4306.
|
|
|
4307.
|
|
|
4308.
|
|
|
4309.
|
|
|
4310.
|
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.
|
|
4311.
|
|
|
4312.
|
|
|
4313.
|
|
|
4314.
|
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.
|
|
4315.
|
|
|
4316.
|
|
|
4317.
|
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.
|
|
4318.
|
|
|
4319.
|
|
|
4320.
|
|