Results
|
2181.
|
|
|
2182.
|
|
|
2183.
|
|
|
2184.
|
|
|
2185.
|
|
|
2186.
|
|
|
2187.
|
|
|
2188.
|
|
|
2189.
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. by Series: Lecture Notes in Computer Science ; 4383
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.V47 B56 2007.
|
|
2190.
|
|
|
2191.
|
|
|
2192.
|
|
|
2193.
|
|
|
2194.
|
|
|
2195.
|
Database and XML Technologies [electronic resource] : 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings / edited by Sihem Amer-Yahia, Zohra Bellahsène, Ela Hunt, Rainer Unland, Jeffrey Xu Yu. by Series: Lecture Notes in Computer Science ; 4156
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: QA76.9.D3 A44 2006 .
|
|
2196.
|
|
|
2197.
|
|
|
2198.
|
|
|
2199.
|
|
|
2200.
|
|