Your search returned 9 results.

Sort
Results
1.
Theoretical studies of the (alpha)-clevage and hydrogen abstraction reactions of some ketones and thiones. by
  • Sumathi, K
Series: IISc. Dept. of IPC, Ph.D. Thesis
Material type: Text Book
Publication details: Bangalore IISc. 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 547.036 N88 "THESIS".

2.
Abstraction Refinement for Large Scale Model Checking by Chao Wang, Gary Hachtel and Fabio Somenzi by
  • Wang, Chao
  • Hachtel, Gary
  • Somenzi, Fabio
Series: Lecture Notes in Computer Science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 003.5 .

3.
Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver and Carroll Morgan by
  • cIver, Annabelle
  • Morgan , Carroll
Series: Lecture Notes in Compuer Science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 .

4.
Abstraction, Reformulation and Approximation by Jean-Daniel Zucker and Lorenza Saitta by
  • Zucker , Jean-Danie
  • Saitta, Lorenz
Series: Lecture notes in Cmputer Science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.7 .

5.
Abstraction, Reformulation and Approximation by Jean-Daniel Zucker and Lorenza Saitta by
  • Zucker , Jean-Danie
  • Saitta, Lorenz
Series: Lecture notes in Cmputer Science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 .

6.
Abstraction, Reformulation, and Approximation Proceedings ed by B Y Choueiry, and T Walsh by
  • International Symposium, SARA 2000 (4 Texas 2000)
  • Choueiry, Y., ed
  • Walsh, T., ed
Series: Lecture Notes in Computer science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.4 .

7.
C ++ primer by Stanley B. Lippman, Josee Lajoie and Barbara E. Moo by
  • Lippman, Stanley B
  • Lajoie, Josee
  • Moo Barbara E
Edition: 4th ed.,
Material type: Text Book
Publication details: Noida Pearson 2005
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.133 P053;2 (CSA).

8.
C++ primer by Stanley B Lippman, Josee Lajoie and Barbara E Moo by
  • Lippman, Stanley B
  • Lajoie, Josee
  • Moo Barbara E
Edition: 4th ed.
Material type: Text Book
Publication details: New Delhi Pearson 2005
Availability: Items available for loan: Centre for High Energy Physics (1)Call number: 005.133 P053;3 (CHEP).

9.
Compactness and contradiction by
  • Tao, Terence
Publication details: USA American Mathematical Society 2013
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 515 TAO.

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