Home
Advanced search
Results of search for 'su:"Computable Functions"', page 1 of 2

Refine your search

Availability
- Limit to records with available items
Authors
Item types
- Books
Series
Topics

Your search returned 23 results.

Not what you expected? Check for suggestions

Sort

1
2
Next
Last

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

Public lists

Music Quantum Science and Technology

New list

Results

Image from Google Jackets

Computability : a mathematical sketchbook by

Bridges, Douglas S

Series: Graduate texts in mathematics

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 1994

Availability: Items available for loan: DAU (1)Call number: 511.3 BRI.

Place hold Save to lists

Image from Google Jackets

Models of computation : an introduction to computability theory by

Fernandez, Maribel

Series: Undergraduate topics in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: London: Springer, 2009

Availability: Items available for loan: DAU (1)Call number: 511.3 FER.

Place hold Save to lists

Image from Google Jackets

Algorithmic randomness and complexity by

Downey, Rodney G
Hirschfeldt, Denis

Series: Theory and applications of computability

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2010

Availability: Items available for loan: DAU (1)Call number: 511.3 DOW.

Place hold Save to lists

Image from Google Jackets

Set theory for computing by

Cantone, Domenico
Omodeo, Eugenio
Policriti, Alberto

Series: Monographs in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 2001

Availability: Items available for loan: DAU (1)Call number: 511.322 CAN.

Place hold Save to lists

Image from Google Jackets

Automata and computability by

Kozen, Dexter

Series: Undergraduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 1997

Availability: Items available for loan: DAU (1)Call number: 511.3 KOZ.

Place hold Save to lists

Image from Google Jackets

Introduction to languages and the theory of computation by

Martin, John C

Edition: 3rd ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New Delhi: Tata McGraw-Hill, 2003

Availability: Items available for loan: DAU (1)Call number: 511.3 MAR.

Place hold Save to lists

Image from Google Jackets

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets by

Soare, Robert I

Series: Perspecties in mathematical logic

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 1987

Availability: Items available for loan: DAU (1)Call number: 511.3 SOA.

Place hold Save to lists

Image from Google Jackets

Introduction to languages and the theory of computation by

Martin, John C

Edition: 3rd ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New Delhi: Tata McGraw-Hill, 2003

Availability: Items available for loan: DAU (3)Call number: 511.3 MAR, ...

Place hold Save to lists

Image from Google Jackets

Computable analysis : an introduction by

Weihrauch, Klaus

Series: Texts in theoretical computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 2000

Availability: Items available for loan: DAU (1)Call number: 515 WEI.

Place hold Save to lists

10.

Image from Google Jackets

Theory of computation by

Tourlakis, George

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Hoboken: Wiley, 2012

Availability: Items available for loan: DAU (1)Call number: 511.352 TOU.

Place hold Save to lists

11.

Image from Google Jackets

Computability and logic by

Boolos, George S
Burgess, John P
Jeffrey, Richard C

Edition: 4th ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Cambridge: Cambridge University Press, 2002

Availability: Items available for loan: DAU (1)Call number: 511.3 BOO.

Place hold Save to lists

12.

Image from Google Jackets

Discrete structures, logic, and computability by

Hein, James L

Edition: 2nd ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Sudbury: Jones & Bartlett, 2002

Availability: Items available for loan: DAU (1)Call number: 004.01511 HEI.

Place hold Save to lists

13.

Image from Google Jackets

Data streams : models and algorithms by

Aggarwal, Charu C

Series: Adances in database systems

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2007

Availability: Items available for loan: DAU (1)Call number: 518.1 AGG.

Place hold Save to lists

14.

Image from Google Jackets

Computability and Complexity Theory by

Homer, Steven
Selman, Alam L

Series: Texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2001

Availability: Items available for loan: DAU (1)Call number: 004 HOM.

Place hold Save to lists

15.

Image from Google Jackets

Data streams : algorithms and applications by

Muthukrishnan, S

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Boston: Now Publishers, 2005

Availability: Items available for loan: DAU (1)Call number: 518.1 MUT.

Place hold Save to lists

16.

Image from Google Jackets

New computational paradigms : changing conceptions of what is computable by

Cooper, S. B
Lowe, Benedikt
Sorbi, Andrea

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2008

Availability: Items available for loan: DAU (1)Call number: 511.3 COO.

Place hold Save to lists

17.

Image from Google Jackets

Models of Computation and Formal Languages by

Taylor, R. Gregory

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Oxford University Press, 1998

Availability: Items available for loan: DAU (1)Call number: 004.015113 TAY.

Place hold Save to lists

18.

Image from Google Jackets

Symbolic-numeric computation by

Wang, Dongming
Zhi, Lihong

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Boston: Birkhauser, 2007

Availability: Items available for loan: DAU (1)Call number: 511.352 WAN.

Place hold Save to lists

19.

Image from Google Jackets

Computability and logic by

Boolos, George S
Burgess, John P
Jeffrey, Richard C

Edition: 5th ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Cambridge University Press, 2007

Availability: Items available for loan: DAU (1)Call number: 511.352 BOO.

Place hold Save to lists

20.

Image from Google Jackets

Three views of logic : mathematics, philosophy, and computer science by

Loveland, Donald W
Hodel, Richard E
Sterrett, S. G

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Princeton: Princeton University Press, 2014

Availability: Items available for loan: DAU (1)Call number: 511.3 LOV.

Place hold Save to lists

1
2
Next
Last

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 23 results.

Public lists