Introduction to languages and the theory of computation /

Quantum cellular automata theory, experimentation and prospects /
出版事項: (2006)

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

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

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

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

Theory of automata, formal languages and computation
著者:: Xavier, S. P. Eugene
出版事項: (2005)

Theory of automata, formal languages and computation
著者:: Xavier, S. P. Eugene
出版事項: (2005)

Computability, complexity, and languages : fundamentals of theoretical computer science /
著者:: Davis, Martin, 1928-
出版事項: (1994)

Computability, complexity, and languages : fundamentals of theoretical computer science /
著者:: Davis, Martin, 1928-
出版事項: (1994)

Computers classical, quantum and others /
著者:: Suprun, Sergey P.
出版事項: (2012)

Computers classical, quantum and others /
著者:: Suprun, Sergey P.
出版事項: (2012)

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

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

Algebraic theory of automata and languages
著者:: Itō, Masami, 1941-
出版事項: (2004)

Algebraic theory of automata and languages
著者:: Itō, Masami, 1941-
出版事項: (2004)

Aspects of complexity minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 /
出版事項: (2001)

Aspects of complexity minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 /
出版事項: (2001)

A half-century of automata theory celebration and inspiration /
出版事項: (2001)

A half-century of automata theory celebration and inspiration /
出版事項: (2001)

Weighted restarting automata /
著者:: Wang, Qichao
出版事項: (2018)

Weighted restarting automata /
著者:: Wang, Qichao
出版事項: (2018)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
出版事項: (2010)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
出版事項: (2010)

Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
出版事項: (2001)

Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
出版事項: (2001)

Logic and automata history and perspectives /
出版事項: (2008)

Logic and automata history and perspectives /
出版事項: (2008)

Machine analysis with computer applications for mechanical engineers /
著者:: Doane, James
出版事項: (2016)

Machine analysis with computer applications for mechanical engineers /
著者:: Doane, James
出版事項: (2016)

FSM-based digital design using Verilog HDL
著者:: Minns, Peter D.
出版事項: (2008)

FSM-based digital design using Verilog HDL
著者:: Minns, Peter D.
出版事項: (2008)

Observing interaction : an introduction to sequential analysis /
著者:: Bakeman, Roger
出版事項: (1994)

Observing interaction : an introduction to sequential analysis /
著者:: Bakeman, Roger
出版事項: (1994)

Theory of computational complexity /
著者:: Du, Dingzhu, 等
出版事項: (2014)

Theory of computational complexity /
著者:: Du, Dingzhu, 等
出版事項: (2014)

Perspectives in logic logical foundations of proof complexity /
著者:: Cook, Stephen, 1948-
出版事項: (2010)