Formal Languages

Formal Languages

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Book, Ronald V. (Συγγραφέας), Greibach, Sheila A. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	1973
Θέματα:	FORMAL LANGUAGES

Παρόμοια τεκμήρια

Formal Languages
ανά: Salomaa, Arto
Έκδοση: (1973)

Handbook of formal languages
Έκδοση: (1997)

Hanbook of formal languages
Έκδοση: (1997)

Handbook of formal languages
Έκδοση: (1997)

Introduction to Formal languages
ανά: Revesz, Gyorgy E.
Έκδοση: (1985)

An introduction to formal language theory
ανά: Arbib, Michael A., κ.ά.
Έκδοση: (1988)

Jewels of Formal Language Theory
ανά: Salomaa, Arto
Έκδοση: (1981)

New trends in formal languages Control,cooperation and combinatorics
ανά: Paun, Gheorghe, κ.ά.
Έκδοση: (1997)

Introduction to Formal Language Theory
ανά: Harrison, Michael A.
Έκδοση: (1978)

Theory of computation formal languages, automata, and complexity
ανά: Brookshear, J. Glenn
Έκδοση: (1989)

Computability, complexity, and languages Fundamentals of theoretical computer science
ανά: Davis, Martin D., κ.ά.
Έκδοση: (1983)

Theory of finite automata With an introduction to formal languages
ανά: Carroll, John, κ.ά.
Έκδοση: (1989)

Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)

Formal Languages and Compilation
ανά: Crespi Reghizzi, Stefano, κ.ά.
Έκδοση: (2013)

Formal languages, automata and numeration systems.
ανά: Rigo, Michel
Έκδοση: (2014)

Formal languages, automata and numeration systems.
ανά: Rigo, Michel
Έκδοση: (2014)

Formal Languages and Compilation
ανά: Crespi Reghizzi, Stefano
Έκδοση: (2009)

Conference proceedings on Formal methods in software development
Έκδοση: (1990)

Formal Languages and Compilation
ανά: Crespi Reghizzi, Stefano, κ.ά.
Έκδοση: (2019)

Trends and applications in formal language theory Dagstuhl-Seminar-Report; 23 14.10.-18.10.91(9142)

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Έκδοση: (2009)

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs
Έκδοση: (2014)

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs
Έκδοση: (2019)

Formal Ontology and Conceptual Realism
ανά: Cocchiarella, Nino B.
Έκδοση: (2007)

Epistemology, Context, and Formalism
Έκδοση: (2014)

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
Έκδοση: (2013)

Proceedings of the 25th symposium on Implementation and Application of Functional Languages
Έκδοση: (2013)

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Έκδοση: (2011)

New Trends in Formal Languages Control, Cooperation, and Combinatorics /
Έκδοση: (1997)

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
Έκδοση: (2010)

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Έκδοση: (2017)

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
Έκδοση: (2010)

Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Έκδοση: (2003)

Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Έκδοση: (2003)

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Έκδοση: (2016)

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Έκδοση: (2015)

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Έκδοση: (2014)

Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Έκδοση: (2012)

Interpreted Languages and Compositionality
ανά: Kracht, Marcus
Έκδοση: (2011)

Proceedings of the sixth workshop on Programming languages meets program verification
Έκδοση: (2012)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών