Browse Results

Showing 25,976 through 26,000 of 38,225 results
Title Author ISBN Copyright Features Action
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
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 Ontologies Meet Industry 1366886 Roberta Cuel Robert Young 9783319215457 2015 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 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 for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) 5054992 Guo-Qiang Zhang Rashmie Abeysinghe Licong Cui 9783031121319 2022 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 – 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 – 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: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475) 3748001 Gustavo Carvalho Volker Stolz 9783030638825 2020 Contains images
Formal Methods: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science #11254) 2336818 Tiago Massoni Mohammad Reza Mousavi 9783030030445 2018 Contains images
Formal Methods: State of the Art and New Directions 1418382 Jawed Siddiqi Paul Boca Jonathan P. Bowen 9781848827363 2010 Contains images
Formal Languages in Logic 581535 Catarina Dutilh Novaes 9781139794039 2012 Contains images
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings (Lecture Notes in Computer Science #10950) 5926464 Annie Foret Greg Kobele Sylvain Pogodalla 9783662577844 2018 Contains images
Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Lecture Notes in Computer Science #11668) 2807782 Raffaella Bernardi Greg Kobele Sylvain Pogodalla 9783662596487 2019 Contains images
Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10686) 5928266 Annie Foret Reinhard Muskens Sylvain Pogodalla 9783662563434 2018 Contains images
Formal Ethics 4524979 Harry J. Gensler 9781134791170 1996 Contains images
Formal Epistemology and Cartesian Skepticism: In Defense of Belief in the Natural World (Routledge Studies in Contemporary Philosophy) 5396754 Tomoji Shogenji 9781351336543 2018
Formal Concept Analysis of Social Networks (Lecture Notes in Social Networks) 2333702 Sergei Obiedkov Sergei O. Kuznetsov Rokia Missaoui 9783319641676 2017 Contains images
Formal Concept Analysis 1413469 Jaume Baixeries Christian Sacarea Manuel Ojeda-Aciego 9783319195452 2015 Contains images
Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings (Lecture Notes in Computer Science #11511) 5924765 Diana Cristea Florence Le Ber Baris Sertkaya 9783030214623 2019
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings (Lecture Notes in Computer Science #12018) 3407053 Farhad Arbab Sung-Shik Jongmans 9783030409142 2020 Contains images
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14485) 5888310 Javier Cámara Sung-Shik Jongmans 9783031521836 2024 Contains images

Refine Search

Showing 25,976 through 26,000 of 38,225 results