Your search returned 311 results.

Sort
Results
1.
Generating correct programs from logic specifications by Ruth E. Davis. by
  • Davis, Ruth E
Material type: Text Book
Publication details: Santa Cruz University of California 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N7915.

2.
On program synthesis knowledge by Cordell Green, David Barstow. by
  • Green, Cordell
  • Barstow, David
Series: Stanford University CS-77-639,AIM-306
Material type: Text Book
Publication details: California Stanford University 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N7712.

3.
Program development formal explanations of implementations by David S. Wile by
  • Wile, David S
Material type: Text Book
Publication details: California USC/ISI 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8213.

4.
Protosystem I an automatic programming system prototype. by Gregory R. Ruth. by
  • Ruth, Gregory R
Material type: Text Book
Publication details: Cambridge MIT Press 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N7616.

5.
Instrumentation and measurements for electronic technicians by
  • Gillies, Robert B
Series: Merrill's International Series in Electrcal and Electronics Technology
Material type: Text Book
Publication details: Columbus Merrill 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8846.

6.
Introduction to programming and problem solving with PASCAL by Michael Schneider, et al. by
  • Schneider, Michael
Edition: 2nd
Material type: Text Book
Publication details: New Delhi Wiley Eastern 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424P N827.

7.
Z notation a reference manual. by J. M. Spivey. by
  • Spivey, J.M
Series: Prentice Hall international series in computer science
Material type: Text Book
Publication details: New York Prentice Hall 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 0011.6424 N8912.

8.
Robust real-time multi-tasking kernel. by Pierre G. Jansen. by
  • Jansen, Pierre G
Series: Technische Hogechool Twente
Material type: Text Book
Publication details: Enschede Twente Univ of Tech. 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8643.

9.
Methodologies for concurrent programming. by Jayadev, Misra. by
  • Misra, Jayadev
Series: Univ. of Texas at Austin, Computer Science Dept
Material type: Text Book
Publication details: Austin Univ of Texas,Austin 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8755.

10.
Data structures an advanced approach using C by Jeffrey Esakov, Tom Weiss. by
  • Esakov, Jeffrey
  • Weiss, Tom
Material type: Text Book
Publication details: New Jersey Prentice Hall 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6442 N891.

11.
Absolutely essential utilities for the IBM PC. by Emily Rosenthal by
  • Rosenthal, Emily
Material type: Text Book
Publication details: New Delhi Galgotia 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.265 N871.

12.
Peter Norton's assembly language book for the IBM PC by Peter Norton, John Socha. by
  • Norton, Peter
  • Socha, John
Material type: Text Book
Publication details: New Delhi Prentice Hall 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8630.

13.
New Peter Norton programmer's guide to the IBM PC & PS/2 by Peter Norton and Richard Wilton. by
  • Norton, Peter
  • Wilton, Richard
Material type: Text Book
Publication details: Washington Microsoft 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8813.

14.
Data structures and algorithms. by Alfred V. Aho. by
  • Aho, Alfred V
Material type: Text Book
Publication details: Reading Addison-Wesley 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64 N8312;2.

15.
Computer architecture and VAX assembly language programming by James E. Brink and Richard J. Spillman. by
  • Brink, James E
  • Spillman, Richard J
Material type: Text Book
Publication details: Menlo Park Benjamin/Cummings 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.245 N87.1.

16.
Communicating sequential processes. by C. A. R. Hoare. by
  • Hoare, C. A. R
Material type: Text Book
Publication details: New Delhi PHI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8910.

17.
Complete turbo pascal by Jeff Dunteman by
  • Duntemann, Jeff
Edition: 2nd
Material type: Text Book
Publication details: New Delhi Galgotia 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.43 N891.

18.
Logical Basis for Computer Programming, Vol 2 Deductive system by Zohar Manna and Richard Waldinger by
  • Manna, Zohar
  • Waldinger, Richard
Series: v.2 Deductive systems
Material type: Text Book
Publication details: Reading Addison-Wesley 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N85.2.

19.
Programming in BASIC including IBM PC BASIC by E. Balaguruswamy. by
  • Balaguruswamy, E
Edition: 2nd.
Material type: Text Book
Publication details: New Delhi Tata McGraw-Hill 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N898.

20.
Principles of computer programming (Fortran 77 for IBM PC) /by V. Rajaraman. by
  • Rajaraman, V
Edition: 3rd.
Material type: Text Book
Publication details: New Delhi P-H of India 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N884.

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