Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Rewriting Techniques and Applications [electronic resource] : Bordeaux, France, May 25–27, 1987 Proceedings / edited by Pierre Lescanne.

by Lescanne, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 256Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Other title: Second International Conference on Rewriting Techniques and Applications.Online 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
Baltic Computer Science [electronic resource] : Selected Papers / edited by Janis Bārzdinš, Dines Bjørner.

by Bārzdinš, Janis [editor.] | Bjørner, Dines [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 502Source: 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
Parallel Database Systems [electronic resource] : PRISMA Workshop Noordwijk, The Netherlands, September 24–26, 1990 Proceedings / edited by Pierre America.

by America, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 503Source: 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
Next Generation Information System Technology [electronic resource] : First International East/West Data Base Workshop Kiev, USSR, October 9–12, 1990 Proceedings / edited by Joachim W. Schmidt, Anatoly A. Stogny.

by Schmidt, Joachim W [editor.] | Stogny, Anatoly A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 504Source: 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
Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He.

by Liu, Zhiming [editor.] | He, Jifeng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4260Source: 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
Advances in Artificial Intelligence [electronic resource] : 12th Brazilian Symposium on Artificial Intelligence SBIA '95, Campinas, Brazil, October 10–12, 1995 Proceedings / edited by Jacques Wainer, Ariadne Carvalho.

by Wainer, Jacques [editor.] | Carvalho, Ariadne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 991Source: 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
Topics in Artificial Intelligence [electronic resource] : 4th Congress of the Italian Association for Artificial Intelligence AI*IA '95 Florence, Italy, October 11–13, 1995 Proceedings / edited by Marco Gori, Giovanni Soda.

by Gori, Marco [editor.] | Soda, Giovanni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 992Source: 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
Algorithmic Learning Theory [electronic resource] : 6th International Workshop,ALT '95 Fukuoka, Japan, October 18–20, 1995 Proceedings / edited by Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann.

by Jantke, Klaus P [editor.] | Shinohara, Takeshi [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 997Source: 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
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 505Source: 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
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 506Source: 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
Distributed Algorithms [electronic resource] : 6th International Workshop, WDAG '92 Haifa, Israel, November 2–4, 1992 Proceedings / edited by Adrian Segall, Shmuel Zaks.

by Segall, Adrian [editor.] | Zaks, Shmuel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 647Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Software Development Environments and CASE Technology [electronic resource] : European Symposium Königswinter, June 17–19, 1991 Proceedings / edited by A. Endres, H. Weber.

by Endres, A [editor.] | Weber, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 509Source: 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
Computer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings / edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.

by Deswarte, Yves [editor.] | Eizenberg, Gérard [editor.] | Quisquater, Jean-Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 648Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992Online 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] : 8th International Conference, AAECC-8 Tokyo, Japan, August 20–24, 1990 Proceedings / edited by Shojiro Sakata.

by Sakata, Shojiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 508Source: 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
Algorithms and Computation [electronic resource] : Third International Symposium, ISAAC'92 Nagoya, Japan, December 16–18, 1992 Proceedings / edited by Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita.

by Ibaraki, Toshihide [editor.] | Inagaki, Yasuyoshi [editor.] | Iwama, Kazuo [editor.] | Nishizeki, Takao [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 650Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Meta-Programming in Logic [electronic resource] : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings / edited by A. Pettorossi.

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

Series: Lecture Notes in Computer Science ; 649Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Specifying Message Passing and Time-Critical Systems with Temporal Logic [electronic resource] / edited by Ron Koymans.

by Koymans, Ron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 651Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Software Technology and Theoretical Computer Science [electronic resource] : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings / edited by Rudrapatna Shyamasundar.

by Shyamasundar, Rudrapatna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 652Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Evolutionary Computing [electronic resource] : AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers / edited by Terence C. Fogarty.

by Fogarty, Terence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 993Source: 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
Automata, Languages and Programming [electronic resource] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo.

by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service).

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

Powered by Koha