Your search returned 504 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Information Retrieval [electronic resource] : 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14–16, 2003. Proceedings / edited by Fabrizio Sebastiani.

by Sebastiani, Fabrizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2633Source: 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
Artificial Neural Networks [electronic resource] : International Workshop IWANN '91 Granada, Spain, September 17–19, 1991 Proceedings / edited by Alberto Prieto.

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

Series: Lecture Notes in Computer Science ; 540Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Mathematical Foundations of Computer Science 1995 [electronic resource] : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek.

by Wiedermann, Jiří [editor.] | Hájek, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 969Source: 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
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / edited by Horst Reichel.

by Reichel, Horst [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 965Source: 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
FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dino Mandrioli.

by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2805Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Topics in Cryptology — CT-RSA 2001 [electronic resource] : The Cryptographers’ Track at RSA Conference 2001 San Francisco, CA, USA, April 8–12, 2001 Proceedings / edited by David Naccache.

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

Series: Lecture Notes in Computer Science ; 2020Source: 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
Parallel Problem Solving from Nature PPSN VI [electronic resource] : 6th International Conference Paris, France, September 18–20, 2000 Proceedings / edited by Marc Schoenauer, Kalyanmoy Deb, Günther Rudolph, Xin Yao, Evelyne Lutton, Juan Julian Merelo, Hans-Paul Schwefel.

by Schoenauer, Marc [editor.] | Deb, Kalyanmoy [editor.] | Rudolph, Günther [editor.] | Yao, Xin [editor.] | Lutton, Evelyne [editor.] | Merelo, Juan Julian [editor.] | Schwefel, Hans-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1917Source: 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 Safety, Reliability and Security [electronic resource] : 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings / edited by Udo Voges.

by Voges, Udo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2187Source: 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
Advances in Cryptology — EUROCRYPT 2000 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14–18, 2000 Proceedings / edited by Bart Preneel.

by Preneel, Bart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1807Source: 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
Computational Geometry and its Applications [electronic resource] : CG'88, International Workshop on Computational Geometry Würzburg, FRG, March 24–25, 1988 Proceedings / edited by Hartmut Noltemeier.

by Noltemeier, Hartmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 333Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings / edited by Farhad Arbab, Carolyn Talcott.

by Arbab, Farhad [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2315Source: 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
Artificial Evolution [electronic resource] : 5th International Conference, Evolution Artificielle, EA 2001 Le Creusot, France, October 29–31, 2001 Selected Papers / edited by Pierre Collet, Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Marc Schoenauer.

by Collet, Pierre [editor.] | Fonlupt, Cyril [editor.] | Hao, Jin-Kao [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2310Source: 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
Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 355Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Automata, Languages and Programming [electronic resource] : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.

by Ausiello, Giorgio [editor.] | Dezani-Ciancaglini, Mariangiola [editor.] | Rocca, Simonetta Ronchi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 372Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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 and Automated Reasoning [electronic resource] : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings / edited by Andrei Voronkov.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Mathematical Foundations of Computer Science 1989 [electronic resource] : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings / edited by Antoni Kreczmar, Grazyna Mirkowska.

by Kreczmar, Antoni [editor.] | Mirkowska, Grazyna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 379Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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 for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov.

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

Series: Lecture Notes in Computer Science ; 4246Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Fundamentals of Computation Theory [electronic resource] : 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings / edited by Gabriel Ciobanu, Gheorghe Păun.

by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algorithms - ESA’ 99 [electronic resource] : 7th Annual European Symposium Prague, Czech Republic, July 16–18, 1999 Proceedings / edited by Jaroslav Nešetřil.

by Nešetřil, Jaroslav [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / edited by Jiří Wiedermann, Peter Emde Boas, Mogens Nielsen.

by Wiedermann, Jiří [editor.] | Emde Boas, Peter [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha