Your search returned 7 results.

Results
	1.	Theory and practice of software development '91 - proceedings ed. by S. Abramsky and T.S.E. Maibaum. by International Joint Conference held in Brighton, UK, April 8-12, 1991 Abramsky, S. ed Maibaum, T.S.E. ed Series: Lecture notes in Computer Science ; 493 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N912.1.
	2.	TAPSOFT'91 : proceedings Vol1. ed by S. Abramsky and I.S.E. Maibacum by Abramsky, S., ed Maibacum, T.S.E., ed Series: Lecture notres in Computer Science ; Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9116.
	3.	No cover image available Handbook of logic in computer science v4 by Abramsky Material type: Text Publication details: Oxford Oxford University Press 1996 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N95.4 (CSA).
	4.	No cover image available Handbook of logic in computer science Vol.3-4 ed by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum by Abramsky, S. ed Gabby, Dov M. ed Maibaum, T. S. E Material type: Text Publication details: Oxford Oxford Science Pub. 1994 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N95.3-4 (CSA).
	5.	TAPSOFT'91 - Proceedings ed. by S. Abramsky, T.S.E. Maibaum by Intl. Joint Conference, Brighton, UK, April 8-12, 1991 Abramsky, S., ed Maibaum, T.S.E., ed Series: Lecture Notes in Computer Science ; 494 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N912.2.
	6.	Typed lambda calculi and applications Proceedings ed by Samson Abramsky by International conference on typed lambda calculi and applications(5 Krakow 2001) Abramsky, Samson Series: Lecture notes in computer science ; Vol.2044 Material type: Text Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P012. Place hold
	7.	TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 ed by S. Abramsky, T. S. E. Maibaum. by Abramsky, S., ed Maibaum, T. S. E., ed Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9117. Place hold

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