Browse Results

Showing 22,351 through 22,375 of 61,787 results
Title Author ISBN Copyright Features Action
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
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science #12531) 3868201 Shang-Wei Lin Zhe Hou Brendan Mahoney 9783030634063 2020 Contains images
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308) 5784126 Yi Li Sofiène Tahar 9789819975846 2023 Contains images
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394) 6354408 Shaoying Liu Kazuhiro Ogata Dominique Mery Meng Sun 9789819606177 2024 Contains images
Formal Methods for Industrial Critical Systems 850204 Stefania Gnesi Tiziana Margaria 9781118459874 2013 Contains images
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science #11687) 2851463 Kim Guldstrand Larsen Tim Willemse 9783030270087 2019 Contains images
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Lecture Notes in Computer Science #12327) 5886196 Maurice H. ter Beek Dejan Ničković 9783030582982 2020 Contains images
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12863) 4239500 Alberto Lluch Lafuente Anastasia Mavridou 9783030852481 2021 Contains images

Refine Search

Showing 22,351 through 22,375 of 61,787 results