Results
|
|
161.
|
|
|
|
|
162.
|
|
|
|
|
163.
|
|
|
|
|
164.
|
|
Software and Data Technologies [electronic resource] : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert. by Series: Communications in Computer and Information Science ; 10
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.76.D47 F55 2008.
|
|
|
165.
|
|
|
|
|
166.
|
|
|
|
|
167.
|
|
|
|
|
168.
|
|
|
|
|
169.
|
|
|
|
|
170.
|
|
|
|
|
171.
|
|
|
|
|
172.
|
|
|
|
|
173.
|
|
|
|
|
174.
|
|
|
|
|
175.
|
|
|
|
|
176.
|
|
|
|
|
177.
|
|
|
|
|
178.
|
|
|
|
|
179.
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 4905
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
180.
|
|
|