Your search returned 31 results.

Sort
Results
1.
CAAP'90 /ed. by A. Arnold. by
  • Colloquium on Trees in Algebra & Programming. Copenhagen 1990
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: Berlin SV 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N902;1.

2.
Dynamical systems theory and applications ed. by J. Moser by
  • Moser, J., ed
Series: Lecturer Notes in Physics ; 38
Material type: Text Book
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 530.15535 N75.

3.
Logic of programs ed. by Erwin Engler by
  • Engler, Erwin
Series: Lecturer in computer science
Material type: Text Book
Publication details: new-York Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N812.

4.
International symposium on programming ed. by Ciancoglini Dezani and U. Montanari by
  • Dezani, Ciancoglini., ed
  • Montanari, U., ed
Series: Lecturer notes in computer science ;
Material type: Text Book
Publication details: New-York Springer-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N822;1.

5.
Program construction ed. by J. Stanstrup by
  • Stanstrup, J., ed
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: New-York Springer-Verlag 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.10218 N82.

6.
Automata, language and programming ed. by J. Diaz by
  • Colloquium on Automata Lang. & Prog (10th ICALP 1983 )
  • Diaz, J., ed
Series: Lecturer notes in computer science ; 154
Material type: Text Book
Publication details: New-York Springer-Verlag 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8310;1.

7.
Application of operations research to health care delivery systems by Brant E. Fries by
  • Friesm, Brant E
Series: lecturer notes in medical informatics
Material type: Text Book
Publication details: New-York Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 362.102854 N81.

8.
Medical informations europe 81 - procedings by
  • Conference on European federation of medical informatics
Series: Lecturer notes in medical informatics
Material type: Text Book
Publication details: New-York Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 362.102854 N811.

9.
Logics of programs and their applications ed. by A. Salwicki by
  • Salwicki, A., ed
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: New-York Springer-Varley 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N83.

10.
CAAP 81 : trees in algebra and programming by E. Astesiac and C. Bohm by
  • Astesianc, E
  • Bohm, C
Series: Lecturer notes in computer science ;
Material type: Text Book
Publication details: New-York Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N814.

11.
Programming ed. by M. Dezani-Ciancaguni and U. Montanari. by
  • International symposium on Programming
  • Dezani-Ciancaguni, M., ed
  • Montanari, U., ed
Series: Lecturer notes in computer science ;
Material type: Text Book
Publication details: New-York Springer-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N822.

12.
CLU reference manual ed. by Barbana Liskov by
  • Liskov, Barbana., ed
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: New-York Springer-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8114.

13.
Automata languages and programming ed by J Diaz by
  • Colloquium on Automata Lang. & Prog (10th ICALP 1983 )
  • Diaz, J., ed
Series: Lecturer notes in computer science ; 154
Material type: Text Book
Publication details: New-York Springer-Verlag 1983
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8310.

14.
Conpar 81 by W. Handler by
  • Handler, W
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: new-York Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N811.

15.
Programs specification proceedings ed. by J. Staunstrup by
  • Staunstrup, J., ed
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: New-York Springer-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.10218 N82;1.

16.
Programming language Ada reference manual by
  • United states dept. of defence
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: New-York Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424AD N81.

17.
CAPP'88 ed. by M. Dauchet and M. Nivat by
  • Dauchet, M., ed
  • Nivat, M., ed
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: New-York Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N881.

18.
Advances in Research on Networked Learning ed by Michael Baker by
  • Baker, Michael
  • Bereiter, Carl
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.65 .

19.
Advances in the Theory of Benzenoid Hydrocarbons ed by Ivan Gutman by
  • Gutman, Ivan
  • Cyvin, Sven J
Series: Lecturer notes in computer science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 547.611 .

20.
Analysis 1 by Wolfgang Walter by
  • Walter, Wolfgang
Series: Lecturer note in Computer Science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 515 .

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