Introduction to languages and the theory of computation /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
New York :
McGraw-Hill,
c1991.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Switching and finite automata theory /
: Kohavi, Zvi
Հրապարակվել է: (1978)
: Kohavi, Zvi
Հրապարակվել է: (1978)
Quantum cellular automata theory, experimentation and prospects /
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Introduction to automata theory, languages, and computation /
: Hopcroft, John E.
Հրապարակվել է: (2001)
: Hopcroft, John E.
Հրապարակվել է: (2001)
Introduction to automata theory, languages, and computation /
: Hopcroft, John E., 1939-
Հրապարակվել է: (1979)
: Hopcroft, John E., 1939-
Հրապարակվել է: (1979)
Theory of automata, formal languages and computation
: Xavier, S. P. Eugene
Հրապարակվել է: (2005)
: Xavier, S. P. Eugene
Հրապարակվել է: (2005)
Computability, complexity, and languages : fundamentals of theoretical computer science /
: Davis, Martin, 1928-
Հրապարակվել է: (1994)
: Davis, Martin, 1928-
Հրապարակվել է: (1994)
Computers classical, quantum and others /
: Suprun, Sergey P.
Հրապարակվել է: (2012)
: Suprun, Sergey P.
Հրապարակվել է: (2012)
Elements of the theory of computation /
: Lewis, Harry R.
Հրապարակվել է: (1998)
: Lewis, Harry R.
Հրապարակվել է: (1998)
Algebraic theory of automata and languages
: Itō, Masami, 1941-
Հրապարակվել է: (2004)
: Itō, Masami, 1941-
Հրապարակվել է: (2004)
Aspects of complexity minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 /
Հրապարակվել է: (2001)
Հրապարակվել է: (2001)
A half-century of automata theory celebration and inspiration /
Հրապարակվել է: (2001)
Հրապարակվել է: (2001)
Weighted restarting automata /
: Wang, Qichao
Հրապարակվել է: (2018)
: Wang, Qichao
Հրապարակվել է: (2018)
Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Հրապարակվել է: (2010)
Հրապարակվել է: (2010)
FSM-based digital design using Verilog HDL
: Minns, Peter D.
Հրապարակվել է: (2008)
: Minns, Peter D.
Հրապարակվել է: (2008)
Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
Հրապարակվել է: (2001)
Հրապարակվել է: (2001)
Logic and automata history and perspectives /
Հրապարակվել է: (2008)
Հրապարակվել է: (2008)
Machine analysis with computer applications for mechanical engineers /
: Doane, James
Հրապարակվել է: (2016)
: Doane, James
Հրապարակվել է: (2016)
Observing interaction : an introduction to sequential analysis /
: Bakeman, Roger
Հրապարակվել է: (1994)
: Bakeman, Roger
Հրապարակվել է: (1994)
Theory of computational complexity /
: Du, Dingzhu, և այլն
Հրապարակվել է: (2014)
: Du, Dingzhu, և այլն
Հրապարակվել է: (2014)
Specification and Proof in real- time CSP /
: Davis, Jim
Հրապարակվել է: (1993)
: Davis, Jim
Հրապարակվել է: (1993)
Perspectives in logic logical foundations of proof complexity /
: Cook, Stephen, 1948-
Հրապարակվել է: (2010)
: Cook, Stephen, 1948-
Հրապարակվել է: (2010)
Computational science - ICCS 2022 : 22nd international conference, London, UK, June 21-23, 2022 : proceedings. Part III /
Հրապարակվել է: (2022)
Հրապարակվել է: (2022)
Foundations of complex systems emergence, information and prediction /
: Nicolis, G., 1939-
Հրապարակվել է: (2012)
: Nicolis, G., 1939-
Հրապարակվել է: (2012)
Foundations of complex systems nonlinear dynamics statistical physics, information and prediction /
: Nicolis, G., 1939-
Հրապարակվել է: (2007)
: Nicolis, G., 1939-
Հրապարակվել է: (2007)
Can markets compute equilibria?
: Monroe, Hunter
Հրապարակվել է: (2009)
: Monroe, Hunter
Հրապարակվել է: (2009)
Formal models, languages and applications
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Computational complexity and statistical physics
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
A nonlinear dynamics perspective of Wolfram's new kind of science.
: Chua, Leon O., 1936-
Հրապարակվել է: (2009)
: Chua, Leon O., 1936-
Հրապարակվել է: (2009)
A nonlinear dynamics perspective of Wolfram's new kind of science
: Chua, Leon O., 1936-
Հրապարակվել է: (2013)
: Chua, Leon O., 1936-
Հրապարակվել է: (2013)
Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
Հրապարակվել է: (2008)
Հրապարակվել է: (2008)
Scientific applications of language methods
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
Optimal stopping rules
: Shiri͡aev, Alʹbert Nikolaevich
Հրապարակվել է: (2008)
: Shiri͡aev, Alʹbert Nikolaevich
Հրապարակվել է: (2008)
Theory of computation
: Tourlakis, George J.
Հրապարակվել է: (2012)
: Tourlakis, George J.
Հրապարակվել է: (2012)
Kernels for structured data
: Gartner, Thomas
Հրապարակվել է: (2008)
: Gartner, Thomas
Հրապարակվել է: (2008)
Random walk, sequential analysis and related topics a Festschrift in honor of Yuan-Shih Chow /
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Advances in network complexity
Հրապարակվել է: (2013)
Հրապարակվել է: (2013)
Randomness and complexity from Leibniz to Chaitin /
Հրապարակվել է: (2007)
Հրապարակվել է: (2007)
Learning with kernels support vector machines, regularization, optimization, and beyond /
: Schölkopf, Bernhard
Հրապարակվել է: (2002)
: Schölkopf, Bernhard
Հրապարակվել է: (2002)
Bridging the gap between graph edit distance and kernel machines
: Neuhaus, Michel
Հրապարակվել է: (2007)
: Neuhaus, Michel
Հրապարակվել է: (2007)
Formal languages, automata and numeration systems 2 /
: Rigo, Michel
Հրապարակվել է: (2014)
: Rigo, Michel
Հրապարակվել է: (2014)