Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Vision — ECCV '94 [electronic resource] : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6, 1994 Proceedings, Volume I / edited by Jan-Olof Eklundh.

by Eklundh, Jan-Olof [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Vision — ECCV '94 [electronic resource] : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6 1994 Proceedings, Volume II / edited by Jan-Olof Eklundh.

by Eklundh, Jan-Olof [editor.] | SpringerLink (Online service).

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

E-BOOKS
FM8501: A Verified Microprocessor [electronic resource] / edited by Warren A. Hunt.

by Hunt, Warren A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Cryptology — CRYPTO’ 99 [electronic resource] : 19th Annual International Cryptology Conference Santa Barbara, California, USA, August 15–19, 1999 Proceedings / edited by Michael Wiener.

by Wiener, Michael [editor.] | SpringerLink (Online service).

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

E-BOOKS
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications / edited by Wolfgang Gentzsch, Uwe Harms.

by Gentzsch, Wolfgang [editor.] | Harms, Uwe [editor.] | SpringerLink (Online service).

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

E-BOOKS
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings Volume II: Networking and Tools / edited by Wolfgang Gentzsch, Uwe Harms.

by Gentzsch, Wolfgang [editor.] | Harms, Uwe [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Intelligent Data Analysis [electronic resource] : Third International Symposium, IDA-99 Amsterdam, The Netherlands, August 9–11, 1999 Proceedings / edited by David J. Hand, Joost N. Kok, Michael R. Berthold.

by Hand, David J [editor.] | Kok, Joost N [editor.] | Berthold, Michael R [editor.] | SpringerLink (Online service).

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

E-BOOKS
Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, RANDOM-APPROX’99, Berkeley, CA, USA, August 8-11, 1999. / edited by Dorit S. Hochbaum, Klaus Jansen, José D. P. Rolim, Alistair Sinclair.

by Hochbaum, Dorit S [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Sinclair, Alistair [editor.] | SpringerLink (Online service).

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

E-BOOKS
Cooperative Information Agents III [electronic resource] : Third International Workshop, CIA’99 Uppsala, Sweden, July 31–August 2, 1999 Proceedings / edited by Matthias Klusch, Onn M. Shehory, Gerhard Weiss.

by Klusch, Matthias [editor.] | Shehory, Onn M [editor.] | Weiss, Gerhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Performance Evaluation Modelling Techniques and Tools [electronic resource] : 7th International Conference Vienna, Austria, May 3–6, 1994 Proceedings / edited by Günter Haring, Gabriele Kotsis.

by Haring, Günter [editor.] | Kotsis, Gabriele [editor.] | SpringerLink (Online service).

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

E-BOOKS
Extensions of Logic Programming [electronic resource] : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings / edited by Roy Dyckhoff.

by Dyckhoff, Roy [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multiagent Systems [electronic resource] : A Theoretical Framework for Intentions, Know-How, and Communications / by Munindar P. Singh.

by Singh, Munindar P [author.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt.

by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service).

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

E-BOOKS
RoboCup-98: Robot Soccer World Cup II [electronic resource] / edited by Minoru Asada, Hiroaki Kitano.

by Asada, Minoru [editor.] | Kitano, Hiroaki [editor.] | SpringerLink (Online service).

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

E-BOOKS
A Decade of Concurrency Reflections and Perspectives [electronic resource] : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

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

E-BOOKS
Qualitative Representation of Spatial Knowledge [electronic resource] / edited by Daniel Hernández.

by Hernández, Daniel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : Second International Workshop, EMMCVPR’99 York, UK, July 26–29, 1999 Proceedings / edited by Edwin R. Hancock, Marcello Pelillo.

by Hancock, Edwin R [editor.] | Pelillo, Marcello [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parallel and Distributed Computing Theory and Practice [electronic resource] : First Canada-France Conference Montréal, Canada, May 19–21, 1994 Proceedings / edited by Michel Cosnard, Afonso Ferreira, Joseph Peters.

by Cosnard, Michel [editor.] | Ferreira, Afonso [editor.] | Peters, Joseph [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multi-Agent System Engineering [electronic resource] : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99 Valencia, Spain, June 30 – July 2, 1999 Proceedings / edited by Francisco J. Garijo, Magnus Boman.

by Garijo, Francisco J [editor.] | Boman, Magnus [editor.] | SpringerLink (Online service).

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

E-BOOKS
Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers / edited by Henk Barendregt, Tobias Nipkow.

by Barendregt, Henk [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 806Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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