IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logics and Meanings of Programs and su-to:Operating systems Computers '

Your search returned 7 results.

Not what you expected? Check for suggestions

			Foundations of Security Analysis and Design II [electronic resource] : FOSAD 2001/2002 Tutorial Lectures / edited by Riccardo Focardi, Roberto Gorrieri. by Focardi, Riccardo [editor.] \| Gorrieri, Roberto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2946Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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): . Place hold Log in to add tags
			Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. by Aldini, Alessandro [editor.] \| Gorrieri, Roberto [editor.] \| Martinelli, Fabio [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3655Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Software Security — Theories and Systems [electronic resource] : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers / edited by Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa. by Okada, Mitsuhiro [editor.] \| Pierce, Benjamin C [editor.] \| Scedrov, Andre [editor.] \| Tokuda, Hideyuki [editor.] \| Yonezawa, Akinori [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2609Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computer Security - ESORICS 2000 [electronic resource] : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000. Proceedings / edited by Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner. by Cuppens, Frédéric [editor.] \| Deswarte, Yves [editor.] \| Gollmann, Dieter [editor.] \| Waidner, Michael [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1895Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Smart Card Programming and Security [electronic resource] : International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings / edited by Isabelle Attali, Thomas Jensen. by Attali, Isabelle [editor.] \| Jensen, Thomas [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2140Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures / edited by Riccardo Focardi, Roberto Gorrieri. by Focardi, Riccardo [editor.] \| Gorrieri, Roberto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2171Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. by Aldini, Alessandro [editor.] \| Gorrieri, Roberto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4677Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha