Theory of finite automata With an introduction to formal languages

Theory of finite automata With an introduction to formal languages

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Carroll, John (Συγγραφέας), Long, Darrell (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Englewood Cliffs N.J. Prentice-Hall c1989
Θέματα:	AUTOMATA FINITE AUTOMATA FORMAL LANGUAGES Υπολογιστική

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

Switching and finite automata theory
ανά: Kohavi, Zvi
Έκδοση: (1988)

Modern cellular automata Theory and applications
ανά: Duff, M. J. B., κ.ά.
Έκδοση: (1984)

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

Introduction to automata theory, languages, and computation
ανά: Hopcroft, John E., κ.ά.
Έκδοση: (1979)

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

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

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

Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

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

Elements of the Theory of Computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1981)

Automata, Languages and Programming Proceedings of the 23rd International Colloquim ICALP'96 Paderborn, Germany, July 6-12, 1996
Έκδοση: (1996)

Formal Languages
ανά: Book, Ronald V., κ.ά.
Έκδοση: (1973)

Automata, Languages and Programming 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10-14, 1995 Proceedings
Έκδοση: (1995)

Automata, Languages and Programming Proceedings of the 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 2000
Έκδοση: (2000)

Automata, Languages and Programming Proceedings of the 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 1999
Έκδοση: (1999)

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

Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)

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

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

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

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

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

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

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

The nonlinear workbook Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Fuzzy Logic with C++, Java, Symbolic C++ and Reduce Programs
ανά: Steeb, Willi-Hans
Έκδοση: (2001)

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

Discrete Mathematics in Computer Science
ανά: McAllister, David F., κ.ά.
Έκδοση: (1977)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

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

Logic for computer science Foundations of automatic theorem proving
ανά: Gallier, Jean H.
Έκδοση: (1987)

Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Semantics and Logic of Computation

Computer algebra with symbolic C++
ανά: Hardy, Yorick, 1976-
Έκδοση: (2008)

Journal of Scientific Computing
Έκδοση: (1986)

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987
Έκδοση: (1987)

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