Results
|
61.
|
|
|
62.
|
|
|
63.
|
|
|
64.
|
|
|
65.
|
|
|
66.
|
|
|
67.
|
The Semantic Web - ISWC 2008 [electronic resource] : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings / edited by Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan. by Series: Lecture Notes in Computer Science ; 5318
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
68.
|
|
|
69.
|
|
|
70.
|
|
|
71.
|
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.
|
|
72.
|
|
|
73.
|
Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Series: Lecture Notes in Computer Science ; 4709
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.9.F67 B64 2007.
|
|
74.
|
|
|
75.
|
|
|
76.
|
|
|
77.
|
|
|
78.
|
|
|
79.
|
|
|
80.
|
|