Your search returned 2676 results.

Sort
Results
421.
Automata, languages and programming. by
Material type: Text Text
Publication details: Berlin S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N908.

422.
Mathematics of program construction. by Series: Lecture notes in computer science ; 375
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N892.

423.
Algebraic and logic programming ed. by J. Grabowski, P. Lescarme and W. Wechler. by Series: Lecture notes in computer science ;
Material type: Text Text
Publication details: Berlin Springer verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8820.

424.
Logic programming '88 ed. by K. Furukawa, H. Tanaka, T. Fujisaki. by Series: Lecture notes in artificial intelligence No.383
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 006.3 N899.

425.
CAD based programming for sensory robots /ed. by Bahram Ravani. by Series: NATO ASI Series F Computer and system science v.50
Material type: Text Text
Publication details: Berlin Springer Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 629.892 N8812.

426.
Logic programming : proceedings of the 1990 North American Conference ed by Saumya Debray and Manuel Hermenegildo. by
Material type: Text Text
Publication details: Cambridge MIT Press 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.115 N90.

427.
Real-time systems. Proceedings by
Material type: Text Text
Publication details: Los Alamitos IEEE Comp. Soc. Pr. 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.33 N89.

428.
Real time systems. Proceedings by
Material type: Text Text
Publication details: Los Alamitos IEEE 1994
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.33 N94 "SER".

429.
Handbook and guide for comparing and selecting computer languages. by
Material type: Text Text
Publication details: New York REA 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N85 "R".

430.
Semantics Foundations and applications (Proceedings) ed by J.W. de Bakker, W.-P de Roever, G. Rozenberg by Series: Lectures in Computer Science ; 666
Material type: Text Text
Publication details: Berlin S-V 1993
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N932.

431.
Pascal programmer's guide by
Material type: Text Text
Publication details: Mountain View Silicon Graphics, Inc. 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8812 "R".

432.
Fortran 77 language reference manual by
Material type: Text Text
Publication details: Mountain View Silicon Graphics Inc. 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8811 "R".

433.
CYBER 910 user's reference manual - V.1 by
Material type: Text Text
Publication details: Mountain View Silicon Graphics, Inc. 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.125 N87.1 "R".

434.
CYBER 910 user's guide. by
Material type: Text Text
Publication details: Mountain View Silicon Graphics, Inc. 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.125 N87 "R".

435.
Release 3.2 manual for the sun workstation by
Material type: Text Text
Publication details: Mountain View Sun Microsystems 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.16 N8610 "R".

436.
Sun view system programmer's guide. by
Material type: Text Text
Publication details: Mountain View Sun Micro. 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.16 N8623 "R".

437.
Programming utilities for the sun workstation by
Material type: Text Text
Publication details: Mountain View Sun Microsystems 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.16 N8633 "R".

438.
Commands reference manual by
Material type: Text Text
Publication details: Mountain View Sun Microsystems 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.16 N8613 "R".

439.
Logic in computer science. LICS 1992. Proceedings by
Material type: Text Text
Publication details: Los Alamitos IEEE 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N921 "SER".

440.
Logic in computer science. LICS 1993 Proceedings by
Material type: Text Text
Publication details: Los Alamitos IEEE 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N931 "SER".

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832