Browse Results

Showing 9,976 through 10,000 of 28,240 results
Title Author ISBN Copyright Features Action
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 Concept Analysis 1413469 Jaume Baixeries Christian Sacarea Manuel Ojeda-Aciego 9783319195452 2015 Contains images
Formal Concept Analysis of Social Networks (Lecture Notes in Social Networks) 2333702 Rokia Missaoui Sergei O. Kuznetsov Sergei Obiedkov 9783319641676 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 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 1391601 Stefano Crespi Reghizzi Luca Breveglieri Angelo Morzenti 9781447155140 2013 Contains images
Formal Languages and Computation: Models and Their Applications 6138825 Alexander Meduna 9781040061282 2014 Contains images
Formal Matrices 1535734 Piotr Krylov Askar Tuganbaev 9783319539072 2017 Contains images
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings (Lecture Notes in Computer Science #13122) 4361230 João F. Ferreira Alexandra Mendes Claudio Menghi 9783030915506 2021 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: 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 for Control of Nonlinear Systems 5103063 Jun Liu Yinan Li 9781000831948 2023 Contains images
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation) 4519799 Sara Eloy David Leite Viana Franklim Morais Jorge Vieira Vaz 9783030575090 2021 Contains images
Formal Methods in Computer Science (Textbooks In Mathematics Ser.) 5628648 Jiacun Wang 9781498775359 2020 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
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11800) 3356697 Maurice H. ter Beek Annabelle McIver José N. Oliveira 9783030309428 2019 Contains images
Formal Methods: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science #11254) 2336818 Mohammad Reza Mousavi Tiago Massoni 9783030030445 2018 Contains images
Formal Methods: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475) 3748001 Volker Stolz Gustavo Carvalho 9783030638825 2020 Contains images
Formal Methods: State of the Art and New Directions 1418382 Jawed Siddiqi Paul Boca Jonathan P. Bowen 9781848827363 2010 Contains images
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings (Lecture Notes in Computer Science #11022) 2240022 Pavithra Prabhakar David N. Jansen 9783030001513 2018 Contains images
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings (Lecture Notes in Computer Science #11750) 2888988 Mariëlle Stoelinga Étienne André 9783030296629 2019 Contains images
Formal Modeling in Social Science 2847827 Carol Mershon Olga Shvetsova 9780472125869 2019 Contains images

Refine Search

Showing 9,976 through 10,000 of 28,240 results