Results
|
1661.
|
|
|
1662.
|
|
|
1663.
|
|
|
1664.
|
|
|
1665.
|
|
|
1666.
|
|
|
1667.
|
|
|
1668.
|
|
|
1669.
|
|
|
1670.
|
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.
|
|
1671.
|
|
|
1672.
|
|
|
1673.
|
|
|
1674.
|
|
|
1675.
|
|
|
1676.
|
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 .
|
|
1677.
|
|
|
1678.
|
|
|
1679.
|
|
|
1680.
|
|