Your search returned 8 results.

Results
	1.	Algebraic approaches to program semantics by Ernest G. Manes and Michael A. Arbib. by Manes, Ernest G Arbib, Michael A Series: AKM series in theoretical computer science Material type: Text Publication details: New York S-V 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N86.
	2.	Algebraic theory of processes by Mathew Hennessy by Hennessy, Mathew Series: MIT Press series in the foundations of computing ; Material type: Text Publication details: Cambridge MIT 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N881.
	3.	Formal specification of programming languages: Panoramic premier by Frank G Pagan by Pagan, Frank G Material type: Text Publication details: New Jersey Prentice hall 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8120.
	4.	No cover image available Partial orders and fully abstract models for concurrency. by Engberg, Uffe Series: Aarhus Univ., Computer Science Dept. DAIMI PB-307 Material type: Text Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N901.
	5.	Semantics Foundations and applications (Proceedings) ed by J.W. de Bakker, W.-P de Roever, G. Rozenberg by REX workshop (Netherlands 1992) de Bakker, J W., ed Series: Lectures in Computer Science ; 666 Material type: 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.
	6.	Mathematical foundations of programming language semantics ed. by M. Main etal. by Main, M Melton, A Mislore, M Workshop on Mathematical Foundations of Programming Language Semantics ( New Orleans : 1987 ) Series: Lecture notes in computer science ; 298 Material type: Text Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.02854 N88.
	7.	Natural language understanding by Allen, James, Edition: 2nd ed Material type: Text Publication details: New Delhi Pearson 1995 Availability: Items available for loan: Supercomputer Education and Research Centre (1)Call number: 006.35 N952 (SERC). Place hold
	8.	Natural language understanding by James Allen by Allen, James Edition: 2nd ed Material type: Text Publication details: Noida Pearson 1995 Availability: Items available for loan: Computer Science and Automation (1)Call number: 006.35 N952;1 (CSA). Place hold

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832