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