Your search returned 2676 results.

Sort
Results
1.
System of linear inequalities by A. S. Solodovnkiov. by Series: Little mathematics library
Material type: Text Text
Publication details: Moscow Mir 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.72 N791.

2.
Art of computer programming.Vol.1 fundamental algorithms by Donald E. Knuth. by
Edition: 2nd
Material type: Text Text
Publication details: Amsterdom Addision-Wesley 1975
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N75.

3.
8080 programming for logic design by Adam Osborne by
Material type: Text Text
Publication details: Berkeley Osborne & Associates 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.265 N76.

4.
Schaum's outline of theory and problems of programming with fortran by Seymour Lipschutz, Arthur Poe. by Series: Schaum's outline series
Material type: Text Text
Publication details: New York McGraw-Hill 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N78.

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

6.
Techniques for data driven implementation of functional languages by Ruth Brimley by
Material type: Text Text
Publication details: Manchester Victoria University 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8021.

7.
Advanced techniques in dBase III. by A. Simpson. by
Material type: Text Text
Publication details: Delhi BPB Publications 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.262 N86.

8.
Semantics of shared variables in parallel programming languages. by Norman Victor Shulman. by
Material type: Text Text
Publication details: Ann Arbor UMI 1987
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.6424 N8752.

9.
Parallel algorithms for a class of convex optimization problems by Rong-Jaye Chen. by Series: University of Wisconsin. Thesis. - Ph.D
Material type: Text Text
Publication details: Univ. of Wisconsin 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8725.

10.
Post a language for dataflow programming. by C. V. Ravishankar. by
Material type: Text Text
Publication details: Ann Arbor UMI 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.644 N875.

11.
Programmable interactive automated deduction system for propositional logic. by Jamaes David Shelly. by
Material type: Text Text
Publication details: Ann Arbor UMI 1987
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.6424 N8753.

12.
Garbage collection for functional languages in a distributed system. by Dana J. Eckart. by
Material type: Text Text
Publication details: Ann Arbor UMI 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8729.

13.
Parallel algorithms for scheduling & related problems. by David Paul Helmbold. by
Material type: Text Text
Publication details: Ann Arbor UMI 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8750.

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

15.
Generating correct programs from logic specifications by Ruth E. Davis. by
Material type: Text Text
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.

16.
On program synthesis knowledge by Cordell Green, David Barstow. by Series: Stanford University CS-77-639,AIM-306
Material type: Text Text
Publication details: California Stanford University 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N7712.

17.
Program development formal explanations of implementations by David S. Wile by
Material type: Text Text
Publication details: California USC/ISI 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8213.

18.
Protosystem I an automatic programming system prototype. by Gregory R. Ruth. by
Material type: Text Text
Publication details: Cambridge MIT Press 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N7616.

19.
Instrumentation and measurements for electronic technicians by Series: Merrill's International Series in Electrcal and Electronics Technology
Material type: Text Text
Publication details: Columbus Merrill 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8846.

20.
Database applications using prolog by Robert Lucas by Series: Ellis horwood series in computer and their applications ;
Material type: Text Text
Publication details: Chichester Ellis Horwood 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8840.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832