载入...

QR Code

Computability theory /

书目详细资料
主要作者:	Cooper, S. B.
格式:	Printed Book
语言:	English
出版:	Boca Raton : Chapman & Hall/CRC, c2004.
主题:	Computable functions.
在线阅读:	http://www.loc.gov/catdir/enhancements/fy0646/2003055823-d.html

相似书籍

Theory of computation /
由: Tourlakis, George J.
出版: (2012)

Automata and Computability /
由: Kozen,Dexter C
出版: (1997)

Computability Theory;Vol.62
由: Weber,Rebecca

Computability and logic /
由: Boolos, George S.
出版: (2002)

Computability and logic /
由: Boolos, George
出版: (1974)

Computer Approximations
由: 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
出版: (1968)

Proofs and computations /
由: Schwichtenberg, Helmut, et al.
出版: (2012)

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

Introduction to Languages and the Theory of Computation /
由: Martin,, John C.
出版: (1996)

Kernel Methods in Computational Biology
由: Bernhard SchÃ-lkop,ed
出版: (2005)

Computational Semantics with Functional Programming
由: Eijck, Jan Van and Unger, Christina
出版: (2010)

Computability theory, semantics and logic programming
由: Fitting, Melvin
出版: (1987)

Automata and computability /
出版: (1997)

GENOMICS AND PROTEOMICS FUNCTIONAL AND COMPUTATIONAL ASPECTS
出版: (2005)

Test your C skills
由: Yashavant,P Kanetkar
出版: (2007)

Let us C++
由: Yashavant,Kanetkar
出版: (2007)

Introduction to languages and the theory of computation /
由: Martin, John C.
出版: (2003)

Automata and computability
由: Kozen, Dexter C
出版: (2002)

Recursive functions in computer theory
由: Peter, Rozsa
出版: (1981)

Computer Applications in Physics with FORTRAN,BASIC and C
由: Chandra,Suresh
出版: (2003)

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

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

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

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

Computer Programming In Fortran IV
由: Rajaraman V.
出版: (1980)

theory of functions
由: Titchmarsh, E.C
出版: (1937)

The theory of functions,
由: Titchmarsh, E. C.
出版: (1939)

The theory of functions,
由: Titchmarsh, E. C.
出版: (1979)

The theory of functions,
由: Titchmarsh, E. C.
出版: (1968)

Recursively enumerable sets and degrees.
由: Soare, Robert J.
出版: (1987)

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

Categories and computer science/
由: Walters, R.F.C
出版: (1991)

Computer Applications in Management
由: Sadhana Rana
出版: (2009)

Analog computation and simulation
由: Rajaraman,V

Theory of computation /
由: Shukla, Rajesh K.
出版: (2009)

Theory of Computation
由: Kozen, Dexter C.
出版: (2006)

Computation and its limits
由: Cockshott, W. Paul
出版: (2015)

Theory of computation
由: Puntambekar, A.A

Computation and theory in ordinary differential equations
由: Daniel, James W
出版: (1970)

Potential theory on harmonic spaces
由: Constantinescu, corneliu
出版: (1972)

Cannot write session to /tmp/vufind_sessions/sess_3ogd33gi2ggpu7keg0k6dfe0fa