Your search returned 8979 results.

Not what you expected? Check for suggestions
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
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
Types in Compilation [electronic resource] : third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers / edited by Robert Harper.

by Harper, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2071Source: 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
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
E-BOOKS
Active Media Technology [electronic resource] : 6th International Computer Science Conference, AMT 2001 Hong Kong, China, December 18–20, 2001 Proceedings / edited by Jiming Liu, Pong C. Yuen, Chun-hung Li, Joseph Ng, Toru Ishida.

by Liu, Jiming [editor.] | Yuen, Pong C [editor.] | Li, Chun-hung [editor.] | Ng, Joseph [editor.] | Ishida, Toru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2252Source: 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
ECOOP 2001 — Object-Oriented Programming [electronic resource] : 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings / edited by Jørgen Lindskov Knudsen.

by Knudsen, Jørgen Lindskov [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2072Source: 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
Consolidated Ada Reference Manual Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder.

by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2219Source: 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
Advanced Information Systems Engineering [electronic resource] : 13th International Conference, CAiSE 2001 Interlaken, Switzerland, June 4–8, 2001 Proceedings / edited by Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie.

by Dittrich, Klaus R [editor.] | Geppert, Andreas [editor.] | Norrie, Moira C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2068Source: 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
Audio- and Video-Based Biometric Person Authentication [electronic resource] : Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6–8, 2001 Proceedings / edited by Josef Bigun, Fabrizio Smeraldi.

by Bigun, Josef [editor.] | Smeraldi, Fabrizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2091Source: 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
Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers / edited by Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov.

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

Series: Lecture Notes in Computer Science ; 2179Source: 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
Agent Systems, Mobile Agents, and Applications [electronic resource] : Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13-15, 2000 Proceedings / edited by David Kotz, Friedemann Mattern.

by Kotz, David [editor.] | Mattern, Friedemann [editor.] | SpringerLink (Online service).

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

Powered by Koha