Browse Results

Showing 32,626 through 32,650 of 85,016 results
Title Author ISBN Copyright Features Action
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
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

Refine Search

Showing 32,626 through 32,650 of 85,016 results