Your search returned 2 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada.

by Cortier, Véronique [editor.] | Kirchner, Claude [editor.] | Okada, Mitsuhiro [editor.] | Sakurada, Hideki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5458Source: 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): .

Place hold Log in to add tags
E-BOOKS
Logic and combinatorics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University) | Simpson, Stephen G. (Stephen George), 1945- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

Series: Contemporary mathematics (American Mathematical Society) ; v. 65.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Contents | Contents 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