Your search returned 45 results.

Sort
Results
1.
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.

2.
Communication and concurrency by Robin Milner by
  • Milner, Robin
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: 005.43 N8929.

3.
Computational category theory by David E. Rydeheard, Rod M. Burstall by
  • Rydeheard, David E
  • Burstall, Rod M
Series: Prentice Hall International Series in Computer Science
Material type: Text Book
Publication details: New York Prentice Hall 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N886.

4.
Communication and concurrency. by Robin Milner. by
  • Milner, Robin
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: 001.6425 N8915.

5.
Essays in computing science ed. by C. A. R. Hoare and C. B. Jones. by
  • Hoare, C. A. R., ed
  • Jones, C. B., ed
Series: Prentice Hall international series in computer science
Material type: Text Book
Publication details: New York Prentice-Hall 1989
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.6 N893.

6.
Implementation of functional programming languages. by Semon L. Peyton Jones. by
  • Peyton Jones, Semon L
Series: Prentice-Hall international series in computer science ;
Material type: Text Book
Publication details: Englewood Cliffs Prentice-Hall 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N878.

7.
Computational category theory by David E. Rydeheard and Rod M. Burstall. by
  • Rydeheard, David E
  • Burstall, Rod M
Series: Prentice Hall international series in computer science ;
Material type: Text Book
Publication details: New York Prentice Hall 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N8813.

8.
Specification case studies ed by Ian Hayes by
  • Hayes, Ian., ed
Series: Prentice-Hall international series in computer science ;
Material type: Text Book
Publication details: Englewood Cliffs Prentice Hall 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12 N871.

9.
Communication and concurrency. by Robin Milner by
  • Milner, Robin
Series: Prentice-Hall International series in computer science
Material type: Text Book
Publication details: New York Prentice-Hall 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N898;1.

10.
Implementation of functional programming languages by Simon L. Peyton Jones. by
  • Peyton Jones, Simon L
Series: Prentice-Hall international series in computer science
Material type: Text Book
Publication details: Englewood Cliffs P-H 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N87.

11.
Programming language theory and its implementation: applications and imperative paradigms /(by) Michael J.C. Gordon by
  • Gordon, Michael J.C
Series: Prentice-Hall International Series in Computer Science
Material type: Text Book
Publication details: New York P-H 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1301 N88.

12.
Concurrent program structures by David Bustard, John Elder, Jim Welsh by
  • Bustard, David
  • Elder, John
  • Welsh, Jim
Series: Prentice Hall International Series in Computer Science
Material type: Text Book
Publication details: New York Prentice-Hall 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.12 N88.

13.
How to solve it by computer by R. G. Dromey. by
  • Dromey, R. G
Series: Prentice-Hall international series in computer science
Material type: Text Book
Publication details: Englewood Cliffs Prentice-Hall International 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N824.

14.
Syntax of programming languages - theory and practice by Roland R. Backhouse by
  • Backhouse, Roland R
Series: Prentice-Hall international series in computer science
Material type: Text Book
Publication details: Englewood Cliffs Prentice-Hall 1979
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N794 R(T).

15.
Microprocessor programming and software development by F.G. Duncan by
  • Duncan, F.G,
Series: Prentice-Hall International Series in Computer Science ;
Material type: Text Book
Publication details: New Jersey Prentice-Hall 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 DUN.

16.
Structured system programming by Jim Welsh, Michael McKeag by
  • Welsh, Jim
  • McKeag, Michael
Series: Prentice-Hall International series in computer science
Material type: Text Book
Publication details: New Jersey Prentice-Hall International 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8020.

17.
System development by M. A. Jackson by
  • Jackson, M. A
Series: Prentice-Hall international series in computer science
Material type: Text Book
Publication details: Englewood Cliffs Prentice-Hall International 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 003 N832.

18.
Real-time systems Specification, Verification and analysis ed. by Mathai Joseph by
  • Joseph, Mathai., ed
Series: Prentice Hall International series in computer science
Material type: Text Book
Publication details: London P-H 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.33 N961.

19.
Micro-prolog programming in logic by K. L. Clark, F G McCabe by
  • Clark, K.L
  • McCabe, F.G
Series: Prentice-Hall international series in computer science
Material type: Text Book
Publication details: Englewood Cliffs Prentice-Hall 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N844.

20.
Functional programming application and implementation by Peter, Henderson by
  • Henderson, Peter
Series: Prentice-Hall International Series in Computer Science
Material type: Text Book
Publication details: New Jersey Prentice-Hall 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8014.

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