-
An Introduction to Formal Languages and Automata
-
Languages and Machines : An Introduction to the Theory of Computer Science
-
Developmental Systems and Languages. /
-
JFLAP : An Interactive Formal Languages and Automata Package
-
Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography /
-
Automata and languages /
-
Automata, Languages, and Machines
-
Elements of the theory of computation
-
Programování pro samočinné počítače /
-
Formálne jazyky a automaty /
-
Úvod do softvérových jazykov, príklady a úlohy /
-
Set theory : An introduction to independence proofs /
-
Androidový simulátor na testovanie automatov a formálnych gramatík
-
Automata, languges, and machines : Vol. A
-
Automata, languges, and machines : Vol. B
-
An Introduction to Formal Languages and Automata
-
Discovering formal logic
-
A Contribution to comprehension model and presentation of Z specifications : Diz.práca:Obh. 29.4.1999
-
Formal models in programming : Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 /
-
Niemiho kryptosystém
-
Introduction to switching and automata theory /
-
Algebraic and structural automata theory /
-
Algebraic and Automata-Theoretic Properties of Formal Languages
-
Automata theory and formal languages 2nd GI conference : Konf. Kaiserslautern, 20.- 23. May 1975 /