Formal Languages

Formal Languages

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Salomaa, Arto (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston Academic Press c1973
Σειρά:	Computer Science Classics
Θέματα:	FORMAL LANGUAGES MATHEMATICS

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

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

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

Formal Languages
ανά: Book, Ronald V., κ.ά.
Έκδοση: (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)

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

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

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)

Cornerstones of Undecidability
ανά: Rozenberg, Grzegorz, κ.ά.
Έκδοση: (1994)

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

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

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

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

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

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

Writing Mathematics Well A Manual for Authors
ανά: Gillman, Leonard
Έκδοση: (1987)

Elements of Discrete Mathematics
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (1985)

Applied Linear Algebra
ανά: Daniel, James W., κ.ά.
Έκδοση: (1988)

Robust Statistics
ανά: Huber, Peter J.
Έκδοση: (1981)

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

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

Advanced engineering mathematics
ανά: Barrett, Louis C., κ.ά.
Έκδοση: (1982)

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)

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)

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Έκδοση: (2009)

The nature of mathematical modeling
ανά: Gershenfeld, Neil
Έκδοση: (1999)

Degrees of unsolvability Local and global theory
ανά: Lerman, Manuel
Έκδοση: (1983)

Handbook of mathematical functions With formulas, graphs, and mathematical tables
Έκδοση: (1972)

Lattice theory
ανά: Birkhoff, Garrett 1911-1996
Έκδοση: (1984)

Sampling Techniques
ανά: Cochran, William Gemmell 1909-
Έκδοση: (1963)

Selected Papers on Noise and Stochastic Processes
Έκδοση: (1954)

Algebraic and structural automata theory
Έκδοση: (1991)

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