Your search returned 6 results.

Results
	1.	Algorithmics : the spirit of computing. by David Harel. by Harel, David Material type: Text Publication details: Workingham Addison-Wesley 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 518.1 N87. Place hold
	2.	No cover image available Algorithmics spirit of computing by David Harel. by Harel, David Material type: Text Publication details: Reading (Mass) Addison-Wesley 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6 N87. Place hold
	3.	First-order dynamic logic by David Harel, by Harel, David Series: Lecture Notes in Computer Science V.68 Material type: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N795.
	4.	No cover image available Algorithmik by David Harel and Yishai Feldman by Harel, David Feldman, Yishai Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 . Place hold
	5.	Computers Ltd. What they really can't do by David Harel by Harel, David Material type: Text Publication details: Oxford OUP 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 P002. Place hold
	6.	Algorithms the spirit of computing second edition David Harel by David Harel Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Addison wesley 2000 Availability: Items available for loan: Computer Science and Automation (1). Place hold

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