Your search returned 28 results.

Not what you expected? Check for suggestions
E-BOOKS
Security Protocols [electronic resource] : 10th International Workshop, Cambridge, UK, April 17-19, 2002. Revised Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.

by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2845Source: 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
Mathematical Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt.

by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 802Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Security Protocols [electronic resource] : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.

by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4631Source: 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
Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff.

by Baldoni, Matteo [editor.] | Son, Tran Cao [editor.] | Riemsdijk, M. Birna [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5397Source: 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
Agents and Multi-Agent Systems for Health Care [electronic resource] : 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers / edited by Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Ignaz Schumacher.

by Montagna, Sara [editor.] | Abreu, Pedro Henriques [editor.] | Giroux, Sylvain [editor.] | Schumacher, Michael Ignaz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10685 | Lecture Notes in Computer Science ; 10685Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online 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
Computer Vision in Human-Computer Interaction [electronic resource] : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings / edited by Thomas S. Huang, Nicu Sebe, Michael S. Lew, Vladimir Pavlović, Mathias Kölsch, Aphrodite Galata, Branislav Kisačanin.

by Huang, Thomas S [editor.] | Sebe, Nicu [editor.] | Lew, Michael S [editor.] | Pavlović, Vladimir [editor.] | Kölsch, Mathias [editor.] | Galata, Aphrodite [editor.] | Kisačanin, Branislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3979Source: 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
Multiple Classifier Systems [electronic resource] : 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings / edited by Michal Haindl, Josef Kittler, Fabio Roli.

by Haindl, Michal [editor.] | Kittler, Josef [editor.] | Roli, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4472Source: 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
Visualization in Programming [electronic resource] : 5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20–23, 1986 / edited by Peter Gorny, Michael J. Tauber.

by Gorny, Peter [editor.] | Tauber, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 282Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Protecting Persons While Protecting the People [electronic resource] : Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008. Revised Selected Papers / edited by Cecilia S. Gal, Paul B. Kantor, Michael E. Lesk.

by Gal, Cecilia S [editor.] | Kantor, Paul B [editor.] | Lesk, Michael E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5661Source: 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
Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / edited by Michael Kohlhase.

by Kohlhase, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3863Source: 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
Security Protocols [electronic resource] : 8th International Workshop Cambridge, UK, April 3–5, 2000 Revised Papers / edited by Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe.

by Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Crispo, Bruno [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2133Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Tel Aviv Topology Conference, Rothenberg festschrift : [electronic resource] International Conference on Topology, June 1-5, 1998, Tel Aviv / Michael Farber, Wolfgang L�uck, Shmuel Weinberger, editors.

by International Conference on Topology (1998 : Tel Aviv, Israel) | Rothenberg, Melvin, 1934- | Farber, Michael, 1951- | L�uck, Wolfgang, 1957- | Weinberger, Shmuel.

Series: Contemporary mathematics (American Mathematical Society) ; v. 231.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1999Other title: Tel Aviv Topology Conference.Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Knowledge Management in Electronic Government [electronic resource] : 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004. Proceedings / edited by Maria A. Wimmer.

by Wimmer, Maria A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3035Source: 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
Security Protocols [electronic resource] : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.

by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1796Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings / edited by Laurent Perron, Michael A. Trick.

by Perron, Laurent [editor.] | Trick, Michael A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5015Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
The Semantic Web: Research and Applications [electronic resource] : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings / edited by Enrico Franconi, Michael Kifer, Wolfgang May.

by Franconi, Enrico [editor.] | Kifer, Michael [editor.] | May, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4519Source: 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
Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings / edited by Stefan Kramer, Bernhard Pfahringer.

by Kramer, Stefan [editor.] | Pfahringer, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3625Source: 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
Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini.

by Wooldridge, Michael J [editor.] | Weiß, Gerhard [editor.] | Ciancarini, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2222Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Agent-Oriented Information Systems [electronic resource] : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003, Revised Selected Papers / edited by Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff.

by Giorgini, Paolo [editor.] | Henderson-Sellers, Brian [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3030Source: 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
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.

by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service).

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