Your search returned 9 results.

Sort
Results
1.
Computability, complexity and languages: fundamentals of theoretical computer science /(by) Martin D. Davis, Ron Sigal, ... by Series: Computer Science and Scientific Computing
Edition: 2nd.
Material type: Text Text
Publication details: Boston AP 1994
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 511.3 N94.

2.
Computability and unsolvability by Martin Davis. by Series: McGraw-Hill Series in Information Processing and Computers
Material type: Text Text
Publication details: New York McGraw-Hill Book Co. 1958
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N58.

3.
Applied nonstandard analysis by Martin Davis by Series: Pure and Applied Mathematics
Material type: Text Text
Publication details: New York John Wiley & Sons 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515 N77.

4.
Computability, complexity and languages fundamentals of theoretical computer science by Martin D. Davis, Elaine J. Weyuker. by Series: Computer science and applied mathematics
Material type: Text Text
Publication details: New York Academic Press 1983
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6401 N83 R(T).

5.
Differential and integral calculus by Edmund Landau, tr. by Melvin Hausner, Martin Davis by
Edition: 2nd
Material type: Text Text
Publication details: New York Chelsea Publishing Company 1950
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 515.3 N60.

6.
First course in functional analysis by Martin Davis by Series: Notes on Mathematics and its applications
Material type: Text Text
Publication details: London Thomson Nelson & Sons 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515.7 N682.

7.
Computability & Unsolvability By Martin Davis by Series: Dover books in advanced mathematics
Material type: Text Text
Publication details: New York Dover 1973
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N731.

8.
Universal computer The road from Leibniz and Turing by Martin Davis by
Material type: Text Text
Publication details: New York W W Norton and company 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.09 P.

9.
Computability and Unsolvability by Martin Davis by
Material type: Text Text
Publication details: Newyork Dover Publications, Inc 1973
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N738.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832