Browse Results

Showing 22,401 through 22,425 of 61,787 results
Title Author ISBN Copyright Features Action
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
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings (Lecture Notes in Computer Science #11535) 2720571 Jorge A. Pérez Nobuko Yoshida 9783030217594 2019 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
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings (Lecture Notes in Computer Science #12719) 4053290 Kirstin Peters Tim A. C. Willemse 9783030780890 2021 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings (Lecture Notes in Computer Science #13273) 4670740 Mohammad Reza Mousavi Anna Philippou 9783031086793 2022 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings (Lecture Notes in Computer Science #13910) 5388535 António Ravara Marieke Huisman 9783031353550 2023 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

Refine Search

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