Browse Results

Showing 31,501 through 31,525 of 82,513 results
Title Author ISBN Copyright Features Action
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
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Lecture Notes in Computer Science #9268) 2833038 Sriram Sankaranarayanan Enrico Vicario 9783319229751 2015
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 2874441 Rolf Drechsler Ulrich Kühne 9783658099947 2015
Formal Modelling in Electronic Commerce (International Handbooks on Information Systems) 4719325 Steven O. Kimbrough Dongjun Wu 9783540269892 2005
Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers (Lecture Notes in Computer Science #1760) 4668353 John-Jules C. Meyer Pierre-Yves Schobbens 9783540465812 1999
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic 4717767 Benedikt Bollig 9783540329237 2006
Formal Models of Operating System Kernels 4824884 Iain D. Craig 9781846287183 2007
Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT)) 3861495 Kevin Lano 9781447130734 1995
Formal Ontologies Meet Industry: 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings (Lecture Notes in Business Information Processing #225) 2831487 Roberta Cuel Robert Young 9783319215457 2015 Contains images
Formal Power Series and Algebraic Combinatorics: 12th International Conference, FPSAC’00, Moscow, Russia, June 2000, Proceedings 4672088 Daniel Krob Alexander A. Mikhalev Alexander V. Mikhalev 9783662041666 2000

Refine Search

Showing 31,501 through 31,525 of 82,513 results