Browse Results

Showing 32,501 through 32,525 of 85,008 results
Title Author ISBN Copyright Features Action
Formal Grammar: 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 (Lecture Notes in Computer Science #7395) 4752263 Philippe De Groote Mark-Jan Nederhof 9783642320248 2012
Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings (Lecture Notes in Computer Science #8612) 2878056 Glyn Morrill Reinhard Muskens Rainer Osswald Frank Richter 9783662441213 2014
Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings (Lecture Notes in Computer Science #8036) 4626079 Glyn Morrill Mark-Jan Nederhof 9783642399985 2013
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings (Lecture Notes in Computer Science #10950) 5924883 Annie Foret Greg Kobele Sylvain Pogodalla 9783662577844 2018 Contains images
Formal Languages and Applications (Studies in Fuzziness and Soft Computing #148) 4697784 Carlos Martin-Vide Victor Mitrana Gheorghe P 259 Un 9783540398868 2004
Formal Languages and Compilation (Texts in Computer Science) 2524304 Luca Breveglieri Angelo Morzenti Stefano Crespi Reghizzi 9783030048792 2019 Contains images
Formal Languages and Compilation (Texts in Computer Science) 4732539 Stefano Crespi Reghizzi 9781848820500 2009
Formal Languages and Computation: Models and Their Applications 2335034 Alexander Meduna 9781466513495 2014
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words 2994368 Michel Rigo 9781119008224 2014 Contains images
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words 3007107 Michel Rigo 9781119008217 2014
Formal Methods: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414) 5794731 Haniel Barbosa Yoni Zohar 9783031493423 2024 Contains images
Formal Methods: State Of The Art And New Directions 2789258 Paul Boca Jonathan P. Bowen Jawed Siddiqi 9781848827363 2010 Contains images
Formal Methods: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science #8941) 2826035 Christiano Braga Narciso Martí-Oliet 9783319150758 2015
Formal Methods: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected (Lecture Notes in Computer Science #4346) 4632877 Lubos Brim Boudewijn Haverkort Martin Leucker Jaco Van De Pol 9783540709527 2007
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130) 4346062 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) 3871873 Gustavo Carvalho Volker Stolz 9783030638825 2020 Contains images
Formal Methods: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings (Lecture Notes in Computer Science #10623) 2254704 Simone Cavalheiro José Fiadeiro 9783319708485 2017 Contains images
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000) 5239865 Marsha Chechik Joost-Pieter Katoen Martin Leucker 9783031274817 2023 Contains images
Formal Methods: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science #9526) 2839195 Márcio Cornélio Bill Roscoe 9783319294735 2016 Contains images
Formal Methods: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6527) 4604038 Jim Davies Leila Silva Adenilso Simao 9783642198298 2011
Formal Methods: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science #7498) 4771391 Rohit Gheyi David Naumann 9783642332968 2012
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) 2266614 Klaus Havelund Jan Peleska Bill Roscoe Erik De Vink 9783319955827 2018 Contains images
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Lecture Notes in Computer Science #13047) 4352375 Marieke Huisman Corina Păsăreanu Naijun Zhan 9783030908706 2021 Contains images
Formal Methods: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science #8195) 4784579 Juliano Iyoda Leonardo De Moura 9783642410710 2013
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768) 5125295 Lucas Lima Vince Molnár 9783031224768 2022 Contains images

Refine Search

Showing 32,501 through 32,525 of 85,008 results