Results
|
|
41.
|
|
|
|
42.
|
Database and XML Technologies [electronic resource] : Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings / edited by Stéphane Bressan, Stefano Ceri, Ela Hunt, Zachary G. Ives, Zohra Bellahsène, Michael Rys, Rainer Unland. by Series: Lecture Notes in Computer Science ; 3671
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: QA76.9.D3 B74 2005 .
|
|
|
43.
|
|
|
|
44.
|
|
|
|
45.
|
Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil. by Series: Lecture Notes in Computer Science ; 4735
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.D47 E54 2007 .
|
|
|
46.
|
|
|
|
47.
|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo. by Series: Lecture Notes in Computer Science ; 3465
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: QA76.9.F67 B47 2005.
|
|
|
48.
|
|
|
|
49.
|
|
|
|
50.
|
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg. by Series: Lecture Notes in Computer Science ; 4178
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.3 C67 2006.
|
|
|
51.
|
|
|
|
52.
|
|
|
|
53.
|
|
|
|
54.
|
Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / edited by Félix F. Ramos, Victor Larios Rosillo, Herwig Unger. by Series: Lecture Notes in Computer Science ; 3563
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: QA76.9.D5 R36 2005.
|
|
|
55.
|
High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / edited by Jesús Labarta, Kazuki Joe, Toshinori Sato. by Series: Lecture Notes in Computer Science ; 4759
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: QA76.88 L33 2008.
|
|
|
56.
|
Multiagent System Technologies [electronic resource] : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings / edited by Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. Huhns. by Series: Lecture Notes in Computer Science ; 3550
Edition: 1a ed.
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: QA76.76.I58 E96 2005.
|
|
|
57.
|
|
|
|
58.
|
|
|
|
59.
|
|
|
|
60.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. by Series: Lecture Notes in Computer Science ; 4349
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|