Results
|
2141.
|
|
|
2142.
|
|
|
2143.
|
|
|
2144.
|
|
|
2145.
|
|
|
2146.
|
|
|
2147.
|
|
|
2148.
|
|
|
2149.
|
|
|
2150.
|
|
|
2151.
|
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.
|
|
2152.
|
|
|
2153.
|
|
|
2154.
|
|
|
2155.
|
|
|
2156.
|
|
|
2157.
|
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 .
|
|
2158.
|
|
|
2159.
|
|
|
2160.
|
|