Your search returned 763 results.

Sort
Results
1.
Automatic construction of algorithms and data structures using knowledge base of programming rules. by David R. Barstow. by
  • Barstow, David R
Series: Artificial Intelligence Laboratory - AIM-308
Material type: Text Book
Publication details: Stanford AIL 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N779.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
Turbo C memory-resident utilities, screen i/0 and programming techniques by Al Stevens. by
  • Stevens, Al
Material type: Text Book
Publication details: Singapore Tech Publ. 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8918.

12.
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.

13.
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.

14.
OCLC workstation by Dan Marmion. by
  • Marmion, Dan
Series: Essential guide to the library IBM PC V.9
Material type: Text Book
Publication details: Westport Meckler Corporation 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 025.30285 N85.9 "SER".

15.
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.

16.
Victory at "C" by Gerald Pitts by
  • Pitts, Gerald
Material type: Text Book
Publication details: Cincinnoti South-Western Publishing Co. 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8848.

17.
Library applications of optical disk and CD-ROM technology by Nancy Melin Nelson. by
  • Nelson, Nancy Melin
Series: Essential guide to the library IBM PC V.8
Material type: Text Book
Publication details: Westport Meckler Corporation 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 025.30285 N85.8 "SER".

18.
Utility software by Blaine Victor Morrow. by
  • Morrow, Blaine Victor
Series: Essential guide to the library IBM PC V.15
Material type: Text Book
Publication details: Westport Meckler 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 025.30285 N85.15 "SER".

19.
C programming language by Brian W. Kernighan, Dennis M. Ritchie by
  • Kerninghan, Brian W
  • Ritche, Dennis M
Edition: 2nd
Material type: Text Book
Publication details: New Delhi Prentice-Hall of India Pvt. Ltd. 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8927;1.

20.
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.

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