Your search returned 129 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / edited by Marcel Vinícius Medeiros Oliveira, Jim Woodcock.

by Oliveira, Marcel Vinícius Medeiros [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5902Source: 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
Semantic Multimedia [electronic resource] : 4th International Conference on Semantic and Digital Media Technologies, SAMT 2009 Graz, Austria, December 2-4, 2009 Proceedings / edited by Tat-Seng Chua, Yiannis Kompatsiaris, Bernard Mérialdo, Werner Haas, Georg Thallinger, Werner Bailer.

by Chua, Tat-Seng [editor.] | Kompatsiaris, Yiannis [editor.] | Mérialdo, Bernard [editor.] | Haas, Werner [editor.] | Thallinger, Georg [editor.] | Bailer, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5887Source: 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
Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. / edited by Robert Winter, J. Leon Zhao, Stephan Aier.

by Winter, Robert [editor.] | Zhao, J. Leon [editor.] | Aier, Stephan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6105Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Geographic Information Science [electronic resource] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder.

by Fabrikant, Sara Irina [editor.] | Reichenbacher, Tumasch [editor.] | Kreveld, Marc [editor.] | Schlieder, Christoph [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6292Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Radio Frequency Identification. Security and Privacy Issues [electronic resource] : 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers / edited by Jaap-Henk Hoepman, Ingrid Verbauwhede.

by Hoepman, Jaap-Henk [editor.] | Verbauwhede, Ingrid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7739Source: 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
Cross disciplinary advances in quantum computing : [electronic resource] NSF sponsored research Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory, October 1-4, 2009, University of Texas at Tyler, Tyler, Texas / Kazem Mahdavi, Deborah Koslover, Leonard L. Brown, III, editors.

by Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory (2009 : University of Texas at Tyler) | Mahdavi, Kazem | Koslover, Deborah | Brown, Leonard L, 1972-.

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

Place hold Log in to add tags
E-BOOKS
Mining Intelligence and Knowledge Exploration [electronic resource] : First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings / edited by Rajendra Prasath, T. Kathirvalavakumar.

by Prasath, Rajendra [editor.] | Kathirvalavakumar, T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8284Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings / edited by Hai Jin, Daniel Reed, Wenbin Jiang.

by Jin, Hai [editor.] | Reed, Daniel [editor.] | Jiang, Wenbin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3779Source: 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
RoboCup 2005: Robot Soccer World Cup IX [electronic resource] / edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi.

by Bredenfeld, Ansgar [editor.] | Jacoff, Adam [editor.] | Noda, Itsuki [editor.] | Takahashi, Yasutake [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4020Source: 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
Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : International Conference, AH 2000 Trento, Italy, August 28–30, 2000 Proceedings / edited by Peter Brusilovsky, Oliviero Stock, Carlo Strapparava.

by Brusilovsky, Peter [editor.] | Stock, Oliviero [editor.] | Strapparava, Carlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1892Source: 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
Parallel Computing Technologies [electronic resource] : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings / edited by Victor E. Malyshkin.

by Malyshkin, Victor E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2763Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Cryptographic Hardware and Embedded Systems - CHES 2006 [electronic resource] : 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings / edited by Louis Goubin, Mitsuru Matsui.

by Goubin, Louis [editor.] | Matsui, Mitsuru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4249Source: 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
Text, Speech and Dialogue [electronic resource] : Second International Workshop, TSD’99 Plzen, Czech Republic, September 13–17, 1999 Proceedings / edited by Václav Matousek, Pavel Mautner, Jana Ocelíková, Petr Sojka.

by Matousek, Václav [editor.] | Mautner, Pavel [editor.] | Ocelíková, Jana [editor.] | Sojka, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1692Source: 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
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
Informatics Education - Supporting Computational Thinking [electronic resource] : Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings / edited by Roland T. Mittermeir, Maciej M. Sysło.

by Mittermeir, Roland T [editor.] | Sysło, Maciej M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5090Source: 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
Foundations of Augmented Cognition [electronic resource] : Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Dylan D. Schmorrow, Leah M. Reeves.

by Schmorrow, Dylan D [editor.] | Reeves, Leah M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4565Source: 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
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings / edited by Keqiu Li, Chris Jesshope, Hai Jin, Jean-Luc Gaudiot.

by Li, Keqiu [editor.] | Jesshope, Chris [editor.] | Jin, Hai [editor.] | Gaudiot, Jean-Luc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4672Source: 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
High Performance Computing – HiPC 2007 [electronic resource] : 14th International Conference, Goa, India, December 18-21, 2007. Proceedings / edited by Srinivas Aluru, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna.

by Aluru, Srinivas [editor.] | Parashar, Manish [editor.] | Badrinath, Ramamurthy [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4873Source: 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
KI 2008: Advances in Artificial Intelligence [electronic resource] : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Andreas R. Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius, Thomas R. Roth-Berghofer.

by Dengel, Andreas R [editor.] | Berns, Karsten [editor.] | Breuel, Thomas M [editor.] | Bomarius, Frank [editor.] | Roth-Berghofer, Thomas R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5243Source: 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
User Modeling, Adaptation, and Personalization [electronic resource] : 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings / edited by Geert-Jan Houben, Gord McCalla, Fabio Pianesi, Massimo Zancanaro.

by Houben, Geert-Jan [editor.] | McCalla, Gord [editor.] | Pianesi, Fabio [editor.] | Zancanaro, Massimo [editor.] | SpringerLink (Online service).

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

Powered by Koha