Carregant...

Codi QR

Computability theory /

Dades bibliogràfiques
Autor principal:	Cooper, S. B.
Format:	Printed Book
Idioma:	English
Publicat:	Boca Raton : Chapman & Hall/CRC, c2004.
Matèries:	Computable functions.
Accés en línia:	http://www.loc.gov/catdir/enhancements/fy0646/2003055823-d.html

Ítems similars

Theory of computation /
per: Tourlakis, George J.
Publicat: (2012)

Automata and Computability /
per: Kozen,Dexter C
Publicat: (1997)

Computability Theory;Vol.62
per: Weber,Rebecca

Computability and logic /
per: Boolos, George S.
Publicat: (2002)

Computability and logic /
per: Boolos, George
Publicat: (1974)

Computer Approximations
per: Hart,John F and Cheney,E.W and Lawson,Charles L and Maehly,Hans J and Mesztenyi,Charles K and Rice,John R and Thacher,Henry G,jr. and Witzgall,Christoph
Publicat: (1968)

Proofs and computations /
per: Schwichtenberg, Helmut, et al.
Publicat: (2012)

Set Theory for Computing: from decision procedures to declarative programming with sets /
per: Cantone, Domenico et.al
Publicat: (2001)

Introduction to Languages and the Theory of Computation /
per: Martin,, John C.
Publicat: (1996)

Kernel Methods in Computational Biology
per: Bernhard SchÃ-lkop,ed
Publicat: (2005)

Computational Semantics with Functional Programming
per: Eijck, Jan Van and Unger, Christina
Publicat: (2010)

Computability theory, semantics and logic programming
per: Fitting, Melvin
Publicat: (1987)

Automata and computability /
Publicat: (1997)

GENOMICS AND PROTEOMICS FUNCTIONAL AND COMPUTATIONAL ASPECTS
Publicat: (2005)

Test your C skills
per: Yashavant,P Kanetkar
Publicat: (2007)

Let us C++
per: Yashavant,Kanetkar
Publicat: (2007)

Introduction to languages and the theory of computation /
per: Martin, John C.
Publicat: (2003)

Automata and computability
per: Kozen, Dexter C
Publicat: (2002)

Recursive functions in computer theory
per: Peter, Rozsa
Publicat: (1981)

Computer Applications in Physics with FORTRAN,BASIC and C
per: Chandra,Suresh
Publicat: (2003)

Introduction to languages and the theory of computation.-2nd ed.
per: Martin, John C.
Publicat: (1997)

Introduction to languages and the theory of computation.-3rd ed.
per: Martin, John C.
Publicat: (2007)

Introduction to language and the theory of computation. -3rd Ed.
per: Martin, John C
Publicat: (2007)

Introduction to language and the theory of computation. -2nd Ed.
per: Martin, John C
Publicat: (1996)

Computer Programming In Fortran IV
per: Rajaraman V.
Publicat: (1980)

theory of functions
per: Titchmarsh, E.C
Publicat: (1937)

The theory of functions,
per: Titchmarsh, E. C.
Publicat: (1939)

The theory of functions,
per: Titchmarsh, E. C.
Publicat: (1979)

The theory of functions,
per: Titchmarsh, E. C.
Publicat: (1968)

Recursively enumerable sets and degrees.
per: Soare, Robert J.
Publicat: (1987)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Cesky Krumlov, Czech Republic, August 26-31, 2007 ; proceedings /
Publicat: (2007)

Categories and computer science/
per: Walters, R.F.C
Publicat: (1991)

Computer Applications in Management
per: Sadhana Rana
Publicat: (2009)

Analog computation and simulation
per: Rajaraman,V

Theory of computation /
per: Shukla, Rajesh K.
Publicat: (2009)

Theory of Computation
per: Kozen, Dexter C.
Publicat: (2006)

Computation and its limits
per: Cockshott, W. Paul
Publicat: (2015)

Theory of computation
per: Puntambekar, A.A

Computation and theory in ordinary differential equations
per: Daniel, James W
Publicat: (1970)

Potential theory on harmonic spaces
per: Constantinescu, corneliu
Publicat: (1972)