Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (SpringerBriefs in Applied Sciences and Technology)
4355635
|
Benjamin Aziz
|
9783030911539 |
2022 |
Contains images
|
|
Formal Analysis for Natural Language Processing: A Handbook
5281947
|
Zhiwei Feng
|
9789811651724 |
2023 |
Contains images
|
|
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never
5943245
|
Pascal Pieper
Rolf Drechsler
|
9783031516924 |
2024 |
Contains images
|
|
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
1410889
|
Christiano Braga
Peter Csaba Ölveczky
|
9783319289342 |
2016 |
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
|
|
Formal Aspects of Component Software
1417650
|
José Luiz Fiadeiro
Zhiming Liu
Jinyun Xue
|
9783319076027 |
2014 |
Contains images
|
|
Formal Aspects of Component Software
1421033
|
Ivan Lanese
Eric Madelaine
|
9783319153179 |
2015 |
Contains images
|
|
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science #15189)
6208197
|
Diego Marmsoler
Meng Sun
|
9783031712616 |
2024 |
Contains images
|
|
Formal Aspects of Component Software
1726744
|
José Proença
Markus Lumpe
|
9783319680347 |
2012 |
Contains images
|
|
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
|
|