Results
|
3321.
|
|
|
3322.
|
|
|
3323.
|
|
|
3324.
|
|
|
3325.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof. by Series: Lecture Notes in Computer Science ; 4963
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 R36 2008.
|
|
3326.
|
|
|
3327.
|
|
|
3328.
|
|
|
3329.
|
|
|
3330.
|
|
|
3331.
|
Technologies for E-Services [electronic resource] : 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / edited by Ming-Chien Shan, Umeshwar Dayal, Meichun Hsu. by Series: Lecture Notes in Computer Science ; 3324
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88813 S53 2005.
|
|
3332.
|
|
|
3333.
|
|
|
3334.
|
|
|
3335.
|
|
|
3336.
|
|
|
3337.
|
|
|
3338.
|
|
|
3339.
|
|
|
3340.
|
|