Results
|
|
2121.
|
|
|
|
2122.
|
|
|
|
2123.
|
|
|
|
2124.
|
|
|
|
2125.
|
|
|
|
2126.
|
|
|
|
2127.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1384
Edition: 1st ed. 1998.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2128.
|
|
|
|
2129.
|
|
|
|
2130.
|
|
|
|
2131.
|
|
|
|
2132.
|
|
|
|
2133.
|
|
|
|
2134.
|
|
|
|
2135.
|
|
|
|
2136.
|
|
|
|
2137.
|
|
|
|
2138.
|
Advances in Computing Science – ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing [electronic resource] : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2550
Edition: 1st ed. 2002.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2139.
|
|
|
|
2140.
|
|
