Your search returned 19 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 : 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
2.
Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings / Jean-Francois Raskin, P.S. Thiagarajan (eds.). by Series: Lecture notes in computer science ; 4763. | 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, 2007
Other title:
  • FORMATS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.). by Series: Lecture notes in computer science ; 3829.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer (eds.). by Series: Lecture notes in computer science ; 4202. | 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, 2006
Other title:
  • FORMATS 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings / Franck Cassez, Claude Jard (eds.). by Series: Lecture notes in computer science ; 5215. | 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 : Springer, 2008
Other title:
  • FORMATS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
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
7.
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: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • FORMATS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.). by Series: Lecture notes in computer science ; 6919. | 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, ©2011
Other title:
  • FORMATS 2011
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.). by Series: Lecture notes in computer science ; 7595. | 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, ©2012
Other title:
  • FORMATS 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / Víctor Braberman, Laurent Fribourg (eds.). by Series: Lecture notes in computer science ; 8053. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, 2013
Other title:
  • FORMATS 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings / Axel Legay, Marius Bozga (eds.). by Series: Lecture notes in computer science ; 8711. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2014
Other title:
  • FORMATS 2014
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / Sriram Sankaranarayanan, Enrico Vicario (eds.). by Series: Lecture notes in computer science ; 9268. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • FORMATS 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings / Martin Fränzle, Nicolas Markey (eds.). by Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 9884.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Switzerland : Springer, 2016
Other title:
  • FORMATS 2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / David N. Jansen, Pavithra Prabhakar (eds.). by Series: Lecture notes in computer science ; 11022. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Other title:
  • FORMATS 2018
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings / Étienne André, Mariëlle Stoelinga (eds.). by Series: Lecture notes in computer science ; 11750. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2019]Copyright date: ©2019
Other title:
  • FORMATS 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings / Nathalie Bertrand, Nils Jansen (eds.). by Series: Lecture notes in computer science ; 12288. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2020
Other title:
  • FORMATS 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Formal modeling and analysis of timed systems : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings / Catalin Dima, Mahsa Shirmohammadi (eds.). by Series: Lecture notes in computer science ; 12860. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2021
Other title:
  • FORMATS 2021
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings / Sergiy Bogomolov, David Parker (eds.). by Series: Lecture notes in computer science ; 13465.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2022
Other title:
  • FORMATS 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha