Your search returned 2 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin.

by Hu, Alan J [editor.] | Martin, Andrew K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3312Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Trusted Computing [electronic resource] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. / edited by Liqun Chen, Chris J. Mitchell, Andrew Martin.

by Chen, Liqun [editor.] | Mitchell, Chris J [editor.] | Martin, Andrew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5471Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha