Lanean...

QR Kodea

Computability theory /

Xehetasun bibliografikoak
Egile nagusia:	Cooper, S. B.
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Boca Raton : Chapman & Hall/CRC, c2004.
Gaiak:	Computable functions.
Sarrera elektronikoa:	http://www.loc.gov/catdir/enhancements/fy0646/2003055823-d.html

Antzeko izenburuak

Theory of computation /
nork: Tourlakis, George J.
Argitaratua: (2012)

Automata and Computability /
nork: Kozen,Dexter C
Argitaratua: (1997)

Computability Theory;Vol.62
nork: Weber,Rebecca

Computability and logic /
nork: Boolos, George S.
Argitaratua: (2002)

Computability and logic /
nork: Boolos, George
Argitaratua: (1974)

Computer Approximations
nork: 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
Argitaratua: (1968)

Proofs and computations /
nork: Schwichtenberg, Helmut, et al.
Argitaratua: (2012)

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

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

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

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

Computability theory, semantics and logic programming
nork: Fitting, Melvin
Argitaratua: (1987)

Automata and computability /
Argitaratua: (1997)

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

Test your C skills
nork: Yashavant,P Kanetkar
Argitaratua: (2007)

Let us C++
nork: Yashavant,Kanetkar
Argitaratua: (2007)

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

Automata and computability
nork: Kozen, Dexter C
Argitaratua: (2002)

Recursive functions in computer theory
nork: Peter, Rozsa
Argitaratua: (1981)

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

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

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

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

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

Computer Programming In Fortran IV
nork: Rajaraman V.
Argitaratua: (1980)

theory of functions
nork: Titchmarsh, E.C
Argitaratua: (1937)

The theory of functions,
nork: Titchmarsh, E. C.
Argitaratua: (1939)

The theory of functions,
nork: Titchmarsh, E. C.
Argitaratua: (1979)

The theory of functions,
nork: Titchmarsh, E. C.
Argitaratua: (1968)

Recursively enumerable sets and degrees.
nork: Soare, Robert J.
Argitaratua: (1987)

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

Categories and computer science/
nork: Walters, R.F.C
Argitaratua: (1991)

Computer Applications in Management
nork: Sadhana Rana
Argitaratua: (2009)

Analog computation and simulation
nork: Rajaraman,V

Theory of computation /
nork: Shukla, Rajesh K.
Argitaratua: (2009)

Theory of Computation
nork: Kozen, Dexter C.
Argitaratua: (2006)

Computation and its limits
nork: Cockshott, W. Paul
Argitaratua: (2015)

Theory of computation
nork: Puntambekar, A.A

Computation and theory in ordinary differential equations
nork: Daniel, James W
Argitaratua: (1970)

Potential theory on harmonic spaces
nork: Constantinescu, corneliu
Argitaratua: (1972)