Đang tải...

Mã QR

Computability theory /

Chi tiết về thư mục
Tác giả chính:	Cooper, S. B.
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Boca Raton : Chapman & Hall/CRC, c2004.
Những chủ đề:	Computable functions.
Truy cập trực tuyến:	http://www.loc.gov/catdir/enhancements/fy0646/2003055823-d.html

Những quyển sách tương tự

Theory of computation /
Bằng: Tourlakis, George J.
Được phát hành: (2012)

Automata and Computability /
Bằng: Kozen,Dexter C
Được phát hành: (1997)

Computability Theory;Vol.62
Bằng: Weber,Rebecca

Computability and logic /
Bằng: Boolos, George S.
Được phát hành: (2002)

Computability and logic /
Bằng: Boolos, George
Được phát hành: (1974)

Computer Approximations
Bằng: 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
Được phát hành: (1968)

Proofs and computations /
Bằng: Schwichtenberg, Helmut, et al.
Được phát hành: (2012)

Set Theory for Computing: from decision procedures to declarative programming with sets /
Bằng: Cantone, Domenico et.al
Được phát hành: (2001)

Introduction to Languages and the Theory of Computation /
Bằng: Martin,, John C.
Được phát hành: (1996)

Kernel Methods in Computational Biology
Bằng: Bernhard SchÃ-lkop,ed
Được phát hành: (2005)

Computational Semantics with Functional Programming
Bằng: Eijck, Jan Van and Unger, Christina
Được phát hành: (2010)

Computability theory, semantics and logic programming
Bằng: Fitting, Melvin
Được phát hành: (1987)

Automata and computability /
Được phát hành: (1997)

GENOMICS AND PROTEOMICS FUNCTIONAL AND COMPUTATIONAL ASPECTS
Được phát hành: (2005)

Test your C skills
Bằng: Yashavant,P Kanetkar
Được phát hành: (2007)

Let us C++
Bằng: Yashavant,Kanetkar
Được phát hành: (2007)

Introduction to languages and the theory of computation /
Bằng: Martin, John C.
Được phát hành: (2003)

Automata and computability
Bằng: Kozen, Dexter C
Được phát hành: (2002)

Recursive functions in computer theory
Bằng: Peter, Rozsa
Được phát hành: (1981)

Computer Applications in Physics with FORTRAN,BASIC and C
Bằng: Chandra,Suresh
Được phát hành: (2003)

Introduction to languages and the theory of computation.-2nd ed.
Bằng: Martin, John C.
Được phát hành: (1997)

Introduction to languages and the theory of computation.-3rd ed.
Bằng: Martin, John C.
Được phát hành: (2007)

Introduction to language and the theory of computation. -3rd Ed.
Bằng: Martin, John C
Được phát hành: (2007)

Introduction to language and the theory of computation. -2nd Ed.
Bằng: Martin, John C
Được phát hành: (1996)

Computer Programming In Fortran IV
Bằng: Rajaraman V.
Được phát hành: (1980)

theory of functions
Bằng: Titchmarsh, E.C
Được phát hành: (1937)

The theory of functions,
Bằng: Titchmarsh, E. C.
Được phát hành: (1939)

The theory of functions,
Bằng: Titchmarsh, E. C.
Được phát hành: (1979)

The theory of functions,
Bằng: Titchmarsh, E. C.
Được phát hành: (1968)

Recursively enumerable sets and degrees.
Bằng: Soare, Robert J.
Được phát hành: (1987)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Cesky Krumlov, Czech Republic, August 26-31, 2007 ; proceedings /
Được phát hành: (2007)

Categories and computer science/
Bằng: Walters, R.F.C
Được phát hành: (1991)

Computer Applications in Management
Bằng: Sadhana Rana
Được phát hành: (2009)

Analog computation and simulation
Bằng: Rajaraman,V

Theory of computation /
Bằng: Shukla, Rajesh K.
Được phát hành: (2009)

Theory of Computation
Bằng: Kozen, Dexter C.
Được phát hành: (2006)

Computation and its limits
Bằng: Cockshott, W. Paul
Được phát hành: (2015)

Theory of computation
Bằng: Puntambekar, A.A

Computation and theory in ordinary differential equations
Bằng: Daniel, James W
Được phát hành: (1970)

Potential theory on harmonic spaces
Bằng: Constantinescu, corneliu
Được phát hành: (1972)