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
|
|