Browse Results

Showing 9,601 through 9,625 of 27,611 results
Title Author ISBN Copyright Features Action
Formal Methods: State of the Art and New Directions 1418382 Jawed Siddiqi Paul Boca Jonathan P. Bowen 9781848827363 2010 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 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 Yinan Li Jun Liu 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 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: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings (Lecture Notes in Computer Science #13122) 4361230 João F. Ferreira Alexandra Mendes Claudio Menghi 9783030915506 2021 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: 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 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 Zhiping Shi Yong Guan 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 Janet B. Walton Erin E. Peters-Burton 9781000582222 2022 Contains images
The Formative 5: Everyday Assessment Techniques for Every Math Classroom (Corwin Mathematics Series) 4240356 Francis Fennell Beth McCord Kobett Jon A. Wray 9781506375182 2017 Contains images
The Formative 5: Everyday Assessment Techniques for Every Math Classroom (Corwin Mathematics Series) 4240452 Francis Fennell Beth McCord Kobett Jon A. Wray 9781506375199 2017 Contains images
The Formative 5 in Action, Grades K-12: Updated and Expanded From The Formative 5: Everyday Assessment Techniques for Every Math Classroom (Corwin Mathematics Series) 5374576 Francis M. Fennell Beth McCord Kobett Jonathan A. Wray 9781071913543 2024 Contains images
The Formative 5 in Action, Grades K-12: Updated and Expanded From The Formative 5: Everyday Assessment Techniques for Every Math Classroom (Corwin Mathematics Series) 5374577 Francis M. Fennell Beth McCord Kobett Jonathan A. Wray 9781071913536 2024 Contains images
Formeln und Begriffe der Analysis: Für Studierende der Ingenieurwissenschaften (essentials) 4095990 Bernd Luderer 9783658336905 2021 Contains images

Refine Search

Showing 9,601 through 9,625 of 27,611 results