Results
|
|
341.
|
|
|
|
342.
|
|
|
|
343.
|
|
|
|
344.
|
|
|
|
345.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2619
Edition: 1st ed. 2003.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003
In:
Springer Nature eBook
Availability: No items available.
|
|
|
346.
|
|
|
|
347.
|
|
|
|
348.
|
|
|
|
349.
|
|
|
|
350.
|
|
|
|
351.
|
|
|
|
352.
|
|
|
|
353.
|
Persistent Object Systems: Design, Implementation, and Use [electronic resource] : 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers / by Series: Lecture Notes in Computer Science ; 2135
Edition: 1st ed. 2001.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001
In:
Springer Nature eBook
Availability: No items available.
|
|
|
354.
|
|
|
|
355.
|
|
|
|
356.
|
|
|
|
357.
|
|
|
|
358.
|
|
|
|
359.
|
|
|
|
360.
|
|
