Your search returned 374 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.). by Series: Lecture notes in computer science ; 6246. | LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2010
Online resources:
Availability: Items available for loan: Library (1)Call number: 004-2010.
Place hold
2.
3.
4.
5.
6.
7.
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer [and others] (eds.). by Series: Lecture notes in computer science ; 2852.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / Kim G. Larsen, Peter Niebert (eds.). by Series: Lecture notes in computer science ; 2791.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 10931844
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2004
Other title:
  • FORMATS 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.). by Series: Lecture notes in computer science ; 3308.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11348801
Publication details: Berlin : Springer-Verlag, ©2004
Other title:
  • 6th International Conference on Formal Engineering Methods
  • ICFEM 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
11.
12.
Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.). by Series: Lecture notes in computer science ; 3312.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2004
Other title:
  • FMCAD 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
14.
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.). by Series: Lecture notes in computer science ; 2517.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli. by Series: Lecture notes in computer science ; 2805.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
17.
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.). by Series: Lecture notes in computer science ; 4591. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • IFM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). by Series: Lecture notes in computer science ; 4700. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / Katinka Wolter (ed.). by Series: Lecture notes in computer science ; 4748. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Fourth European Performance Engineering Workshop
  • European Performance Engineering Workshop
  • EPEW 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers / Theo Dimitrakos [and others] (eds.). by Series: Lecture notes in computer science ; 4691. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • FAST 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha