Introduction to languages, machines and logic : computable languags, abstract machines and formal logic /

Introduction to languages, machines and logic : computable languags, abstract machines and formal logic /

保存先:

書誌詳細
第一著者:	Parkes, Alan P. (著者)
フォーマット:	図書
言語:	English
出版事項:	London Springer c2002
主題:	Formal languages. Machine theory.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Introduction to languages, machines and logic : computable languages, abstract machines and formal logic /
著者:: Parkes, Alan P.
出版事項: (2002)

The language of machines : an introduction to computability and formal languages /
著者:: Floyd, Robert W.
出版事項: (1994)

An introduction to formal languages and automata /
著者:: Linz, Peter
出版事項: (2001)

Formal languages and computation : models and their applications /
著者:: Meduna, Alexander
出版事項: (2014)

Languages and machines : an introduction to the theory of computer science /
著者:: Sudkamp, Thomas A.
出版事項: (1998)

Languages and machines : an introduction to the theory of computer science /
著者:: Sudkamp, Thomas A.
出版事項: (1988)

Languages and machines : an introduction to the theory of computer science /
著者:: Sudkamp, Thomas A.
出版事項: (2006)

Algebraic theory of automata and languages /
著者:: Ito, Masami
出版事項: (2004)

Formal languages & automata theory
著者:: Puntambekar, Anuradha A.
出版事項: (2012)

Formal languages & automata theory
著者:: Puntambekar, Anuradha A.
出版事項: (2012)

Introduction to automata theory, languages, and computation /
著者:: Hopcroft, John E., 1939-
出版事項: (2007)

Introduction to automata theory, languages and computation /
著者:: Hopcrofth, John E.
出版事項: (2006)

Introduction to automata theory, languages, and computation /
著者:: Hopcroft, John E.
出版事項: (2001)

Introduction to automata theory, languages and computation /
著者:: Hopcroft, John
出版事項: (2003)

Languages and machines an introduction to the theory of computer science
著者:: Sudkamp, Thomas A.
出版事項: (2006)

Languages and machines an introduction to the theory of computer science
著者:: Sudkamp, Thomas A.
出版事項: (2006)

Languages and machines : an introduction to the theory of computer science /
著者:: Sudkamp, Thomas A.
出版事項: (2006)

Languages and machines : an introduction to the theory of computer science /
著者:: Sudkamp, Thomas A.
出版事項: (1998)

Theory of finite automata : with an introduction to formal languages /
著者:: Carroll, John
出版事項: (1989)

Introduction to automata theory, languages and computation /
著者:: Hopcrofth, John E.
出版事項: (1979)

Algebraic theory of automata and languages /
著者:: Ito, Masami
出版事項: (2004)

Problem solving in automata, languages, and complexity /
著者:: Du, Ding-Zhu.
出版事項: (2001)

Introduction to automata theory, languages and computation /
著者:: Hopcrofth, John E.
出版事項: (2006)

Introduction to automata theory, languages and computation /
著者:: Hopcroft, John
出版事項: (2003)

Introduction to automata theory, languages, and computation
著者:: Hopcroft, John E.
出版事項: (2007)

Introduction to automata theory, languages, and computation
著者:: Hopcroft, John E.
出版事項: (2007)

Introduction to automata theory, languages, and computation
著者:: Hopcroft, John E.
出版事項: (2001)

Introduction to automata theory, languages, and computation
著者:: Hopcroft, John E.
出版事項: (2001)

Formal models of computation : the ultimate limits of computing /
著者:: Fleck, Arthur
出版事項: (2001)

Logic and language models for computer science /
著者:: Hamburger, Henry, 1940,-
出版事項: (2002)

Logic and language models for computer science /
著者:: Hamburger, Henry
出版事項: (2002)

Algorithms, languages, automata, and compilers a practical approach
著者:: Mozgovoy, Maxim
出版事項: (2010)

Algorithms, languages, automata, and compilers a practical approach
著者:: Mozgovoy, Maxim
出版事項: (2010)

Elements of the theory of computation /
著者:: Lewis, Harry R.
出版事項: (1998)

Logic and language models for computer science
著者:: Hamburger, Henry
出版事項: (2002)

Logic and language models for computer science
著者:: Hamburger, Henry
出版事項: (2002)

Formal models, languages and applications /
出版事項: (2006)

Developments in language theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007: Proceedings /
出版事項: (2007)

Developments in language theory 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
出版事項: (2008)

Automata, languages and programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.
出版事項: (2006)