Your search returned 208 results.

Not what you expected? Check for suggestions
E-BOOKS
Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers / edited by Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein.

by Cuyt, Annie [editor.] | Krämer, Walter [editor.] | Luther, Wolfram [editor.] | Markstein, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5492Source: 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
Knowledge Acquisition: Approaches, Algorithms and Applications [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers / edited by Debbie Richards, Byeong-Ho Kang.

by Richards, Debbie [editor.] | Kang, Byeong-Ho [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5465Source: 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
Network Performance Engineering [electronic resource] : A Handbook on Convergent Multi-Service Networks and Next Generation Internet / edited by Demetres D. Kouvatsos.

by Kouvatsos, Demetres D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5233Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / edited by Oliver Kullmann.

by Kullmann, Oliver [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5584Source: 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
Digital Human Modeling [electronic resource] : Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Vincent G. Duffy.

by Duffy, Vincent G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5620Source: 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
Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience [electronic resource] : 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 Proceedings / edited by Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen.

by Schmorrow, Dylan D [editor.] | Estabrooke, Ivy V [editor.] | Grootjen, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5638Source: 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
Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate A. Schmidt.

by Schmidt, Renate A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5663Source: 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
Advanced Parallel Processing Technologies [electronic resource] : 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings / edited by Yong Dou, Ralf Gruber, Josef M. Joller.

by Dou, Yong [editor.] | Gruber, Ralf [editor.] | Joller, Josef M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5737Source: 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
Advances in Computation and Intelligence [electronic resource] : 4th International Symposium, ISICA 2009 Huangshi, China, Ocotober 23-25, 2009 Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu.

by Cai, Zhihua [editor.] | Li, Zhenhua [editor.] | Kang, Zhuo [editor.] | Liu, Yong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5821Source: 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
Replication [electronic resource] : Theory and Practice / edited by Bernadette Charron-Bost, Fernando Pedone, André Schiper.

by Charron-Bost, Bernadette [editor.] | Pedone, Fernando [editor.] | Schiper, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5959Source: 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
Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Gheorghe, Marian [editor.] | Hinze, Thomas [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6501Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Research in Computational Molecular Biology [electronic resource] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings / edited by Vineet Bafna, S. Cenk Sahinalp.

by Bafna, Vineet [editor.] | Sahinalp, S. Cenk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6577Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Knowledge Processing and Data Analysis [electronic resource] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / edited by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger.

by Wolff, Karl Erich [editor.] | Palchunov, Dmitry E [editor.] | Zagoruiko, Nikolay G [editor.] | Andelfinger, Urs [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6581Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Databases in Networked Information Systems [electronic resource] : 7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011. Proceedings / edited by Shinji Kikuchi, Aastha Madaan, Shelly Sachdeva, Subhash Bhalla.

by Kikuchi, Shinji [editor.] | Madaan, Aastha [editor.] | Sachdeva, Shelly [editor.] | Bhalla, Subhash [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7108Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Perception and Machine Intelligence [electronic resource] : First Indo-Japan Conference, PerMIn 2012, Kolkata, India, January 12-13, 2012. Proceedings / edited by Malay K. Kundu, Sushmita Mitra, Debasis Mazumdar, Sankar K. Pal.

by Kundu, Malay K [editor.] | Mitra, Sushmita [editor.] | Mazumdar, Debasis [editor.] | Pal, Sankar K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7143Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
Knowledge Representation for Health-Care [electronic resource] : AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers / edited by David Riaño, Annette Teije, Silvia Miksch.

by Riaño, David [editor.] | Teije, Annette [editor.] | Miksch, Silvia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6924Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
WALCOM: Algorithms and Computation [electronic resource] : 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings / edited by Md. Saidur Rahman, Shin-ichi Nakano.

by Rahman, Md. Saidur [editor.] | Nakano, Shin-ichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7157Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
New Directions in Logic, Language and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / edited by Daniel Lassiter, Marija Slavkovik.

by Lassiter, Daniel [editor.] | Slavkovik, Marija [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7415Source: 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
Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers / edited by Zhiming Liu, Alan Wassyng.

by Liu, Zhiming [editor.] | Wassyng, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7151Source: 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
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann.

by Gheyi, Rohit [editor.] | Naumann, David [editor.] | SpringerLink (Online service).

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

Powered by Koha