Your search returned 417 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan.

by Raskin, Jean-François [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4763Source: 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
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data [electronic resource] : Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings / edited by Stanley Durrleman, Tom Fletcher, Guido Gerig, Marc Niethammer.

by Durrleman, Stanley [editor.] | Fletcher, Tom [editor.] | Gerig, Guido [editor.] | Niethammer, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7570Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Medical Data Analysis [electronic resource] : First International Symposium, ISMDA 2000 Frankfurt, Germany, September 29–30, 2000 Proceedings / edited by Rüdiger W. Brause, Ernst Hanisch.

by Brause, Rüdiger W [editor.] | Hanisch, Ernst [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1933Source: 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
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
E-BOOKS
Nonlinear Physics of Complex Systems [electronic resource] : Current Status and Future Trends / edited by Jürgen Parisi, Stefan C. Müller, Walter Zimmermann.

by Parisi, Jürgen [editor.] | Müller, Stefan C [editor.] | Zimmermann, Walter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 476Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Algorithms in Bioinformatics [electronic resource] : 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings / edited by Rita Casadio, Gene Myers.

by Casadio, Rita [editor.] | Myers, Gene [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3692Source: 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
Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen.

by Grabowski, Jens [editor.] | Nielsen, Brian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3395Source: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager.

by Ouaknine, Joël [editor.] | Vaandrager, Frits W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5813Source: 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
Medical Data Analysis [electronic resource] : Third International Symposium, ISMDA 2002 Rome, Italy, October 10–11, 2002 Proceedings / edited by Alfredo Colosimo, Paolo Sirabella, Alessandro Giuliani.

by Colosimo, Alfredo [editor.] | Sirabella, Paolo [editor.] | Giuliani, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2526Source: 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
Advances in Intelligent Data Analysis V [electronic resource] : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003. Proceedings / edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt.

by R. Berthold, Michael [editor.] | Lenz, Hans-Joachim [editor.] | Bradley, Elizabeth [editor.] | Kruse, Rudolf [editor.] | Borgelt, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2810Source: 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
Information Processing in Medical Imaging [electronic resource] : 16th International Conference, IPMI’99 Visegrád, Hungary, June 28 – July 2, 1999 Proceedings / edited by Attila Kuba, Martin Šáamal, Andrew Todd-Pokropek.

by Kuba, Attila [editor.] | Šáamal, Martin [editor.] | Todd-Pokropek, Andrew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1613Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Engineering Applications of Bio-Inspired Artificial Neural Networks [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN'99 Alicante, Spain, June 2–4, 1999 Proceedings, Volume II / edited by José Mira, Juan V. Sánchez-Andrés.

by Mira, José [editor.] | Sánchez-Andrés, Juan V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1607Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Pattern Recognition [electronic resource] : Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings / edited by Axel Pinz, Thomas Pock, Horst Bischof, Franz Leberl.

by Pinz, Axel [editor.] | Pock, Thomas [editor.] | Bischof, Horst [editor.] | Leberl, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7476Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Information Processing in Medical Imaging [electronic resource] : 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings / edited by Sebastien Ourselin, Daniel C. Alexander, Carl-Fredrik Westin, M. Jorge Cardoso.

by Ourselin, Sebastien [editor.] | Alexander, Daniel C [editor.] | Westin, Carl-Fredrik [editor.] | Cardoso, M. Jorge [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9123 | Lecture Notes in Computer Science ; 9123Edition: 1st ed. 2015.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, 2015Online 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
Modelling Critical and Catastrophic Phenomena in Geoscience [electronic resource] : A Statistical Physics Approach / edited by Pratip Bhattacharyya, Bikas K. Chakrabarti.

by Bhattacharyya, Pratip [editor.] | Chakrabarti, Bikas K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 705Source: 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
Model Checking Software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings / edited by Susanne Graf, Laurent Mounier.

by Graf, Susanne [editor.] | Mounier, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2989Source: 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
Pattern Recognition with Support Vector Machines [electronic resource] : First International Workshop, SVM 2002 Niagara Falls, Canada, August 10, 2002 Proceedings / edited by Seong-Whan Lee, Alessandro Verri.

by Lee, Seong-Whan [editor.] | Verri, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2388Source: 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
Computational Life Sciences II [electronic resource] : Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings / edited by Michael R. Berthold, Robert C. Glen, Ingrid Fischer.

by R. Berthold, Michael [editor.] | Glen, Robert C [editor.] | Fischer, Ingrid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4216Source: 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
Digital Mammography [electronic resource] : 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings / edited by Elizabeth A. Krupinski.

by Krupinski, Elizabeth A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5116Source: 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
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III / edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy.

by Liu, Derong [editor.] | Xie, Shengli [editor.] | Li, Yuanqing [editor.] | Zhao, Dongbin [editor.] | El-Alfy, El-Sayed M [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10636 | Lecture Notes in Computer Science ; 10636Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha