Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Software security: theories and systems

by Futatsugi, Kokichi | Mizoguchi, Fumio | Yonezaki, Naoki Eds.

Series: Lecture notes in computer science ; 03233Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.

BOOKS
Algebra, meaning and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, Jose Eds.

Series: Lecture notes in computer science ; 04060Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

E-BOOKS
Algebra, Meaning, and Computation [electronic resource] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.

by Futatsugi, Kokichi [editor.] | Jouannaud, Jean-Pierre [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

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

E-BOOKS
Software Security - Theories and Systems [electronic resource] : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers / edited by Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki.

by Futatsugi, Kokichi [editor.] | Mizoguchi, Fumio [editor.] | Yonezaki, Naoki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3233Source: 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
Object Technologies for Advanced Software [electronic resource] : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings / edited by Kokichi Futatsugi, Satoshi Matsuoka.

by Futatsugi, Kokichi [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1049Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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