|
|
|
Algorithmics : Spirit of Computing by Harel, David. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: England ; Addison-Wesley ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.5 HAR.
|
|
|
|
Dynamic logic by Harel, David | Kozen, Dexter | Touryn, Jerzy. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.
|
|
|
|
Algorithmics spirit of computing by Harel, David | Feldman, Yishai A. Edition: 3rd ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Harlow, New York : ; Addison Wesley ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.
|
|
|
|
Computers ltd What they really can not do by Harel, David. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Oxford university press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 2 Call number: 681.3 HAR.
|
|
|
|
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Nierstrasz, Oscar [editor.] | Whittle, Jon [editor.] | Harel, David [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4199Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Dynamic Logic by Harel, David Kozen, Dexter Tiuryn, Jerzy. Edition: Eastern Economy EditionMaterial type: Text Publication details: New Delhi Prentice Hall of India 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.
|