Εξώφυλλο

Κώδικας QR

Introduction to the theory of computation.

Κύριος συγγραφέας:	Engeler, Erwin.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	New York, Academic Press [1973]
Σειρά:	Computer Science and Applied Mathematics.
Ταξινομικός αριθμός:	629.8'91 EN
Θέματα:	Sequential machine theory. Recursive functions. Formal languages.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Formal languages and automata theory /
από: Drobot, Vladimir.
Στοιχεία έκδοσης: (1989)

Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969)

Introduction to computability /
από: Hennie, Frederick C.
Στοιχεία έκδοσης: (1977)

Definition of programming languages by interpreting automata /
από: Ollongren, Alexander.
Στοιχεία έκδοσης: (1974)

Theory of recursive functions and effective computability /
από: Rogers, H. (Hartley), 1926-
Στοιχεία έκδοσης: (1987)

Applied automata theory /
Στοιχεία έκδοσης: (1968)

Stochastic automata : constructive theory /
από: Lorenz, Aivar Arvidovich.
Στοιχεία έκδοσης: (1974)

Introduction to automata theory, languages, and computation /
από: Hopcroft, John E., 1939-
Στοιχεία έκδοσης: (1979)

Theory of machines and computations : proceedings /
Στοιχεία έκδοσης: (1971)

Theory of computation /
από: Kozen, Dexter 1951-
Στοιχεία έκδοσης: (2006)

Lectures on linear sequential machines /
από: Harrison, Michael A.
Στοιχεία έκδοσης: (1969)

Computability and logic /
από: Boolos, George.
Στοιχεία έκδοσης: (1989)

Self-checking and fault-tolerant digital design /
από: Lala, Parag K.
Στοιχεία έκδοσης: (2001)

Elements of the theory of computation /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (1981)

Introduction to formal language theory /
από: Harrison, Michael A.
Στοιχεία έκδοσης: (1978)

Recursive macroeconomic theory /
από: Ljungqvist, Lars.
Στοιχεία έκδοσης: (2004)

The theory of computer science : a programmaing approach /
από: Brady, J. M.
Στοιχεία έκδοσης: (1977)

Sequential methods in statistics/
από: Wetherill, Barrie G.
Στοιχεία έκδοσης: (1975)

Introduction to automata/
από: Nelson, R. J.
Στοιχεία έκδοσης: (1968)

Complexity of sequential and parallel numerical algorithms : [proceedings] /
Στοιχεία έκδοσης: (1973)

Logic,Automata , and Algorithms /
Στοιχεία έκδοσης: (1971)

Introduction to machine learning /
από: Alpaydin, Ethem.
Στοιχεία έκδοσης: (2004)

Στοιχεία θεωρίας υπολογισμού /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (2005)

Perceptrons: an introduction to computational geometry/
από: Minsky, Marvin.
Στοιχεία έκδοσης: (1990)

Machine learning /
από: Mitchell, Tom M.
Στοιχεία έκδοσης: (1997)

Sequential statistics /
από: Govindarajulu, Z.
Στοιχεία έκδοσης: (2004)

Algebraic theory of automata.
από: Ginzburg, Abraham.
Στοιχεία έκδοσης: (1968)

The informational complexity of learning : Perspectives on Neural Networks andGenerative Grammar /
από: Niyogi, Partha.
Στοιχεία έκδοσης: (1998)

Theory and design of air cushion craft
από: Yun, Liang.
Στοιχεία έκδοσης: (2000)

Introduction to PL/I programming and PL/C /
από: Bohl, Marilyn.
Στοιχεία έκδοσης: (1973)

Sequential methods in pattern recognition and machine learning /
από: Fu, King Sun, 1930-
Στοιχεία έκδοσης: (1968)

ADA : an advanced introduction /
από: Gehani, Narain.
Στοιχεία έκδοσης: (1989)

Classical and quantum computation /
από: Kitaev, A. Yu 1963-
Στοιχεία έκδοσης: (2002)

Groovy programming an introduction for Java developers /
από: Barclay, Kenneth A., 1947-
Στοιχεία έκδοσης: (2007)

The Ada primer : an introduction to the Ada language system /
από: Johnson, Philip I.
Στοιχεία έκδοσης: (1985)

Schaum's Outline of theory and problems of programming with BASIC /
από: Gottfried, Byron S., 1934-
Στοιχεία έκδοσης: (1975)

An introduction to support vector machines : and other kernel-based learning methods /
από: Cristianini, Nello, 1968-
Στοιχεία έκδοσης: (2000)

Introduction to computer applications using Basic/Richard M.Jones.
από: Jones, Richard M.
Στοιχεία έκδοσης: (1981)

Schaum's Outline of theory and problems of programming with BASIC, including microcomputer BASIC /
από: Gottfried, Byron S., 1934-
Στοιχεία έκδοσης: (1982)

Introduction to formal hardware verification /
από: Kropf, Thomas, 1961-
Στοιχεία έκδοσης: (1999)