Browse Results

Showing 23,226 through 23,250 of 63,694 results
Title Author ISBN Copyright Features Action
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
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 Pavithra Prabhakar David N. Jansen 9783030001513 2018 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 Mariëlle Stoelinga Étienne André 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: 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: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings (Lecture Notes in Computer Science #13465) 4843495 David Parker Sergiy Bogomolov 9783031158391 2022 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 Robert Young Roberta Cuel 9783319215457 2015 Contains images
Formal SQL Tuning for Oracle Databases 1535169 Leonid Nossov Hanno Ernst Victor Chupis 9783662504178 2016 Contains images
Formal Specification Level 1379732 Rolf Drechsler Mathias Soeken 9783319086996 2015 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

Refine Search

Showing 23,226 through 23,250 of 63,694 results