Your search returned 112 results.

Sort
Results
21.
Programming linguistics by David Gelernter and Suresh Jaganathan. 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.13 N9010.

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

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

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

25.
Alternative languages for the spectrum by Richard Hurley, David Virgo by Series: Duckworth Home Computing
Material type: Text Text
Publication details: London Duckworth 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.262 N861.

26.
Truth, deduction and computation: logic and semantics for computer science by Series: Principles of Computer Science Series
Material type: Text Text
Publication details: New York W.H. Freeman 1989
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.13 N894.

27.
Structure of typed programming languages /David A. Schmidt by Series: Foundations of Computing
Material type: Text Text
Publication details: Cambridge MIT 1994
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N94.

28.
Mathematical models for the semantics of parallelism. by Series: Lecture notes in computer science ; no.280
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: 510.02854404 N87.

29.
Functional programming languages and computer architecture. ed by Gilles Kahn by Series: Lecture notes in computer science ;
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: 005.13 N871.

30.
Constructing quality software - Proceedings ed. by P.G. Hibbard, S.A. Schuman. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N78.

31.
International conference on computer languages. ICCL 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.13 N921 "SER".

32.
International conference on computer languages. ICCL 1994 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: 005.13 N94 "SER".

33.
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".

34.
Computer languages. Series: Understanding computers
Material type: Text Text
Publication details: Alexandria Time-Life 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8642.

35.
World of programming languages by Michael Marcotty, Henry F. Ledgard. by Series: Springer Books on Professional Computing
Material type: Text Text
Publication details: New York Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8717.

36.
Object-oriented languages, systems and applications ed. by Gordon Blair, Gallagher, David Hutchison.. by
Material type: Text Text
Publication details: London Pitman 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.11 N91.

37.
Logic of Domains by Guo-Qiang Zhang by Series: Progress in theoretical computer science
Material type: Text Text
Publication details: Boston Birkhauser 1991
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.13 N912.

38.
39.
Introduction to the general theory of algorithms by Michael Machtey, Paul Young by Series: Theory of Computation Series, Computer Science Library
Material type: Text Text
Publication details: New York North-Holland 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.8 N782.

40.
ParadoxTM Release 1.0 to 1.1 update guide, Vol.1 and 2 by ANSA software by
Material type: Text Text
Publication details: Belmont ANSA software 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N96.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832