Your search returned 2676 results.

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

202.
More programming pearls confessions of a coder. by Jon Bentley. by
Material type: Text Text
Publication details: Reading A-W 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N88.

203.
Foundations of logic programming. by J.W.Lloyd by Series: Springer series in symbolic computation- Artificial intelligence
Edition: 2nd.
Material type: Text Text
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N871.

204.
Functional programming practice and theory by J. Bruce MacLennan by
Material type: Text Text
Publication details: Reading A-W 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.13 N905.

205.
Programming parallel processors ed. by Robert G. Babb. by
Material type: Text Text
Publication details: Reading Addison-Wesley Publishing Company,Inc. 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 N886.

206.
Structured cobol programming by Nancy Stern and Robert A. Stern by
Edition: 5th ed.
Material type: Text Text
Publication details: New York John Wiley & Sons 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N887.

207.
Intermediate language and machine independent optimization issues in automatic code generation for vector processors by Abhas S. Youseffi by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8917;1.

208.
Design of a distributed debugger for action-based object-oriented programs by Chu-Chung Lin 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: 004.36 N87.

209.
Architectural support for concurrent logic programming languages by Leon Alkalaj by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N893.

210.
Visual LISP debugging environment by Sandra Jean Loosemore by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N89.

211.
Pre-testing methods for efficient dynamic testing of message-based concurrent programs by Mamdouh Muhammad-Seraj Najjar by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 N8921.

212.
Symbolic semantics of programming languages by Thomas Michael Rigles by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N892.

213.
Programming language support for geometric computations by Mark Gordon Segal by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N893.

214.
Message flow analysis for static deadlock detection and run-time verification in parallel programming by Sheausong Yang by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8922.

215.
Testing, debugging, and analysis of concurrent software by Richard H. Carver by
Material type: Text Text
Publication details: Ann Arbor UMI Dissertation Information Service 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N893.

216.
Architecture for combinator graph reduction by Philip Jophn Koopman by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.11 N891.

217.
Beta operation a parallel primitive by Evan Reid Cohn by
Material type: Text Text
Publication details: Ann Arbor UMI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8924.

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

219.
Advanced C primer ++ by Stephen Plata. by
Material type: Text Text
Publication details: Indianapolis Howard W.Sams & Co. 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8612.

220.
Formal development of programs and proofs ed. by Edsger Dijkstra by Series: the UT year of programming series ;
Material type: Text Text
Publication details: Reading Addison-Wesley 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N90;1.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832