Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Advanced Conceptual Modeling Techniques [electronic resource] : ER 2002 Workshops, ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002. Revised Papers / edited by Antoni Olivé, Masatoshi Yoshikawa, Eric S. K. Yu.

by Olivé, Antoni [editor.] | Yoshikawa, Masatoshi [editor.] | Yu, Eric S. K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2784Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund.

by Hariharan, Ramesh | Vinay, V | Mukund, Madhavan.

Series: Material type: Text Text Language: English Publication details: 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
3D Structure from Images — SMILE 2000 [electronic resource] : Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers / edited by Marc Pollefeys, Luc Gool, Andrew Zisserman, Andrew Fitzgibbon.

by Pollefeys, Marc [editor.] | Gool, Luc [editor.] | Zisserman, Andrew [editor.] | Fitzgibbon, Andrew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2018Source: 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
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser.

by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1885Source: 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
Computer Security - ESORICS 2000 [electronic resource] : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000. Proceedings / edited by Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner.

by Cuppens, Frédéric [editor.] | Deswarte, Yves [editor.] | Gollmann, Dieter [editor.] | Waidner, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1895Source: 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
The Computational Complexity of Equivalence and Isomorphism Problems [electronic resource] / edited by Thomas Thierauf.

by Thierauf, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1852Source: 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
Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Reinhard Wilhelm.

by Wilhelm, Reinhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2027Source: 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
High Performance Computing — HiPC 2001 [electronic resource] : 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings / edited by Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam.

by Monien, Burkhard [editor.] | Prasanna, Viktor K [editor.] | Vajapeyam, Sriram [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2228Source: 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
Programming Languages and Systems [electronic resource] : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by David Sands.

by Sands, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2028Source: 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
Progress in Cryptology — INDOCRYPT 2001 [electronic resource] : Second International Conference on Cryptology in India Chennai, India, December 16–20, 2001 Proceedings / edited by C. Pandu Rangan, Cunsheng Ding.

by Rangan, C. Pandu [editor.] | Ding, Cunsheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2247Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Heinrich Hussmann.

by Hussmann, Heinrich [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2029Source: 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
Foundations of Software Science and Computation Structures [electronic resource] : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Furio Honsell, Marino Miculan.

by Honsell, Furio [editor.] | Miculan, Marino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2030Source: 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
Network Calculus [electronic resource] : A Theory of Deterministic Queuing Systems for the Internet / edited by Jean-Yves Boudec, Patrick Thiran.

by Boudec, Jean-Yves [editor.] | Thiran, Patrick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2050Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2031Source: 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
Stochastic Algorithms: Foundations and Applications [electronic resource] : International Symposium, SAGA 2001 Berlin, Germany, December 13–14, 2001 Proceedings / edited by Kathleen Steinhöfel.

by Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2264Source: 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
Text, Speech and Dialogue [electronic resource] : Third International Workshop, TSD 2000 Brno, Czech Republic, September 13–16, 2000 Proceedings / edited by Petr Sojka, Ivan Kopeček, Karel Pala.

by Sojka, Petr [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1902Source: 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
RoboCup 2000: Robot Soccer World Cup IV [electronic resource] / edited by Peter Stone, Tucker Balch, Gerhard Kraetzschmar.

by Stone, Peter [editor.] | Balch, Tucker [editor.] | Kraetzschmar, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2019Source: 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
Cryptography and Coding [electronic resource] : 8th IMA International Conference Cirencester, UK, December 17–19, 2001 Proceedings / edited by Bahram Honary.

by Honary, Bahram [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2260Source: 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
RoboCup-99: Robot Soccer World Cup III [electronic resource] / edited by Manuela Veloso, Enrico Pagello, Hiroaki Kitano.

by Veloso, Manuela [editor.] | Pagello, Enrico [editor.] | Kitano, Hiroaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1856Source: 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
Progress in Artificial Intelligence [electronic resource] : Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 Porto, Portugal, December 17–20, 2001 Proceedings / edited by Pavel Brazdil, Alípio Jorge.

by Brazdil, Pavel [editor.] | Jorge, Alípio [editor.] | SpringerLink (Online service).

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

Powered by Koha