|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Alexander the Great His Life and His Mysterious Death by Everitt, Anthony. Edition: First edition.Material type: Text;Language: English; Format:
print
; Nature of contents: ; Literary form:
Not fiction
Language: English Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 60 Shelf No: 13 Call number: 94(38) EVE.
|
|
|
|
|
|
|
|
|