Llwytho...

Côd QR

Computability theory /

Manylion Llyfryddiaeth
Prif Awdur:	Cooper, S. B.
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Boca Raton : Chapman & Hall/CRC, c2004.
Pynciau:	Computable functions.
Mynediad Ar-lein:	http://www.loc.gov/catdir/enhancements/fy0646/2003055823-d.html

Eitemau Tebyg

Theory of computation /
gan: Tourlakis, George J.
Cyhoeddwyd: (2012)

Automata and Computability /
gan: Kozen,Dexter C
Cyhoeddwyd: (1997)

Computability Theory;Vol.62
gan: Weber,Rebecca

Computability and logic /
gan: Boolos, George S.
Cyhoeddwyd: (2002)

Computability and logic /
gan: Boolos, George
Cyhoeddwyd: (1974)

Computer Approximations
gan: 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
Cyhoeddwyd: (1968)

Proofs and computations /
gan: Schwichtenberg, Helmut, et al.
Cyhoeddwyd: (2012)

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

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

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

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

Computability theory, semantics and logic programming
gan: Fitting, Melvin
Cyhoeddwyd: (1987)

Automata and computability /
Cyhoeddwyd: (1997)

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

Test your C skills
gan: Yashavant,P Kanetkar
Cyhoeddwyd: (2007)

Let us C++
gan: Yashavant,Kanetkar
Cyhoeddwyd: (2007)

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

Automata and computability
gan: Kozen, Dexter C
Cyhoeddwyd: (2002)

Recursive functions in computer theory
gan: Peter, Rozsa
Cyhoeddwyd: (1981)

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

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

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

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

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

Computer Programming In Fortran IV
gan: Rajaraman V.
Cyhoeddwyd: (1980)

theory of functions
gan: Titchmarsh, E.C
Cyhoeddwyd: (1937)

The theory of functions,
gan: Titchmarsh, E. C.
Cyhoeddwyd: (1939)

The theory of functions,
gan: Titchmarsh, E. C.
Cyhoeddwyd: (1979)

The theory of functions,
gan: Titchmarsh, E. C.
Cyhoeddwyd: (1968)

Recursively enumerable sets and degrees.
gan: Soare, Robert J.
Cyhoeddwyd: (1987)

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

Categories and computer science/
gan: Walters, R.F.C
Cyhoeddwyd: (1991)

Computer Applications in Management
gan: Sadhana Rana
Cyhoeddwyd: (2009)

Analog computation and simulation
gan: Rajaraman,V

Theory of computation /
gan: Shukla, Rajesh K.
Cyhoeddwyd: (2009)

Theory of Computation
gan: Kozen, Dexter C.
Cyhoeddwyd: (2006)

Computation and its limits
gan: Cockshott, W. Paul
Cyhoeddwyd: (2015)

Theory of computation
gan: Puntambekar, A.A

Computation and theory in ordinary differential equations
gan: Daniel, James W
Cyhoeddwyd: (1970)

Potential theory on harmonic spaces
gan: Constantinescu, corneliu
Cyhoeddwyd: (1972)