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
|
|