Your search returned 161 results.

Not what you expected? Check for suggestions
E-BOOKS
Séminaire de Probabilités XIV 1978/79 [electronic resource] / edited by Jacques Azéma, Marc Yor.

by Azéma, Jacques [editor.] | Yor, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 784Source: Springer eBooksMaterial type: Text Text;Language: ; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Financial Cryptography [electronic resource] : 5th International Conference, FC 2001 Grand Cayman, British West Indies, February 19–22, 2001 Proceedings / edited by Paul Syverson.

by Syverson, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2339Source: 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
Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings / edited by Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch.

by Lipp, Peter [editor.] | Sadeghi, Ahmad-Reza [editor.] | Koch, Klaus-Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4968Source: 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
Advances in Bioinformatics and Computational Biology [electronic resource] : Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings / edited by Ana L. C. Bazzan, Mark Craven, Natália F. Martins.

by Bazzan, Ana L. C [editor.] | Craven, Mark [editor.] | Martins, Natália F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5167Source: 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
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo.

by Núñez, Manuel [editor.] | Baker, Paul [editor.] | Merayo, Mercedes G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5826Source: 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
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
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.

by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7998Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Séminaire de Probabilités XXIII [electronic resource] / edited by Jacques Azéma, Marc Yor, Paul André Meyer.

by Azéma, Jacques [editor.] | Yor, Marc [editor.] | Meyer, Paul André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1372Source: Springer eBooksMaterial type: Text Text;Language: ; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
LATIN 2004: Theoretical Informatics [electronic resource] : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004. Proceedings / edited by Martín Farach-Colton.

by Farach-Colton, Martín [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2976Source: 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
Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : Third International Conference, AH 2004, Eindhoven, The Netherlands, August 23-26, 2004. Proceedings / edited by Paul M. E. Bra, Wolfgang Nejdl.

by Bra, Paul M. E [editor.] | Nejdl, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3137Source: 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
User Modeling 2005 [electronic resource] : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005. Proceedings / edited by Liliana Ardissono, Paul Brna, Antonija Mitrovic.

by Ardissono, Liliana [editor.] | Brna, Paul [editor.] | Mitrovic, Antonija [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3538Source: 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
Computer Security – ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings / edited by Sabrina de Capitani Vimercati, Paul Syverson, Dieter Gollmann.

by Vimercati, Sabrina de Capitani [editor.] | Syverson, Paul [editor.] | Gollmann, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3679Source: 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
Electronic Commerce and Web Technologies [electronic resource] : First International Conference, EC-Web 2000 London, UK, September 4–6, 2000 Proceedings / edited by Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul.

by Bauknecht, Kurt [editor.] | Madria, Sanjay Kumar [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1875Source: 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
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003. Proceedings / edited by Vladimír Mařík, Duncan McFarlane, Paul Valckenaers.

by Mařík, Vladimír [editor.] | McFarlane, Duncan [editor.] | Valckenaers, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2744Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
LATIN '92 [electronic resource] : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings / edited by Imre Simon.

by Simon, Imre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 583Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Principles of Practice in Multi-Agent Systems [electronic resource] : 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings / edited by Jung-Jin Yang, Makoto Yokoo, Takayuki Ito, Zhi Jin, Paul Scerri.

by Yang, Jung-Jin [editor.] | Yokoo, Makoto [editor.] | Ito, Takayuki [editor.] | Jin, Zhi [editor.] | Scerri, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5925Source: 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
Entertainment Computing – ICEC 2013 [electronic resource] : 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings / edited by Junia C. Anacleto, Esteban W. G. Clua, Flavio S. Correa Silva, Sidney Fels, Hyun S. Yang.

by Anacleto, Junia C [editor.] | Clua, Esteban W. G [editor.] | Silva, Flavio S. Correa [editor.] | Fels, Sidney [editor.] | Yang, Hyun S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8215Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Methods and applications of mathematical logic : [electronic resource] proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

by Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) | Carnielli, Walter A. (Walter Alexandre) | Alcantara, Luiz Paulo de, 1944- | Sociedade Brasileira de L�ogica | Sociedade Brasileira de Matem�atica | Association for Symbolic Logic.

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

Place hold Log in to add tags
E-BOOKS
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings / edited by Jacques Blanc-Talon, Cosimo Distante, Wilfried Philips, Dan Popescu, Paul Scheunders.

by Blanc-Talon, Jacques [editor.] | Distante, Cosimo [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10016 | Lecture Notes in Computer Science ; 10016Edition: 1st ed. 2016.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, 2016Online 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