Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings /
| Corporate Authors: | TAMC (Conference) Shanghai, China), SpringerLink (Online service) |
|---|---|
| Other Authors: | Cai, Jin-yi, 1961-, Cooper, S. B. (S. Barry), Zhu, Hong, 1961- |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2007]
|
| Series: | Lecture notes in computer science.
4484. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
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)
Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings /
Published: (2006)
Published: (2006)
Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings /
Published: (2006)
Published: (2006)
Uncertainty and surprise in complex systems : questions on working with the unexpected /
Published: (2005)
Published: (2005)
Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings /
Published: (2008)
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 : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings /
Published: (2010)
Published: (2010)
Proceedings of the ... Annual ACM Symposium on Theory of Computing.
Published: (1982)
Published: (1982)
Reliable and autonomous computational science : international conference, RACS 2010, Atlanta, Ga, USA, October 27-30, 2010 /
Published: (2011)
Published: (2011)
Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "Foundations of the Formal Sciences III" /
Published: (2004)
Published: (2004)
Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /
Published: (2009)
Published: (2009)
Complexity theory of real functions /
by: Ko, Ker-I
Published: (1991)
by: Ko, Ker-I
Published: (1991)
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday /
Published: (2007)
Published: (2007)
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 /
Published: (1981)
Published: (1981)
Computational science -- ICCS 2007 : 7th international conference, Beijing, China, May 27-30, 2007 : proceedings /
Published: (2007)
Published: (2007)
Computational science -- ICCS 2007 : 7th international conference, Beijing, China, May 27-30, 2007 : proceedings /
Published: (2007)
Published: (2007)
Computational science -- ICCS 2007 : 7th international conference, Beijing, China, May 27-30, 2007 : proceedings /
Published: (2007)
Published: (2007)
Computational science -- ICCS 2007 : 7th international conference, Beijing, China, May 27-30, 2007 : proceedings /
Published: (2007)
Published: (2007)
Introduction to computability /
by: Hennie, Frederick C.
Published: (1977)
by: Hennie, Frederick C.
Published: (1977)
Computational science and its applications : ICCSA 2007 : international conference, Kuala Lumpur, Malaysia, August 26-29, 2007 : proceedings /
Published: (2007)
Published: (2007)
Structure in complexity theory : proceedings of the conference held at the ...
Published: (1986)
Published: (1986)
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
Published: (1985)
Published: (1985)
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 computational complexity /
Published: (1992)
Published: (1992)
Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 /
Published: (1985)
Published: (1985)
Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
Published: (2009)
Published: (2009)
Theory of computational complexity /
by: Du, Dingzhu
Published: (2000)
by: Du, Dingzhu
Published: (2000)
Theories of computational complexity /
by: Calude, Cristian, 1952-
Published: (1988)
by: Calude, Cristian, 1952-
Published: (1988)
Computational complexity theory /
Published: (1989)
Published: (1989)
Theory of computational complexity /
by: Du, Dingzhu, et al.
Published: (2014)
by: Du, Dingzhu, et al.
Published: (2014)
Computational complexity theory /
Published: (2004)
Published: (2004)
Parameterized and exact computation : first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings /
Published: (2004)
Published: (2004)
Theory of computation /
by: Kozen, Dexter, 1951-
Published: (2006)
by: Kozen, Dexter, 1951-
Published: (2006)
Conference record of the ... annual ACM Symposium on Theory of Computing.
Published: (1979)
Published: (1979)
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
Published: (1985)
Published: (1985)
Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 /
Published: (1986)
Published: (1986)
Introduction to the theory of computation /
by: Sipser, Michael
Published: (2013)
by: Sipser, Michael
Published: (2013)
Theory of computation : formal languages, automata, and complexity /
by: Brookshear, J. Glenn
Published: (1989)
by: Brookshear, J. Glenn
Published: (1989)