Browse Results

Showing 22,751 through 22,775 of 62,599 results
Title Author ISBN Copyright Features Action
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
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233) 3601569 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 9783030549978 2020 Contains images
Formal Methods: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science #11254) 2336818 Mohammad Reza Mousavi Tiago Massoni 9783030030445 2018 Contains images
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951) 2118987 Bill Roscoe Klaus Havelund Jan Peleska Erik De Vink 9783319955827 2018 Contains images
Formal Methods: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475) 3748001 Volker Stolz Gustavo Carvalho 9783030638825 2020 Contains images
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130) 4345550 Sérgio Campos Marius Minea 9783030921378 2021 Contains images
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768) 5125797 Lucas Lima Vince Molnár 9783031224768 2022 Contains images
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000) 5240156 Martin Leucker Marsha Chechik Joost-Pieter Katoen 9783031274817 2023 Contains images
Formal Methods: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414) 5795023 Haniel Barbosa Yoni Zohar 9783031493423 2024 Contains images
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14933) 6212980 Matteo Rossi André Platzer Kristin Yvonne Rozier Matteo Pradella 9783031711626 2025 Contains images
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14934) 6174410 Matteo Rossi Kristin Yvonne Rozier Andre Platzer Matteo Pradella 9783031711770 2025 Contains images
Formal Methods: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science #15403) 6309079 Sidney C. Nogueira Ciprian Teodorov 9783031781162 2025 Contains images
Formal Methods: Foundations and Applications 1532594 Thierry Lecomte Leila Ribeiro 9783319498157 2016 Contains images
Formal Methods: State of the Art and New Directions 1418382 Jawed Siddiqi Paul Boca Jonathan P. Bowen 9781848827363 2010 Contains images
Formal Modeling and Analysis of Timed Systems 1403350 Martin Fränzle Nicolas Markey 9783319448787 2016 Contains images

Refine Search

Showing 22,751 through 22,775 of 62,599 results