Browse Results

Showing 22,376 through 22,400 of 61,857 results
Title Author ISBN Copyright Features Action
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science #13077) 4346911 Anton Wijs Gwen Salaün 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 José Proença Silvia Lizeth Tapia Tarifa 9783031208720 2022 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 Sung-Shik Jongmans Javier Cámara 9783031521836 2024 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 Meng Sun Diego Marmsoler 9783031712616 2024 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 Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings (Lecture Notes in Computer Science #11511) 5924765 Florence Le Ber Diana Cristea Baris Sertkaya 9783030214623 2019 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 Florence Le Ber Agnès Braud Aleksey Buzmakov Tom Hanika 9783030778675 2021 Contains images
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 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 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 Sylvain Pogodalla Greg Kobele 9783662577844 2018 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: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Lecture Notes in Computer Science #11668) 2807782 Sylvain Pogodalla Greg Kobele Raffaella Bernardi 9783662596487 2019 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 and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13478) 5159620 Min Zhang Adrian Riesco 9783031172441 2022 Contains images
Formal Methods Applied to Complex Systems: Implementation of the B Method (Wiley-iste Ser.) 3294175 Jean-Louis Boulanger 9781119002925 2014 Contains images
Formal Methods Applied to Industrial Complex Systems: Implementation Of The B Method 3294344 Jean-Louis Boulanger 9781119004776 2014 Contains images
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 1615198 Michael Butler Sylvain Conchon Fatiha Zaïdi 9783319254234 2015 Contains images
Formal Methods and Software Engineering 1534030 Shaoying Liu Kazuhiro Ogata Mark Lawford 9783319478463 2016 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 and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Lecture Notes in Computer Science #11852) 2975328 Yamine Ait-Ameur Shengchao Qin 9783030324094 2019 Contains images

Refine Search

Showing 22,376 through 22,400 of 61,857 results