Нүүр зураг

QR код

Introduction to languages and the theory of computation /

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Martin, John C.
Формат:	Ном
Хэл сонгох:	англи
Хэвлэсэн:	New York : McGraw-Hill, c1991.
Нөхцлүүд:	Computable functions. Sequential machine theory.
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс

Switching and finite automata theory /
-н: Kohavi, Zvi
Хэвлэсэн: (1978)

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., 1939-
Хэвлэсэн: (1979)

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)

Computers classical, quantum and others /
-н: Suprun, Sergey P.
Хэвлэсэн: (2012)

Elements of the theory of computation /
-н: Lewis, Harry R.
Хэвлэсэн: (1998)

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)

A half-century of automata theory celebration and inspiration /
Хэвлэсэн: (2001)

Weighted restarting automata /
-н: Wang, Qichao
Хэвлэсэн: (2018)

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)

FSM-based digital design using Verilog HDL
-н: Minns, Peter D.
Хэвлэсэн: (2008)

Logic and automata history and perspectives /
Хэвлэсэн: (2008)

Machine analysis with computer applications for mechanical engineers /
-н: Doane, James
Хэвлэсэн: (2016)

Observing interaction : an introduction to sequential analysis /
-н: Bakeman, Roger
Хэвлэсэн: (1994)

Theory of computational complexity /
-н: Du, Dingzhu, зэрэг
Хэвлэсэн: (2014)

Specification and Proof in real- time CSP /
-н: Davis, Jim
Хэвлэсэн: (1993)

Perspectives in logic logical foundations of proof complexity /
-н: Cook, Stephen, 1948-
Хэвлэсэн: (2010)

Computational science - ICCS 2022 : 22nd international conference, London, UK, June 21-23, 2022 : proceedings. Part III /
Хэвлэсэн: (2022)

Foundations of complex systems nonlinear dynamics statistical physics, information and prediction /
-н: Nicolis, G., 1939-
Хэвлэсэн: (2007)

Foundations of complex systems emergence, information and prediction /
-н: Nicolis, G., 1939-
Хэвлэсэн: (2012)

Can markets compute equilibria?
-н: Monroe, Hunter
Хэвлэсэн: (2009)

Formal models, languages and applications
Хэвлэсэн: (2006)

Computational complexity and statistical physics
Хэвлэсэн: (2006)

A nonlinear dynamics perspective of Wolfram's new kind of science.
-н: Chua, Leon O., 1936-
Хэвлэсэн: (2009)

A nonlinear dynamics perspective of Wolfram's new kind of science
-н: Chua, Leon O., 1936-
Хэвлэсэн: (2013)

Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
Хэвлэсэн: (2008)

Scientific applications of language methods
Хэвлэсэн: (2011)

Optimal stopping rules
-н: Shiri͡aev, Alʹbert Nikolaevich
Хэвлэсэн: (2008)

Theory of computation
-н: Tourlakis, George J.
Хэвлэсэн: (2012)

Kernels for structured data
-н: Gartner, Thomas
Хэвлэсэн: (2008)

Random walk, sequential analysis and related topics a Festschrift in honor of Yuan-Shih Chow /
Хэвлэсэн: (2006)

Advances in network complexity
Хэвлэсэн: (2013)

Randomness and complexity from Leibniz to Chaitin /
Хэвлэсэн: (2007)

Learning with kernels support vector machines, regularization, optimization, and beyond /
-н: Schölkopf, Bernhard
Хэвлэсэн: (2002)

Bridging the gap between graph edit distance and kernel machines
-н: Neuhaus, Michel
Хэвлэсэн: (2007)

Formal languages, automata and numeration systems 2 /
-н: Rigo, Michel
Хэвлэсэн: (2014)