Your search returned 10 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang.

by Graf, Susanne [editor.] | Zhang, Wenhui [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
BOOKS
A Tea Witch's Grimoire : Magickal Recipes for Your Tea Time

by Harlow, S. M.

;Language: English Language: English Publication details: Newburyport Weiser Books 2023Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:48 Shelf No:1 Call number: 641 HAR.

Place hold Log in to add tags
E-BOOKS
Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn.

by Jensen, Kurt [editor.] | Donatelli, Susanna [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6900Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Component Deployment [electronic resource] : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings / edited by Alan Dearle, Susan Eisenbach.

by Dearle, Alan [editor.] | Eisenbach, Susan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3798Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Intercultural Collaboration [electronic resource] : First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers / edited by Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen.

by Ishida, Toru [editor.] | Fussell, Susan R [editor.] | Vossen, Piek T. J. M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4568Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas.

by Albers, Susanne [editor.] | Marchetti-Spaccamela, Alberto [editor.] | Matias, Yossi [editor.] | Nikoletseas, Sotiris [editor.] | Thomas, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5555Source: 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
BOOKS
Glorious American Essay One Hundred Essays from Colonial Times to the Present

by Lopate, Phillip.

;Language: English Language: English Publication details: Nwe York Anchor Books 2021Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 58, Shelf No: 7 Call number: 81-4 LOP.

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology – CRYPTO 2004 [electronic resource] : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings / edited by Matt Franklin.

by Franklin, Matt [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Differential geometry and mathematical physics / [electronic resource] AMS-CMS Special Session on Geometric Methods in Mathematical Physics, August 15-19, 1993, Vancouver, British Columbia, Canada ; John K. Beem, Krishan L. Duggal, editors.

by AMS-CMS Special Session on Geometric Methods in Mathematical Physics (1993 : Vancouver, B.C.) | Beem, John K, 1942- | Duggal, Krishan L, 1929- | American Mathematical Society | Canadian Mathematical Society.

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