Browse Results

Showing 22,401 through 22,425 of 61,857 results
Title Author ISBN Copyright Features Action
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science #12531) 3868201 Shang-Wei Lin Zhe Hou Brendan Mahoney 9783030634063 2020 Contains images
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308) 5784126 Yi Li Sofiène Tahar 9789819975846 2023 Contains images
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394) 6354408 Shaoying Liu Kazuhiro Ogata Dominique Mery Meng Sun 9789819606177 2024 Contains images
Formal Methods for Industrial Critical Systems 850204 Stefania Gnesi Tiziana Margaria 9781118459874 2013 Contains images
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science #11687) 2851463 Kim Guldstrand Larsen Tim Willemse 9783030270087 2019 Contains images
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Lecture Notes in Computer Science #12327) 5886196 Maurice H. ter Beek Dejan Ničković 9783030582982 2020 Contains images
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12863) 4239500 Alberto Lluch Lafuente Anastasia Mavridou 9783030852481 2021 Contains images
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science #13487) 4856346 Marieke Huisman Jan Friso Groote 9783031150081 2022 Contains images
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14290) 5934133 Alessandro Cimatti Laura Titolo 9783031436819 2023 Contains images
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (Lecture Notes in Computer Science #14952) 6183739 Anne E. Haxthausen Wendelin Serwe 9783031681509 2024 Contains images
Formal Methods for Managing and Processing Ontology Alignments 6204521 Marcin Pietranik 9781040133309 2025 Contains images
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series) 6535322 Lars Lindemann Dimos V. Dimarogonas 9780262382809 2025 Contains images
Formal Methods for Multicore Programming 1518294 Marco Bernardo Einar Broch Johnsen 9783319189413 2015 Contains images
Formal Methods for Safety and Security 1795224 Manju Nanda Yogananda Jeppu 9789811041211 2018 Contains images
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) 5096973 Antonio Cerone Siraj Ahmed Shaikh Markus Roggenbach Gerardo Schneider Bernd-Holger Schlingloff 9783030388003 2022 Contains images
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science #13490) 5709662 Antonio Cerone 9783031436789 2023 Contains images
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) 5054992 Guo-Qiang Zhang Rashmie Abeysinghe Licong Cui 9783031121319 2022 Contains images
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 1403347 Marco Bernardo Rocco De Nicola Jane Hillston 9783319340968 2016 Contains images
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation) 4519799 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) 5501365 David Leite Viana Franklim Morais Jorge Vieira Vaz Plácido Lizancos Mora 9789819922178 2023 Contains images
Formal Methods in Computer Science (Textbooks In Mathematics Ser.) 5628648 Jiacun Wang 9781498775359 2020 Contains images
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #13065) 4295303 Ezio Bartocci Martin Leucker Yliès Falcone 9783030873486 2021 Contains images
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science #1301) 3956482 Antonio Cerone Markus Roggenbach 9783030713744 2021 Contains images
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11800) 3356697 Maurice H. ter Beek Annabelle McIver José N. Oliveira 9783030309428 2019 Contains images
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232) 3604008 Antonio Cerone Riccardo Guidotti Martin Kutrib Emil Sekerinski José N. Oliveira Brijesh Dongol Nelma Moreira Daniel Ratiu Marie Farrell Matt Luckcuck Diego Marmsoler José Campos Troy Astarte Laure Gonnord Luis Couto Pedro Monteiro David Delmas 9783030549947 2020 Contains images

Refine Search

Showing 22,401 through 22,425 of 61,857 results