Browse Results

Showing 31,551 through 31,575 of 82,742 results
Title Author ISBN Copyright Features Action
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science #2884) 4656382 Elie Najm Uwe Nestmann Perdita Stevens 9783540399582 2003
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology) 3726682 Elie Najm Jean-Bernard Stefani 9780387350820 1997
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science #3535) 4801531 Martin Steffen Gianluigi Zavattaro 9783540315568 2005
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA (IFIP Advances in Information and Communication Technology #49) 3821789 Scott F. Smith Carolyn L. Talcott 9780387355207 2000
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands (IFIP Advances in Information and Communication Technology #81) 3821753 Bart Jacobs Arend Rensink 9780387354965 2002
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures (Lecture Notes in Computer Science #4486) 4818859 Marco Bernardo Jane Hillston 9783540725220 2007
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99 (IFIP Advances in Information and Communication Technology #28) 3821821 Jianping Jianping Wu Samuel T. Chanson Quiang Quiang Gao 9780387355788 1999
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures (Lecture Notes in Computer Science #6154) 4710549 Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky 9783642136788 2010
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science #1601) 4680599 Jost-Pieter Katoen 9783540487784 1999
Formal Methods for Safety and Security: Case Studies for Aerospace Applications 2299229 Manju Nanda Yogananda Jeppu 9789811041211 2018 Contains images
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures (Lecture Notes in Computer Science #2804) 4769216 Marco Bernardo Paola Inverardi 9783540398004 2003
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) 5096926 Antonio Cerone Siraj Ahmed Shaikh Markus Roggenbach Gerardo Schneider Bernd-Holger Schlingloff 9783030388003 2022 Contains images
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) 5052928 Guo-Qiang Zhang Rashmie Abeysinghe Licong Cui 9783031121319 2022 Contains images
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (Lecture Notes in Computer Science #3185) 4726852 Marco Bernardo Flavio Corradini 9783540300809 2004
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures (Lecture Notes in Computer Science #9700) 2845951 Marco Bernardo Rocco De Nicola Jane Hillston 9783319340968 2016 Contains images
Formal Methods for Trustworthy Computer Systems: Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada (Workshops in Computing) 3861737 Karen Summerskill 9781447135326 1990
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures (Lecture Notes in Computer Science #5569) 4614416 Marco Bernardo Luca Padovani Gianluigi Zavattaro 9783642019180 2009
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation) 4519452 Sara Eloy David Leite Viana Franklim Morais Jorge Vieira Vaz 9783030575090 2021 Contains images
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital Innovations in Architecture, Engineering and Construction) 5499888 Plácido Lizancos Mora David Leite Viana Franklim Morais Jorge Vieira Vaz 9789819922178 2023 Contains images
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (Lecture Notes in Computer Science #2517) 4779116 Mark D. Aagaard John W. O'Leary 9783540361268 2002
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science #1522) 4658941 Ganesh Gopalakrishnan Phillip Windley 9783540495192 1998
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science #3312) 4681482 Alan J. Hu Andrew K. Martin 9783540304944 2004
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science #1954) 4702666 Warren A. Jr. Hunt Steven D. Johnson 9783540409229 2000
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

Refine Search

Showing 31,551 through 31,575 of 82,742 results