Your search returned 1556 results.

Not what you expected? Check for suggestions
E-BOOKS
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan.

by Bartocci, Ezio [editor.] | Ramakrishnan, C. R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7976Source: 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
Surveys in Combinatorics 2005 / Edited by Bridget S. Webb.

by Webb, Bridget S [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 327Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 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
Programming Languages [electronic resource] : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings / edited by Alberto Pardo, S. Doaitse Swierstra.

by Pardo, Alberto [editor.] | Swierstra, S. Doaitse [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9325 | Lecture Notes in Computer Science ; 9325Edition: 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
BOOKS
The Fokker-Planck equation methods of solution and applications

by Risken, H.

Edition: 2nd edMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 1996Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
E-BOOKS
Medical Imaging and Augmented Reality [electronic resource] : Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004. Proceedings / edited by Guang-Zhong Yang, Tian-Zi Jiang.

by Yang, Guang-Zhong [editor.] | Jiang, Tian-Zi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3150Source: 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
Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / edited by Wei-ming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès, Anne James.

by Shen, Wei-ming [editor.] | Chao, Kuo-Ming [editor.] | Lin, Zongkai [editor.] | Barthès, Jean-Paul A [editor.] | James, Anne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3865Source: 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
Mobile Data Management [electronic resource] : Second International Conference, MDM 2001 Hong Kong, China, January 8–10, 2001 Proceedings / edited by Kian-Lee Tan, Michael J. Franklin, John Chi-Shing Lui.

by Tan, Kian-Lee [editor.] | Franklin, Michael J [editor.] | Lui, John Chi-Shing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1987Source: 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
ESEC '87 [electronic resource] : 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings / edited by Howard Nichols, Dan Simpson.

by Nichols, Howard [editor.] | Simpson, Dan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 289Source: 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
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
Computers for Handicapped Persons [electronic resource] : 4th International Conference, ICCHP '94 Vienna, Austria, September 14–16, 1994 Proceedings / edited by Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner.

by Zagler, Wolfgang L [editor.] | Busby, Geoffrey [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 860Source: 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
Cooperative Design, Visualization, and Engineering [electronic resource] : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings / edited by Yuhua Luo.

by Luo, Yuhua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4674Source: 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
Software Architecture [electronic resource] : First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings / edited by Flavio Oquendo.

by Oquendo, Flavio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4758Source: 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
HCI and Usability for Medicine and Health Care [electronic resource] : Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings / edited by Andreas Holzinger.

by Holzinger, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4799Source: 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
Intelligent Data Engineering and Automated Learning – IDEAL 2008 [electronic resource] : 9th International Conference Daejeon, South Korea, November 2-5, 2008 Proceedings / edited by Colin Fyfe, Dongsup Kim, Soo-Young Lee, Hujun Yin.

by Fyfe, Colin [editor.] | Kim, Dongsup [editor.] | Lee, Soo-Young [editor.] | Yin, Hujun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5326Source: 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
Distributed Computing [electronic resource] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings / edited by Idit Keidar.

by Keidar, Idit [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5805Source: 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
Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson.

by France, Robert B [editor.] | Kazmeier, Jürgen [editor.] | Breu, Ruth [editor.] | Atkinson, Colin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7590Source: 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
Machine Learning and Interpretation in Neuroimaging [electronic resource] : International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions / edited by Georg Langs, Irina Rish, Moritz Grosse-Wentrup, Brian Murphy.

by Langs, Georg [editor.] | Rish, Irina [editor.] | Grosse-Wentrup, Moritz [editor.] | Murphy, Brian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7263Source: 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
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi.

by Brocke, Jan [editor.] | Hekkala, Riitta [editor.] | Ram, Sudha [editor.] | Rossi, Matti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7939Source: 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
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng.

by Guo, Chengan [editor.] | Hou, Zeng-Guang [editor.] | Zeng, Zhigang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7952Source: 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
Bioinformatics and Biomedical Engineering [electronic resource] : Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I / edited by Francisco Ortuño, Ignacio Rojas.

by Ortuño, Francisco [editor.] | Rojas, Ignacio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 9043 | Lecture Notes in Computer Science ; 9043Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha