Your search returned 37 results.

Sort
Results
1.
Object oriented database programming by Suad Alagic. by
  • Alagic, Suad
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York Springer Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8914.

2.
Synthesizer generator reference manual by Thomas W. Reps and Tim Teitelbaum. by
  • Reps, Thomas W
  • Teitelbaum, Tim
Series: Texts and monographs in computer science
Edition: 3rd.
Material type: Text Book
Publication details: New York Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6420202 N89.

3.
Adaptive signal processing theory and applications by Thomas S. Alexander. by
  • Alexander, Thomas S
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York Springer-Verlag 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38043 N863;1.

4.
Synthesizer generator A system for constructing language-based editors by Thomas W Reps and Tim Teitelbaum by
  • Reps, Thomas W
  • Teitelbaum, Tim
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N898.

5.
VLSI placement and routing : the PI project. by Alan T. Sherman. by
  • Sherman, Alan T
Series: Texts and monographs in computer science ;
Material type: Text Book
Publication details: New York Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8915.

6.
Object-oriented database programming by Suad Alagic by
  • Alagic, Suad
Series: Texts and monographs 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.74 N883;1.

7.
Object-oriented database programming. by Suad Alagic. by
  • Alagic, Suad
Series: Texts and monographs 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.74 N888.

8.
Specification and transformation of programs a formal approah to software development by Helmut A Partsch by
  • Partsch, Helmut A
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: Berlin S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N902.

9.
First-order logic and automated theorem proving. by Melvin Fitting. by
  • Fitting, Melvin
Series: Texts and Monographs in computer science
Material type: Text Book
Publication details: New York S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N901.

10.
Probabilistic analysis of algorithms on computing methodologies for computer algorithms performance evaluation by Micha Hofri by
  • Hofri, Micha
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York S-V 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N87;1.

11.
Design and analysis of algorithms by Dexter C. Kozen. by
  • kozen, Dexter C
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York S-V 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N922.

12.
Compiler construction /William M. Waite, Gerhard Goos by
  • Waite, William M
  • Goos, Gerhard
Series: Texts and Monographs in Computer Science
Material type: Text Book
Publication details: New York S-V 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N84;1.

13.
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs by David Lucknow. by
  • Lucknow, David
Series: Texts and Monographs in Computer Science ;
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1330218 N90.

14.
Guide to modula - 2 by Karri Christian by
  • Christian, Kaari
Series: Texts and Monographs in Computer Science
Material type: Text Book
Publication details: New York Springer-Verlag 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N869.

15.
Methods and applications of error-free computation by R.T. Gregory and E.V. Krishnamurthy by
  • Gregory, R. T
  • Krishnamurthy, E. V
Series: Texts and Monographs in Computer Science
Material type: Text Book
Publication details: New York Springer-Verlag 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.40285 N84.

16.
Compiler construction by William M. Waite, Gerhard Goos by
  • Waite, William M
  • Goos, Gerhard
Series: Texts and Monographs in Computer Science
Material type: Text Book
Publication details: New York Springer-Verlag 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.453 N84.

17.
Chess skill in man and machine ed. by Peter W. Frey by
  • Frey, Peter W., ed
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York Springer-Verlag 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 794.17 N77;1.

18.
Basic for theoretical computer science by Michael A. Arbib, A. J. Kfoury and Robert N. Moll. by
  • Arbib, Michael A
  • Kfoury, A. J
  • Moll, Robert N
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York Springer-Verlag 1981
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.64 N817;6.

19.
Computational Geometry an introduction by Franco P. Preparata, Michael Ian Shamos by
  • Preparata, Franco P
  • shamos, Michael Ian
Series: Texts and monographs in computer science
Material type: Text Book
Publication details: New York Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 516.02854 N85;3.

20.
Programming methodology collection of articles by members of IFIP WG2.3 ed. by David Gries by
  • Gries, David., ed
Series: Texts and Monographs in computer science
Material type: Text Book
Publication details: New York Springer-Verlag 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N787.

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