Your search returned 5759 results.

Sort
Results
1.
Schaum's outline of theory and problems of introduction to computer science by Fancis Scheid. by
  • Scheid, Francis
Series: Schaum's outline series
Material type: Text Book
Publication details: New York MGH 1970
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N70.

2.
Study of the recoverability of computing systems by Philip Meir Merlin by
  • Merlin, Philip Meir
Material type: Text Book
Publication details: Ann Arbor UMI 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N74.

3.
Net based uniform approach for sequential and concurrent control abstractions by Tai-Yuan Hou by
  • Hou, Tai-Yuan
Series: University of Washington, Ph.D.Thesis
Material type: Text Book
Publication details: Ann Arbor UMI 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N83.

4.
Petri net models of program execution in data flow environments by Steven Fletcher Jennings by
  • Jennings, Steven Fletcher
Series: Iowa State University, Ph.D. Thesis
Material type: Text Book
Publication details: Ann Arbor UMI 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N81.

5.
Artificial intelligence and expert systems source book /V.Daniel Hunt. by V. Daniel Hunt by
  • Hunt, V Daniel
Material type: Text Book
Publication details: New-York Chapman & Hall 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33 N862 "R".

6.
Type-theoretic models of concurrency. by Walter Rance Cleavelant. by
  • Cleavelant, Walter Rance
Material type: Text Book
Publication details: Ann Arbor UMI 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8741.

7.
AI, graphics and simulation ed. by Graham Birtwistle. by
  • Birtwistle, Graham., ed
Material type: Text Book
Publication details: California Society for Computer Simulation 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N85.

8.
Let Newton be edited by John Fauvel (...) by
  • Fauvel, John, ed Flood, Raymond, ed. Shortland, Michael, ed
Series: 972p. p 249-259
Material type: Text Book
Publication details: Oxford Oxford University 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 509.24 N88.

9.
Automatic verification of serializers. by
  • Atkinson, Russel Roger
Series: Massachusetts Institue of Technology/Laboratory for Computer Science/TR-229
Material type: Text Book
Publication details: Cambridge MIT 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.7406 N80.

10.
Science observed perspectives on the social study of science ed. by Karin D. Knorr-Cetina, Michael Mulkay. by
  • Knorr-Cetina, Karin D., ed
  • Mulkay, Michael., ed
Material type: Text Book
Publication details: London Sage 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 306.5 N83.

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

12.
Hypothetical monologue illustrating the knowledge underlying program analysis by Howard E. Shrobe, Richard C. Waters, G. J. Sussman by
  • Shrobe, Howard E
  • Waters, Richard C
  • Sussman, G. J
Series: Artificial intelligence laboratory
Material type: Text Book
Publication details: Cambridge, Mass AIL 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N794.

13.
Frontier areas in information science by T.K.S. Iyengar. by
  • Iyengar, T.K.S
Material type: Text Book
Publication details: Bangalore Int. Marketing 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 020 N89.

14.
Expert systems for business ed. by Barry G. Silverman. by
  • Silverman, Barry G., ed
Material type: Text Book
Publication details: Reading (mass) Addison Wesley 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8743.

15.
Data organization in parallel computers by
  • Wijshoff, Harry A.G
Series: Kluwer international series in engineering and computer science. Parallel processing and fifth generation computing
Material type: Text Book
Publication details: Boston Kluwer Academic 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N895.

16.
Fast algorithms and their implementation on specialized parallel computers ed. by J. Miklosko, M. Vajtersics, I. Vrto. by
  • Miklosko, J., ed
  • Vajtersics, M., ed
  • Vrto, I., ed
Series: Special topics in supercomputing ; 5
Material type: Text Book
Publication details: Amsterdam North-Holland 1989
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 005.1 N892.

17.
Advances in Chinese computer science V.1 ed.by Xu Kongshi. by
  • Kongshi, Xu.,ed
Material type: Text Book
Publication details: Singapore World Scientific 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.072051 N88.

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

19.
Materials revolution superconductors, new materials and theJapanese challenge ed. by Tom Forester. by
  • Forester, Tom., ed
Material type: Text Book
Publication details: Cambridge MIT 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.11 N882.

20.
Expert systems and artificial intelligence applications and management ed. by Thomas C. Bartee by
  • Bartee, Thomas C., ed
Material type: Text Book
Publication details: Indianapolis Howard W. Sams 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N889.

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