Your search returned 10 results.

Sort
Results
1.
Hypothetical monologue illustrating the knowledge underlying program analysis by Howard E. Shrobe, Richard C. Waters, G. J. Sussman by
  • Shrobe, Howard E
  • Waters, Richard C
  • Sussman, G. J
Series: Artificial intelligence laboratory
Material type: Text Book
Publication details: Cambridge, Mass AIL 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N794.

2.
Decision aiding and coordination in decision-making organizations by Jean-Louis M. Grevet. by
  • Grevet, Jean-Louis M
Series: Massachusetts Institute of Technology
Material type: Text Book
Publication details: Cambridge, Mass MIT 1988
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 658.403 N858.

3.
Neurocomputing : foundations of research ed. by James A Anderson and Edward Rosenfeld by
  • Anderson, James A., ed
  • Rosenfeld, Edward., ed
Material type: Text Book
Publication details: Cambridge, Mass MIT 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.20159904188 N881.

4.
Abstraction and specification in program development by Barbara Liskov and John Guttag. by
  • Liskov, Barbara
  • Guttag, John
Material type: Text Book
Publication details: Cambridge, Mass MIT 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12 N86.

5.
Definition of standard ML by Robin Milner, Mads Tofte and R obert Harper. by
  • Milner, Robin
  • Tofte, Mads
  • Harper, Robert
Material type: Text Book
Publication details: Cambridge, Mass MIT 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N9044.

6.
Algorithmic program debugging by Ehud Y. Shapiro by
  • Shapiro, Ehud Y,
Series: ACM Distinguished Dissertations 1982 ;
Material type: Text Book
Publication details: Cambridge, Mass. MIT Press 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 SHA.

7.
Mass transfer in heterogenous catalysis by Charles N. Scatterfield by
  • Satterfield, Charles N
Material type: Text Book
Publication details: Cambridge (Mass) MIT Press 1970
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 541.395 .

8.
Electric discharge lamps by John F. Waymouth. by
  • Waymouth, John F
Series: Monographs in modern electrical technology
Material type: Text Book
Publication details: Cambridge (Mass) MIT 1971
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.322 N711.

9.
Learning in graphical models edited by Michael I. Jordan by
  • Jordan, Michael Irwin,
Series: Adaptive computation and machine learning ;
Material type: Text Book
Publication details: Cambridge Mass MIT Press 1999
Availability: Items available for loan: Computer Science and Automation (1)Call number: 519.5 LEA/L.

10.
Learning in graphical models edited by Michael I. Jordan by
  • Jordan, Michael Irwin,
Series: Adaptive computation and machine learning ;
Material type: Text Book
Publication details: Cambridge Mass MIT Press 1998
Availability: Items available for loan: Computational Data Scince (1)Call number: 519.5 LEA/J.

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