Results
|
1521.
|
|
|
1522.
|
|
|
1523.
|
|
|
1524.
|
|
|
1525.
|
Current Trends in Database Technology - EDBT 2004 Workshops [electronic resource] : EDBT 2004 Workshops PhD, DataX, PIM, P2P&DB, and ClustWeb, Heraklion, Crete, Greece, March 14-18, 2004, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 3268
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
1526.
|
|
|
1527.
|
|
|
1528.
|
Grid and Cooperative Computing - GCC 2004 Workshops [electronic resource] : GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004 / by Series: Lecture Notes in Computer Science ; 3252
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
1529.
|
|
|
1530.
|
|
|
1531.
|
|
|
1532.
|
|
|
1533.
|
|
|
1534.
|
|
|
1535.
|
|
|
1536.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4905
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
1537.
|
|
|
1538.
|
|
|
1539.
|
|
|
1540.
|
|