Your search returned 8 results.

Not what you expected? Check for suggestions
1.
Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.

by Quintarelli, Elisa.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

by VMCAI 2005 (2005 : Paris, France) | Cousot, Radhia.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: VMCAI 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

by VMCAI 2004 (2004 : Venice, Italy) | Steffen, Bernhard | Levi, G. (Giorgio), 1942- | ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: VMCAI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.

by International SPIN Workshop (11th : 2004 : Barcelona, Spain) | Graf, Susanne | Mounier, Laurent.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

by International SPIN Workshop (12th : 2005 : San Francisco, Calif.) | Godefroid, Patrice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: 12th International SPIN Workshop | Twelfth International SPIN Workshop | International SPIN Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (eds.).

by ATVA (Symposium) (3rd : 2005 : Taipei, Taiwan) | Peled, Doron A, 1962- | Tsay, Yih-Kuen, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: ATVA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings / Dominique Borrione, Wolfgang Paul (eds.).

by CHARME 2005 (2005 : Saarbrücken, Germany) | Borrione, Dominique | Paul, Wolfgang J, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CHARME 2005 | IFIP CHARME 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / Farn Wang (ed.).

by FORTE 2005 (2005 : Taipei, Taiwan) | Wang, Farn | IFIP Working Group 6.1.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: FORTE 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha