Browse Results

Showing 31,651 through 31,675 of 82,926 results
Title Author ISBN Copyright Features Action
Formal Methods in Computer Science 2648265 Jiacun Wang 9781498775335 2020
Formal Methods in Computer Science (Textbooks In Mathematics Ser.) 5634130 Jiacun Wang 9781498775359 2020 Contains images
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing) 3740873 V. S. Alagar Laks V. S. Lakshmanan F. Sadri 9781447132134 1993
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT)) 3861714 Philippe Palanque Fabio Paternò 9781447134251 1998
Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings (Lecture Notes in Computer Science #8738) 2813807 François Fages Carla Piazza 9783319103983 2014
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #13065) 4294942 Ezio Bartocci Yliès Falcone Martin Leucker 9783030873486 2021 Contains images
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

Refine Search

Showing 31,651 through 31,675 of 82,926 results