Your search returned 27 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli. by Series: Lecture notes in computer science ; 2917.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
3.
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds. by Series: Lecture notes in computer science ; 2989.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
6.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.). by Series: Lecture notes in computer science ; 3639.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • 12th International SPIN Workshop
  • Twelfth International SPIN Workshop
  • International SPIN Workshop
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by Series: Lecture notes in computer science ; 3855.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11609773
Publication details: Berlin ; New York : Springer-Verlag, 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
10.
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.). by Series: Lecture notes in computer science ; 3997. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11759744
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • FATES 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
12.
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.). by Series: Lecture notes in computer science ; 5000. | Lecture notes in computer science. Festschrift.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher number:
  • 12326419
Publication details: Berlin : Springer, 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldridge (eds.). by Series: Lecture notes in computer science ; 5348. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg : Springer, ©2009
Other title:
  • MoChArt 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.). by Series: Lecture notes in computer science ; 5578. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.). by Series: Lecture notes in computer science ; 5596. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12711871
Publication details: Berlin : Springer, ©2009
Other title:
  • FMICS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.). by Series: Lecture notes in computer science ; 5813.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, 2009Copyright date: ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.). by Series: Lecture notes in computer science ; 5799. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2009
Other title:
  • ATVA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). by Series: Lecture notes in computer science ; 5902. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12793839
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • SBMF 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.). by Series: Lecture notes in computer science ; 6143. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha