Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Visual Information and Information Systems Электронный ресурс 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers edited by Stéphane Bres, E. Allen Emerson, Robert Laurini.

by Bres, Stéphane | Emerson, E. Allen | Laurini, Robert | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Verification, Model Checking, and Abstract Interpretation (vol. # 3855) Электронный ресурс 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings edited by E. Allen Emerson, Kedar S. Namjoshi.

by Emerson, E. Allen | Namjoshi, Kedar S | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages