Browse Results

Showing 22,151 through 22,175 of 59,387 results
Title Author ISBN Copyright Features Action
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 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 Plácido Lizancos Mora David Leite Viana Franklim Morais Jorge Vieira Vaz 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 Yliès Falcone Martin Leucker 9783030873486 2021 Contains images
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Lecture Notes in Computer Science #11758) 2964907 Brijesh Dongol Luigia Petre Graeme Smith 9783030324414 2019 Contains images
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science #14939) 6203625 Emil Sekerinski Leila Ribeiro 9783031713798 2024 Contains images
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings (Lecture Notes in Computer Science #11750) 2888988 Étienne André Mariëlle Stoelinga 9783030296629 2019 Contains images
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) 3935016 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) 4843495 Sergiy Bogomolov David Parker 9783031158391 2022 Contains images
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) 4236866 Catalin Dima Mahsa Shirmohammadi 9783030850371 2021 Contains images
Formal Modeling and Analysis of Timed Systems 1403350 Martin Fränzle Nicolas Markey 9783319448787 2016 Contains images
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) 2240022 David N. Jansen Pavithra Prabhakar 9783030001513 2018 Contains images
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) 5615590 Laure Petrucci Jeremy Sproston 9783031426261 2023 Contains images
Formal Ontologies Meet Industry 1366886 Roberta Cuel Robert Young 9783319215457 2015 Contains images
Formal Specification Level 1379732 Mathias Soeken Rolf Drechsler 9783319086996 2015 Contains images
Formal SQL Tuning for Oracle Databases 1535169 Leonid Nossov Hanno Ernst Victor Chupis 9783662504178 2016 Contains images
Formal System Verification 1650910 Rolf Drechsler 9783319576855 2015 Contains images
Formal Techniques for Distributed Objects, Components, and Systems 1403349 Elvira Albert Ivan Lanese 9783319395708 2016 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6. 1 International Conference, Forte 2018, Held As Part Of The 13th International Federated Conference On Distributed Computing Techniques, Discotec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Theoretical Computer Science and General Issues #10854) 2333849 Christel Baier Luís Caires 9783319926124 2018 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings (Lecture Notes in Computer Science #14678) 6058453 Valentina Castiglioni Adrian Francalanza 9783031626456 2024 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings (Lecture Notes in Computer Science #12136) 3558706 Alexey Gotsman Ana Sokolova 9783030500863 2020 Contains images

Refine Search

Showing 22,151 through 22,175 of 59,387 results