Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science #13077)
4346911
|
Gwen Salaün
Anton Wijs
|
9783030906368 |
2021 |
Contains images
|
|
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings (Lecture Notes in Computer Science #13712)
4971587
|
Silvia Lizeth Tapia Tarifa
José Proença
|
9783031208720 |
2022 |
Contains images
|
|
Formal Concept Analysis: 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings (Lecture Notes in Computer Science #12733)
4134789
|
Agnès Braud
Aleksey Buzmakov
Tom Hanika
Florence Le Ber
|
9783030778675 |
2021 |
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 Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings (Lecture Notes in Computer Science #13934)
5925600
|
Dominik Dürrschnabel
Domingo López Rodríguez
|
9783031359491 |
2023 |
Contains images
|
|
Formal Concept Analysis: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings (Lecture Notes in Computer Science #10308)
5928174
|
Karell Bertet, Daniel Borchmann, Peggy Cellier and Sébastien Ferré
|
9783319592718 |
2017 |
Contains images
|
|
Formal Development of a Network-Centric RTOS
650420
|
Eric Verhulst
José Miguel Faria
Raymond T. Boute
Vitaliy Mezhuyev
Bernhard H.C. Sputh
|
9781441997364 |
2011 |
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 Grammar
1918193
|
Rainer Osswald
Annie Foret
Glyn Morrill
Reinhard Muskens
Sylvain Pogodalla
|
9783662530429 |
2014 |
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 Languages and Compilation (Texts in Computer Science)
2524535
|
Stefano Crespi Reghizzi
Luca Breveglieri
Angelo Morzenti
|
9783030048792 |
2009 |
Contains images
|
|
Formal Languages and Computation: Models and Their Applications
6138825
|
Alexander Meduna
|
9781040061282 |
2014 |
Contains images
|
|
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words
3294179
|
Michel Rigo
|
9781119008224 |
2014 |
Contains images
|
|
Formal Methods: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414)
5795023
|
Haniel Barbosa
Yoni Zohar
|
9783031493423 |
2024 |
Contains images
|
|
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130)
4345550
|
Sérgio Campos
Marius Minea
|
9783030921378 |
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: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000)
5240156
|
Marsha Chechik
Joost-Pieter Katoen
Martin Leucker
|
9783031274817 |
2023 |
Contains images
|
|
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951)
2118987
|
Klaus Havelund
Jan Peleska
Bill Roscoe
Erik De Vink
|
9783319955827 |
2018 |
Contains images
|
|
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768)
5125797
|
Lucas Lima
Vince Molnár
|
9783031224768 |
2022 |
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: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science #15403)
6309079
|
Sidney C. Nogueira
Ciprian Teodorov
|
9783031781162 |
2025 |
Contains images
|
|
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14933)
6212980
|
André Platzer
Kristin Yvonne Rozier
Matteo Pradella
Matteo Rossi
|
9783031711626 |
2025 |
Contains images
|
|
Formal Methods: Foundations and Applications
1532594
|
Leila Ribeiro
Thierry Lecomte
|
9783319498157 |
2016 |
Contains images
|
|
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14934)
6174410
|
Matteo Rossi
Kristin Yvonne Rozier
Andre Platzer
Matteo Pradella
|
9783031711770 |
2025 |
Contains images
|
|