Your search returned 5696 results.

Not what you expected? Check for suggestions
E-BOOKS
Algorithms - ESA 2000 [electronic resource] : 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings / edited by Mike S. Paterson.

by Paterson, Mike S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1879Source: 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
Engineering Distributed Objects [electronic resource] : Second International Workshop,EDO 2000 Davis, CA, USA, November 2–3, 2000 Revised Papers / edited by Wolfgang Emmerich, Stefan Tai.

by Emmerich, Wolfgang [editor.] | Tai, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1999Source: 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
Grammatical Inference: Algorithms and Applications [electronic resource] : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings / edited by Arlindo L. Oliveira.

by Oliveira, Arlindo L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1891Source: 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
Numerical Analysis and Its Applications [electronic resource] : Second InternationalConference, NAA 2000 Rousse, Bulgaria, June 11–15, 2000 Revised Papers / edited by Lubin Vulkov, Plamen Yalamov, Jerzy Waśniewski.

by Vulkov, Lubin [editor.] | Yalamov, Plamen [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1988Source: 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
Coordination Languages and Models [electronic resource] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings / edited by António Porto, Gruia-Catalin Roman.

by Porto, António [editor.] | Roman, Gruia-Catalin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1906Source: 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
Trends in Distributed Systems: Towards a Universal Service Market [electronic resource] : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 Proceedings / edited by Claudia Linnhoff-Popien, Heinz-Gerd Hegering.

by Linnhoff-Popien, Claudia [editor.] | Hegering, Heinz-Gerd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1890Source: 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
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
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
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
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
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
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 9th International Conference, AIMSA 2000 Varna, Bulgaria, September 20–23, 2000 Proceedings.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1904Source: 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
Wavelet Analysis and Its Applications [electronic resource] : Second International Conference, WAA 2001 Hong Kong, China, December 18–20, 2001 Proceedings / edited by Yuan Y. Tang, Pong C. Yuen, Chun-hung Li, Victor Wickerhauser.

by Tang, Yuan Y [editor.] | Yuen, Pong C [editor.] | Li, Chun-hung [editor.] | Wickerhauser, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2251Source: 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
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers / edited by Jens Blanck, Vasco Brattka, Peter Hertling.

by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, Peter [editor.] | SpringerLink (Online service).

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