Your search returned 390 results.

Not what you expected? Check for suggestions
E-BOOKS
Algorithms and Data Structures [electronic resource] : 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh.

by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Zeh, Norbert [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Processing in Medical Imaging [electronic resource] : 21st International Conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedings / edited by Jerry L. Prince, Dzung L. Pham, Kyle J. Myers.

by Prince, Jerry L [editor.] | Pham, Dzung L [editor.] | Myers, Kyle J [editor.] | SpringerLink (Online service).

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

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): .

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.

by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9035 | Lecture Notes in Computer Science ; 9035Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging [electronic resource] : Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Bjoern H. Menze, Georg Langs, Le Lu, Albert Montillo, Zhuowen Tu, Antonio Criminisi.

by Menze, Bjoern H [editor.] | Langs, Georg [editor.] | Lu, Le [editor.] | Montillo, Albert [editor.] | Tu, Zhuowen [editor.] | Criminisi, Antonio [editor.] | SpringerLink (Online service).

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

E-BOOKS
Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings / edited by Oleg B. Lupanov, Oktay M. Kasim-Zade, Alexander V. Chaskin, Kathleen Steinhöfel.

by Lupanov, Oleg B [editor.] | Kasim-Zade, Oktay M [editor.] | Chaskin, Alexander V [editor.] | Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Implementation and Application of Automata [electronic resource] : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers / edited by Bruce W. Watson, Derick Wood.

by Watson, Bruce W [editor.] | Wood, Derick [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computers and Games [electronic resource] : Second International Conference, CG 2000 Hamamatsu, Japan, October 26–28, 2000 Revised Papers / edited by Tony Marsland, Ian Frank.

by Marsland, Tony [editor.] | Frank, Ian [editor.] | SpringerLink (Online service).

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

E-BOOKS
Constructivity in Computer Science [electronic resource] : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding / edited by J. Paul Myers, Michael J. O'Donnell.

by Myers, J. Paul [editor.] | O'Donnell, Michael J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers / edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen.

by Brinksma, E [editor.] | Cleaveland, W. R [editor.] | Larsen, K. G [editor.] | Margaria, T [editor.] | Steffen, B [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logical Aspects of Computational Linguistics [electronic resource] : First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers / edited by Christian Retoré.

by Retoré, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1328Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Practice and Theory of Automated Timetabling [electronic resource] : First International Conference Edinburgh, U.K., August 29–September 1, 1995 Selected Papers / edited by Edmund Burke, Peter Ross.

by Burke, Edmund [editor.] | Ross, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Proceedings of the Second International Conference on the Theory of Groups [electronic resource] : Australian National University, August 13–24, 1973 / edited by M. F. Newman.

by Newman, M. F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 372Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1974Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

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): .

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski.

by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Security and Privacy [electronic resource] : 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004. Proceedings / edited by Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan.

by Wang, Huaxiong [editor.] | Pieprzyk, Josef [editor.] | Varadharajan, Vijay [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings / edited by Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella.

by Díaz, Josep [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Sannella, Donald [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms – ESA 2005 [electronic resource] : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings / edited by Gerth Stølting Brodal, Stefano Leonardi.

by Brodal, Gerth Stølting [editor.] | Leonardi, Stefano [editor.] | SpringerLink (Online service).

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

E-BOOKS
LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings / edited by José R. Correa, Alejandro Hevia, Marcos Kiwi.

by Correa, José R [editor.] | Hevia, Alejandro [editor.] | Kiwi, Marcos [editor.] | SpringerLink (Online service).

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

E-BOOKS
Applied Cryptography and Network Security [electronic resource] : 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings / edited by Jianying Zhou, Moti Yung, Feng Bao.

by Zhou, Jianying [editor.] | Yung, Moti [editor.] | Bao, Feng [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha