Browse Results

Showing 9,951 through 9,975 of 28,170 results
Title Author ISBN Copyright Features Action
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science #14939) 6203625 Leila Ribeiro Emil Sekerinski 9783031713798 2024 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 Graeme Smith Brijesh Dongol Luigia Petre 9783030324414 2019 Contains images
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science #11232) 2333354 Jing Sun Meng Sun 9783030024505 2018 Contains images
Formal Methods for Control of Nonlinear Systems 5103063 Jun Liu Yinan Li 9781000831948 2023 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 Computer Science (Textbooks In Mathematics Ser.) 5628648 Jiacun Wang 9781498775359 2020 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: 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: 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: 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: 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 in Social Science 2847827 Carol Mershon Olga Shvetsova 9780472125869 2019 Contains images
Formal Models of Domestic Politics 670732 Scott Gehlbach 9781107301061 2013 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 Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science #1008) 2483509 Cyrille Artho Peter Csaba Ölveczky 9783030129880 2019 Contains images
Formality Theory 1372065 Chiara Esposito 9783319092904 2015 Contains images
Formalization of Complex Analysis and Matrix Theory 3601503 Yong Guan Zhiping Shi Ximeng Li 9789811572616 2020 Contains images
Formas y Figuras (Math Counts, New and Updated) 6159868 Henry Pluckrose 9781546144779 2018 Contains images
Formation of the Earth, Grade 9: STEM Road Map for High School (STEM Road Map Curriculum Series) 5624851 Carla C. Johnson Erin E. Peters-Burton Janet B. Walton 9781000582222 2022 Contains images
Formeln und Begriffe der Analysis: Für Studierende der Ingenieurwissenschaften (essentials) 4095990 Bernd Luderer 9783658336905 2021 Contains images
Formulas Useful for Linear Regression Analysis and Related Matrix Theory: It's Only Formulas But We Like Them 1402253 Simo Puntanen George P. Styan Jarkko Isotalo 9783642329319 2013 Contains images
Formulation of Uncertainty Relation Between Error and Disturbance in Quantum Measurement by Using Quantum Estimation Theory 1379680 Yu Watanabe 9784431544937 2014 Contains images
Formulations: Architecture, Mathematics, Culture (Writing Architecture) 4387490 Andrew Witt 9780262366854 2020 Contains images

Refine Search

Showing 9,951 through 9,975 of 28,170 results