Browse Results

Showing 32,651 through 32,675 of 85,021 results
Title Author ISBN Copyright Features Action
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #3393) 4788337 Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer 9783540318477 2005
Formal Methods in Standards: A Report from the BCS Working Group 3740902 Derek Andrews David Blyth Cornelia Boldyreff David Duce Patrick Hall Robert Neely Clive Ruggles Nik Tetteh-Lartey Rick Thomas Ann Wrightson 9781447134190 1990
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings (Lecture Notes in Computer Science #5054) 4734012 Jasmin Fisher 9783540684138 2008
Formal Methods in Systems Engineering 3740547 Peter Ryan Chris Sennett 9781447119753 1993
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Lecture Notes in Computer Science #11758) 2964873 Brijesh Dongol Luigia Petre Graeme Smith 9783030324414 2019 Contains images
Formal Modeling: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science #7000) 4715232 Gul Agha Olivier Danvy José Meseguer 9783642249334 2011
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Lecture Notes in Computer Science #10419) 2250644 Alessandro Abate Gilles Geeraerts 9783319657653 2017 Contains images
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings (Lecture Notes in Computer Science #11750) 4801155 Étienne André Mariëlle Stoelinga 9783030296629 2019 Contains images
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science #4202) 4708586 Eugene Asarin Patricia Bouyer 9783540450313 2006
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings (Lecture Notes in Computer Science #12288) 3934993 Nathalie Bertrand Nils Jansen 9783030576288 2020 Contains images
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings (Lecture Notes in Computer Science #13465) 4845029 Sergiy Bogomolov David Parker 9783031158391 2022 Contains images
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science #8053) 4662387 Víctor Braberman Laurent Fribourg 9783642402296 2013
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science #5215) 4772572 Franck Cassez Claude Jard 9783540857785 2008
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings (Lecture Notes in Computer Science #6246) 4821217 Krishnendu Chatterjee Thomas A. Henzinger 9783642152979 2010
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12860) 4236573 Catalin Dima Mahsa Shirmohammadi 9783030850371 2021 Contains images
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Lecture Notes in Computer Science #6919) 4699572 Uli Fahrenberg Stavros Tripakis 9783642243103 2011
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science #9884) 2850535 Martin Fränzle Nicolas Markey 9783319448787 2016 Contains images
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture Notes in Computer Science #7595) 4696777 Marcin Jurdzinski Dejan Nickovic 9783642333651 2012
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science #2791) 4782024 Kim G. Larsen Peter Niebert 9783540409038 2004
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Lecture Notes in Computer Science #8711) 2814026 Axel Legay Marius Bozga 9783319105123 2014
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture Notes in Computer Science #5813) 4716753 Joel Ouaknine Frits W. Vaandrager 9783642043680 2009
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science #14138) 5614321 Laure Petrucci Jeremy Sproston 9783031426261 2023 Contains images
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science #3829) 4748551 Paul Pettersson Wang Yi 9783540316169 2005
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings (Lecture Notes in Computer Science #11022) 4598671 Pavithra Prabhakar David N. Jansen 9783030001513 2018 Contains images
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science #4763) 4599786 Jean-Francois Raskin P. S. Thiagarajan 9783540754541 2007

Refine Search

Showing 32,651 through 32,675 of 85,021 results