Theory of computation /
| Main Author: | Kozen, Dexter, 1951- |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer,
[2006]
|
| Series: | Texts in computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book Publisher description |
Similar Items
Complexity, logic, and recursion theory /
Published: (1997)
Published: (1997)
The pillars of computation theory : state, encoding, nondeterminism /
by: Rosenberg, Arnold L., 1941-
Published: (2010)
by: Rosenberg, Arnold L., 1941-
Published: (2010)
Communication complexity and applications /
by: Rao, Anup, 1980-, et al.
Published: (2020)
by: Rao, Anup, 1980-, et al.
Published: (2020)
Modern mathematical tools and techniques in capturing complexity /
Published: (2011)
Published: (2011)
The P=NP question and Gödel's lost letter /
by: Lipton, Richard J.
Published: (2010)
by: Lipton, Richard J.
Published: (2010)
Studies in complexity and cryptography : miscellanea on the interplay between randomness and computation /
Published: (2011)
Published: (2011)
Geometry and complexity theory /
by: Landsberg, J. M.
Published: (2017)
by: Landsberg, J. M.
Published: (2017)
Algorithmic randomness and complexity /
by: Downey, R. G. (Rod G.)
Published: (2008)
by: Downey, R. G. (Rod G.)
Published: (2008)
Nonlinear dimensionality reduction /
by: Lee, John A. (John Aldo), 1976-
Published: (2007)
by: Lee, John A. (John Aldo), 1976-
Published: (2007)
Mathematics and computation : a theory revolutionizing technology and science /
by: Wigderson, Avi
Published: (2019)
by: Wigderson, Avi
Published: (2019)
From system complexity to emergent properties /
Published: (2009)
Published: (2009)
Parameterized complexity theory /
by: Flum, Jörg
Published: (2006)
by: Flum, Jörg
Published: (2006)
Theory of computation /
by: Kozen, Dexter, 1951-
Published: (2006)
by: Kozen, Dexter, 1951-
Published: (2006)
Cognition and intractability : a guide to classical and parameterized complexity analysis /
by: Rooij, Iris van, 1973-, et al.
Published: (2019)
by: Rooij, Iris van, 1973-, et al.
Published: (2019)
Problem solving in automata, languages, and complexity /
by: Du, Dingzhu
Published: (2001)
by: Du, Dingzhu
Published: (2001)
What Is a Complex System? James Ladyman & Karoline Wiesner.
by: Ladyman, James
Published: (2020)
by: Ladyman, James
Published: (2020)
Physical perspectives on computation, computational perspectives on physics /
Published: (2018)
Published: (2018)
Hypercomputation : computing beyond the Church-Turing barrier /
by: Syropoulos, Apostolos
Published: (2008)
by: Syropoulos, Apostolos
Published: (2008)
Recursions for convolutions and compound distributions with insurance applications /
by: Sundt, Bjørn
Published: (2009)
by: Sundt, Bjørn
Published: (2009)
Complexity theory and the philosophy of education /
Published: (2008)
Published: (2008)
Computability and complexity theory /
by: Homer, S. (Steven)
Published: (2011)
by: Homer, S. (Steven)
Published: (2011)
Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
Published: (2009)
Published: (2009)
Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
Published: (2008)
Published: (2008)
Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings /
Published: (2007)
Published: (2007)
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 : IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile /
Published: (2006)
Published: (2006)
Reviews of nonlinear dynamics and complexity.
Published: (2010)
Published: (2010)
Statistical complexity : applications in electronic structure /
Published: (2011)
Published: (2011)
Dynamics, information and complexity in quantum systems /
by: Benatti, Fabio, 1960-
Published: (2009)
by: Benatti, Fabio, 1960-
Published: (2009)
Unified computational intelligence for complex systems : studies in economic, financial, and social dynamics /
by: Seiffertt, John
Published: (2010)
by: Seiffertt, John
Published: (2010)
Recursion theory and computational complexity : lectures given at a summer school of the Centro internazionale matematico estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979 /
Published: (2010)
Published: (2010)
Kolmogorov complexity and algorithmic randomness /
by: Shen, A. (Alexander), 1958-, et al.
Published: (2017)
by: Shen, A. (Alexander), 1958-, et al.
Published: (2017)
Reliable and autonomous computational science : international conference, RACS 2010, Atlanta, Ga, USA, October 27-30, 2010 /
Published: (2011)
Published: (2011)
Complexity explained /
by: Érdi, Péter
Published: (2008)
by: Érdi, Péter
Published: (2008)
Parameterized and exact computation : second international workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006 : proceedings /
Published: (2006)
Published: (2006)
Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings /
Published: (2008)
Published: (2008)
Analysis for computer scientists : foundations, methods, and algorithms /
by: Oberguggenberger, Michael, 1953-
Published: (2011)
by: Oberguggenberger, Michael, 1953-
Published: (2011)
Sets, logic and maths for computing /
by: Makinson, David, 1941-
Published: (2008)
by: Makinson, David, 1941-
Published: (2008)
Comprehensive mathematics for computer scientists /
by: Mazzola, G. (Guerino)
Published: (2006)
by: Mazzola, G. (Guerino)
Published: (2006)
Comprehensive mathematics for computer scientists.
by: Mazzola, G. (Guerino)
Published: (2005)
by: Mazzola, G. (Guerino)
Published: (2005)
The definitive guide to how computers do math : featuring the virtual DIY calculator /
by: Maxfield, Clive, 1957-
Published: (2005)
by: Maxfield, Clive, 1957-
Published: (2005)