Browse Results

Showing 19,701 through 19,725 of 53,470 results
Title Author ISBN Copyright Features Action
Formal Aspects of Component Software 1421033 Ivan Lanese Eric Madelaine 9783319153179 2015 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, 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: Foundations and Applications 1532594 Leila Ribeiro Thierry Lecomte 9783319498157 2016 Contains images
Formal Methods: State of the Art and New Directions 1418382 Jawed Siddiqi Paul Boca Jonathan P. Bowen 9781848827363 2010 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

Refine Search

Showing 19,701 through 19,725 of 53,470 results