Your search returned 3388 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler.

by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5643Source: 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
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings / edited by Martin Giese, Arild Waaler.

by Giese, Martin [editor.] | Waaler, Arild [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5607Source: 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
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Don Harris.

by Harris, Don [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5639Source: 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
Virtual and Mixed Reality [electronic resource] : Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Randall Shumaker.

by Shumaker, Randall [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5622Source: 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
Human Centered Design [electronic resource] : First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 Proceedings / edited by Masaaki Kurosu.

by Kurosu, Masaaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5619Source: 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
Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings / edited by Patricia M. Hill, David S. Warren.

by Hill, Patricia M [editor.] | Warren, David S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5649Source: 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
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / edited by Claudio Sossai, Gaetano Chemello.

by Sossai, Claudio [editor.] | Chemello, Gaetano [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5590Source: 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
RoboCup 2008: Robot Soccer World Cup XII [electronic resource] / edited by Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou.

by Iocchi, Luca [editor.] | Matsubara, Hitoshi [editor.] | Weitzenfeld, Alfredo [editor.] | Zhou, Changjiu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5399Source: 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
Artificial Intelligence in Medicine [electronic resource] : 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings / edited by Carlo Combi, Yuval Shahar, Ameen Abu-Hanna.

by Combi, Carlo [editor.] | Shahar, Yuval [editor.] | Abu-Hanna, Ameen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5651Source: 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
Advances in Spatial and Temporal Databases [electronic resource] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings / edited by Nikos Mamoulis, Thomas Seidl, Torben Bach Pedersen, Kristian Torp, Ira Assent.

by Mamoulis, Nikos [editor.] | Seidl, Thomas [editor.] | Pedersen, Torben Bach [editor.] | Torp, Kristian [editor.] | Assent, Ira [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5644Source: 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
Case-Based Reasoning Research and Development [electronic resource] : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / edited by Lorraine McGinty, David C. Wilson.

by McGinty, Lorraine [editor.] | Wilson, David C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5650Source: 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
Advances in Neuro-Information Processing [electronic resource] : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II / edited by Mario Köppen, Nikola Kasabov, George Coghill.

by Köppen, Mario [editor.] | Kasabov, Nikola [editor.] | Coghill, George [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5507Source: 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
Statistical and Geometrical Approaches to Visual Motion Analysis [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers / edited by Daniel Cremers, Bodo Rosenhahn, Alan L. Yuille, Frank R. Schmidt.

by Cremers, Daniel [editor.] | Rosenhahn, Bodo [editor.] | Yuille, Alan L [editor.] | Schmidt, Frank R [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 20 - 22, 2009. Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5633Source: 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
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5632Source: 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
DNA Computing [electronic resource] : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / edited by Ashish Goel, Friedrich C. Simmel, Petr Sosík.

by Goel, Ashish [editor.] | Simmel, Friedrich C [editor.] | Sosík, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5347Source: 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
Conceptual Structures: Leveraging Semantic Technologies [electronic resource] : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings / edited by Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov.

by Rudolph, Sebastian [editor.] | Dau, Frithjof [editor.] | Kuznetsov, Sergei O [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5662Source: 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
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe.

by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5489Source: 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
Journal on Data Semantics XIII [electronic resource] / edited by Stefano Spaccapietra, Esteban Zimányi, Il-Yeol Song.

by Spaccapietra, Stefano [editor.] | Zimányi, Esteban [editor.] | Song, Il-Yeol [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5530Source: 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
Advances in Bioinformatics and Computational Biology [electronic resource] : 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings / edited by Katia S. Guimarães, Anna Panchenko, Teresa M. Przytycka.

by Guimarães, Katia S [editor.] | Panchenko, Anna [editor.] | Przytycka, Teresa M [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha