Your search returned 18639 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Network and Operating Systems Support for Digital Audio and Video [electronic resource] : 5th International Workshop, NOSSDAV '95 Durham, New Hampshire, USA, April 19–21, 1995 Proceedings / edited by Thomas D. C. Little, Riccardo Gusella.

by Little, Thomas D. C [editor.] | Gusella, Riccardo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1018Source: 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
Progress in Case-Based Reasoning [electronic resource] : First United Kingdom Workshop Salford, UK, January 12, 1995 Proceedings / edited by Ian D. Watson.

by Watson, Ian D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1020Source: 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
OOER '95: Object-Oriented and Entity-Relationship Modeling [electronic resource] : 14th International Conference Gold Coast, Australia, December 13–15, 1995 Proceedings / edited by Michael P. Papazoglou.

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

Series: Lecture Notes in Computer Science ; 1021Source: 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
Systems Biology and Regulatory Genomics [electronic resource] : Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers / edited by Eleazar Eskin, Trey Ideker, Ben Raphael, Christopher Workman.

by Eskin, Eleazar [editor.] | Ideker, Trey [editor.] | Raphael, Ben [editor.] | Workman, Christopher [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4023Source: 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
Information Networking. Advances in Data Communications and Wireless Networks [electronic resource] : International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers / edited by Ilyoung Chong, Kenji Kawahara.

by Chong, Ilyoung [editor.] | Kawahara, Kenji [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3961Source: 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
Automata, Languages and Programming [electronic resource] : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings / edited by Serge Abiteboul, Eli Shamir.

by Abiteboul, Serge [editor.] | Shamir, Eli [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Object-Oriented Programming [electronic resource] : 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings / edited by Mario Tokoro, Remo Pareschi.

by Tokoro, Mario [editor.] | Pareschi, Remo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic Programming and Automated Reasoning [electronic resource] : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings / edited by Frank Pfenning.

by Pfenning, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 822Source: 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): .

Place hold Log in to add tags
E-BOOKS
Entity-Relationship Approach — ER '93 [electronic resource] : 12th International Conference on the Entity-Relationship Approach Arlington, Texas, USA, December 15–17, 1993 Proceedings / edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.

by Elmasri, Ramez A [editor.] | Kouramajian, Vram [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algorithm Theory — SWAT '94 [electronic resource] : 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings / edited by Erik M. Schmidt, Sven Skyum.

by Schmidt, Erik M [editor.] | Skyum, Sven [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow.

by Heering, Jan [editor.] | Meinke, Karl [editor.] | Möller, Bernhard [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Directions in Databases [electronic resource] : 12th British National Conference on Databases, BNCOD 12 Guildford, United Kingdom, July 6–8, 1994 Proceedings / edited by David S. Bowers.

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

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

Place hold Log in to add tags
E-BOOKS
Applications of Invariance in Computer Vision [electronic resource] : Second Joint European — US Workshop Ponta Delgada, Azores, Portugal October 9–14, 1993 Proceedings / edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth.

by Mundy, Joseph L [editor.] | Zisserman, Andrew [editor.] | Forsyth, David [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: 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): .

Place hold Log in to add tags
E-BOOKS
Isabelle [electronic resource] : A Generic Theorem Prover / edited by Lawrence C. Paulson.

by Paulson, Lawrence C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Error Control, Cryptology, and Speech Compression [electronic resource] : Workshop on Information Protection Moscow, Russia, December 6–9, 1993 Selected Papers / edited by Andrew Chmora, Stephen B. Wicker.

by Chmora, Andrew [editor.] | Wicker, Stephen B [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Artificial Social Systems [electronic resource] : 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92 S. Martino al Cimino, Italy, July 29–31, 1992 Selected Papers / edited by Cristiano Castelfranchi, Eric Werner.

by Castelfranchi, Cristiano [editor.] | Werner, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 830Source: 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): .

Place hold Log in to add tags
E-BOOKS
Orders, Algorithms, and Applications [electronic resource] : International Workshop ORDAL '94 Lyon, France, July 4–8, 1994 Proceedings / edited by Vincent Bouchitté, Michel Morvan.

by Bouchitté, Vincent [editor.] | Morvan, Michel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke.

by Börger, Egon [editor.] | Gurevich, Yuri [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

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

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

Powered by Koha