Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Fourth IEEE international conference on software engineering and formal methods(SEFM 2006); proceedings, 11-15 September 2006 Pune, India

by Hung, Dang Van | Pandya, Paritosh eds.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Los Alamitos ; IEEE ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 IEEE.

E-BOOKS
Theoretical Aspects of Computing – ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / edited by Dang Van Hung, Deepak Kapur.

by Hung, Dang Van [editor.] | Kapur, Deepak [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10580 | Lecture Notes in Computer Science ; 10580Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha