Your search returned 5 results.

Sort
Results
1.
Logic for applications by Anil Nerode and Richard A. Shore by
  • Nerode, Anil
  • Shore, Richard A
Series: Graduate texts in computer science
Edition: 2nd ed.
Material type: Text Book
Publication details: New York Springer Verlag 1997
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1015113 N97.

2.
Automata and computability by Dexter C Kozen by
  • Kozen, Dexter C
Series: Undergraduate texts in computer science ;
Material type: Text Book
Publication details: New York Springer 1997
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N975;2.

3.
Automata and Computability by Dexter C Kozen by
  • Kozen, Dexter C
Series: Undergraduate Texts in Computer Science ;
Material type: Text Book
Publication details: New York Springer Verlag Inc 1997
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N975;1.

4.
Basic graph theory by Md Saidur Rahman by
  • Rahman, Md Saidur
Series: Undergraduate Texts in Computer Science ;
Material type: Text Book
Publication details: Switzerland Springer 2017
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.5 P171.

5.
Introduction to Kolmogorov complexity and its applications Ming Li, Paul Vitányi. by
  • Li, Ming,
Series: Texts in computer science ;
Edition: 3rd ed.
Material type: Text Book
Publication details: New York Springer 2008
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 MIN/I.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832

Powered by Koha