Top 1200 formal languages and automata theory PDF Book Page 9
Cellular Automata
Andrew Adamatzky
·764 Pages
·2018
·44.166 MB
Verification of Reactive Systems: Formal Methods and Algorithms
Klaus Schneider
·607 Pages
·2004
·20.411 MB
Theory of digital automata
Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov (auth.)
·209 Pages
·2013
·5.167 MB
Elements of automata theory
Sakarovitch J.
·784 Pages
·2009
·3.814 MB
A Half-Century of Automata Theory: Celebration and Inspiration
Arto Salomaa, Arto Salomaa, Derick Wood, Sheng Yu
·164 Pages
·2001
·6.137 MB
Formal Languages and Computation: Models and Their Applications
Meduna, Alexander
·310 Pages
·2014
·3.646 MB
Switching and Finite Automata Theory, Third Edition
Zvi Kohavi, Niraj K. Jha
·630 Pages
·2009
·3.062 MB
Robots and Lattice Automata
Georgios Ch. Sirakoulis, Andrew Adamatzky (eds.)
·319 Pages
·2015
·20.467 MB
Tree Automata, Approximations, and Constraints for Verification. Tree
Vincent Hugot
·221 Pages
·2017
·3.88 MB
Automata and Computability
Dexter C. Kozen
·407 Pages
·24 MB
Cellular Automata and ABM
28 Pages
·2010
·3.06 MB
Modern Cellular Automata: Theory and Applications
Kendall Preston Jr., Michael J. B. Duff (auth.)
·354 Pages
·1984
·11.768 MB
Modality and Theory of Mind Elements across Languages
Werner Abraham
·471 Pages
·2012
·2.02 MB
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
Alan P. Parkes BSc, PhD (auth.)
·351 Pages
·2002
·12.848 MB
Stochastic Cellular Automata: Correlations, Decidability and Simulations
37 Pages
·2017
·0.74 MB
Characteristic Formulae: From Automata to Logic
21 Pages
·2007
·0.27 MB
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.)
·1141 Pages
·2015
·19.943 MB
Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science
Martin D. Davis, Elaine J. Weyuker and Werner Rheinboldt (Auth.)
·423 Pages
·1983
·16.252 MB
Sociological Theory: Historical and Formal
Neil J. Smelser, R. Stephen Warner
·300 Pages
·1976
·21.68 MB
Romance Languages and Linguistic Theory 2008: Selected Papers from ''Going Romance'' Goningen 2008 (Romance Languages and Linguistic Theory RLLT )
Reineke Bok-Bennema, Brigitte Kampers-Manhe, and Bart Hollebrandse (Editors)
·264 Pages
·2010
·1.245 MB
Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings
Jan A. Bergstra, Inge Bethke (auth.), Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger (eds.)
·1218 Pages
·2003
·16.182 MB
Finite Automata
Mark V. Lawson
·326 Pages
·2003
·5.927 MB
Characteristic Formulae for Timed Automata
26 Pages
·2000
·0.18 MB
