Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Automatic Generation of Computer Animation [electronic resource] : Using AI for Movie Animation / by Ruqian Lu, Songmao Zhang.

by Lu, Ruqian [author.] | Zhang, Songmao [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2160Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Parallel and Distributed Processing [electronic resource] : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings / edited by José Rolim.

by Rolim, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1800Source: 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
Business Process Management [electronic resource] : Models, Techniques, and Empirical Studies / edited by Wil Aalst, Jörg Desel, Andreas Oberweis.

by Aalst, Wil [editor.] | Desel, Jörg [editor.] | Oberweis, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1806Source: 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] : 7th Portuguese Conference on Artificial Intelligence, EPIA '95 Funchal, Madeira Island, Portugal, October 3–6, 1995 Proceedings / edited by Carlos Pinto-Ferreira, Nuno J. Mamede.

by Pinto-Ferreira, Carlos [editor.] | Mamede, Nuno J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 990Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Challenges for Action Theories [electronic resource] / by Michael Thielscher.

by Thielscher, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1775Source: 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
Electronic Commerce [electronic resource] : Second International Workshop, WELCOM 2001 Heidelberg, Germany, November 16–17, 2001 Proceedings / edited by Ludger Fiege, Gero Mühl, Uwe Wilhelm.

by Fiege, Ludger [editor.] | Mühl, Gero [editor.] | Wilhelm, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2232Source: 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
Information and Communications Security [electronic resource] : Third International Conference, ICICS 2001 Xian, China, November 13–16, 2001 Proceedings / edited by Sihan Qing, Tatsuaki Okamoto, Jianying Zhou.

by Qing, Sihan [editor.] | Okamoto, Tatsuaki [editor.] | Zhou, Jianying [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2229Source: 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 2001: Robot Soccer World Cup V [electronic resource] / edited by Andreas Birk, Silvia Coradeschi, Satoshi Tadokoro.

by Birk, Andreas [editor.] | Coradeschi, Silvia [editor.] | Tadokoro, Satoshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2377Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Process Algebra and Probabilistic Methods: Performance Modeling and Verification [electronic resource] : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings / edited by Holger Hermanns, Roberto Segala.

by Hermanns, Holger [editor.] | Segala, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2399Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers / edited by Alberto Pettorossi.

by Pettorossi, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2372Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Security Analysis and Design [electronic resource] : Tutorial Lectures / edited by Riccardo Focardi, Roberto Gorrieri.

by Focardi, Riccardo [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2171Source: 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
Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Sophie Tison.

by Tison, Sophie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2378Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Local Search for Planning and Scheduling [electronic resource] : ECAI 2000 Workshop Berlin, Germany, August 21, 2000 Revised Papers / edited by Alexander Nareyek.

by Nareyek, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2148Source: 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
FME 2002:Formal Methods—Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Lars-Henrik Eriksson, Peter Alexander Lindsay.

by Eriksson, Lars-Henrik [editor.] | Lindsay, Peter Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2391Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / edited by Uwe Egly, Chritian G. Fermüller.

by Egly, Uwe [editor.] | Fermüller, Chritian G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2381Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Logic Programming [electronic resource] : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2401Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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-18 [electronic resource] : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2392Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Abstraction, Reformulation, and Approximation [electronic resource] : 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings / edited by Sven Koenig, Robert C. Holte.

by Koenig, Sven [editor.] | Holte, Robert C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2371Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 14th International Symposium, AAECC-14 Melbourne, Australia, November 26–30, 2001 Proceedings / edited by Serdar Boztaş, Igor E. Shparlinski.

by Boztaş, Serdar [editor.] | Shparlinski, Igor E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2227Source: 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
SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings / edited by Leszek Pacholski, Peter Ružička.

by Pacholski, Leszek [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service).

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