Ảnh bìa

Mã QR

Elements of the theory of computation /

Hiển thị phiên bản (1) khác

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Lewis, Harry R.
Tác giả khác:	Papadimitriou, Christos H.
Định dạng:	Sách
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Upper Saddle River, N.J. : Prentice-Hall, c1998.
Phiên bản:	2nd ed.
Những chủ đề:	Computational complexity. Formal languages. Logic, Symbolic and mathematical. Machine theory.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Elements of the theory of computation /
Bằng: Lewis, Harry R.
Được phát hành: (1998)

Introduction to automata theory, languages, and computation /
Bằng: Hopcroft, John E., 1939-
Được phát hành: (1979)

Introduction to automata theory, languages, and computation /
Bằng: Hopcroft, John E.
Được phát hành: (2001)

Introduction to automata theory, languages, and computation /
Bằng: Hopcroft, John E., 1939-
Được phát hành: (1979)

Introduction to automata theory, languages, and computation /
Bằng: Hopcroft, John E.
Được phát hành: (2001)

Computability, complexity, and languages : fundamentals of theoretical computer science /
Bằng: Davis, Martin, 1928-
Được phát hành: (1994)

Computability, complexity, and languages : fundamentals of theoretical computer science /
Bằng: Davis, Martin, 1928-
Được phát hành: (1994)

Logic and automata history and perspectives /
Được phát hành: (2008)

Logic and automata history and perspectives /
Được phát hành: (2008)

Algebraic theory of automata and languages
Bằng: Itō, Masami, 1941-
Được phát hành: (2004)

Algebraic theory of automata and languages
Bằng: Itō, Masami, 1941-
Được phát hành: (2004)

Perspectives in logic logical foundations of proof complexity /
Bằng: Cook, Stephen, 1948-
Được phát hành: (2010)

Perspectives in logic logical foundations of proof complexity /
Bằng: Cook, Stephen, 1948-
Được phát hành: (2010)

Theory of automata, formal languages and computation
Bằng: Xavier, S. P. Eugene
Được phát hành: (2005)

Theory of automata, formal languages and computation
Bằng: Xavier, S. P. Eugene
Được phát hành: (2005)

Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
Được phát hành: (2001)

Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
Được phát hành: (2001)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Được phát hành: (2010)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Được phát hành: (2010)

Formal models, languages and applications
Được phát hành: (2006)

Formal models, languages and applications
Được phát hành: (2006)

Aspects of complexity minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 /
Được phát hành: (2001)

Aspects of complexity minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 /
Được phát hành: (2001)

Introduction to languages and the theory of computation /
Bằng: Martin, John C.
Được phát hành: (1991)

Introduction to languages and the theory of computation /
Bằng: Martin, John C.
Được phát hành: (1991)

Computers classical, quantum and others /
Bằng: Suprun, Sergey P.
Được phát hành: (2012)

Computers classical, quantum and others /
Bằng: Suprun, Sergey P.
Được phát hành: (2012)

Theory of computational complexity /
Bằng: Du, Dingzhu, et al.
Được phát hành: (2014)

Theory of computational complexity /
Bằng: Du, Dingzhu, et al.
Được phát hành: (2014)

Machine analysis with computer applications for mechanical engineers /
Bằng: Doane, James
Được phát hành: (2016)

Machine analysis with computer applications for mechanical engineers /
Bằng: Doane, James
Được phát hành: (2016)

Scientific applications of language methods
Được phát hành: (2011)

Scientific applications of language methods
Được phát hành: (2011)

Computational science - ICCS 2022 : 22nd international conference, London, UK, June 21-23, 2022 : proceedings. Part III /
Được phát hành: (2022)

Computational science - ICCS 2022 : 22nd international conference, London, UK, June 21-23, 2022 : proceedings. Part III /
Được phát hành: (2022)

Switching and finite automata theory /
Bằng: Kohavi, Zvi
Được phát hành: (1978)

Switching and finite automata theory /
Bằng: Kohavi, Zvi
Được phát hành: (1978)

A half-century of automata theory celebration and inspiration /
Được phát hành: (2001)

A half-century of automata theory celebration and inspiration /
Được phát hành: (2001)

Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
Được phát hành: (2008)