Your search returned 7 results.

Sort
Results
1.
Notes on introductory combinatories by George Polya (...) by
  • Polya, George
  • Taryan, Robert E
  • Woods, Donald R
Series: Progress in computer science ; 4
Material type: Text Book
Publication details: Boston Birkhauser 1983
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.6 N833.

2.
Mathematics for the analysis of algorithms /Daniel H. Greene, Donald E. Knuth by
  • Greene, Daniel H
  • Knuth, Donald E
Series: Progress in Computer Science and Applied Logic, V.1
Edition: 3rd.
Material type: Text Book
Publication details: Boston Birkhauser 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.10151 N90.

3.
Graph-based proof procedures for horn clauses by Stan Raatz by
  • Raatz, Stan
Series: Progress in Computer Science and Applied Logic V.10
Material type: Text Book
Publication details: Boston Birkhauser 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N9028.

4.
Feasible mathematics - workshop ed. by Samuel R. Buss, Philip J. Scott by
  • Mathematical Sciences Institute Workshop, Ithaca, 1989
  • Buss, Samuel R., ed
  • Scott, Philip J., ed
Series: Progress in Computer Science and Applied Logic V.9
Material type: Text Book
Publication details: Boston Birkhauser 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510 N904.

5.
Logic for computer scientists by Uwe Schoning by
  • Schoning, Uwe
Series: Progress in computer science and applied logic ; Vol 8
Material type: Text Book
Publication details: Boston Birkhauser 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N8929 R(T).

6.
Notes on introductory combinatorics By George Polya, Robert E. Tarjan, Danald R. Woods by
  • Polya, George
  • Tarjan, Robert E
  • Woods, Donald R
Series: Progress in computer science ; 4
Material type: Text Book
Publication details: Boston Birkhauser 1983
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.6 N833;1.

7.
Logic for computer scientists by Uwe Schoning by
  • Schoning, Uwe
Series: Progress in computer science and applied logic
Material type: Text Book
Publication details: Boston Birkhauser 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N896.

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