Your search returned 532 results.

Not what you expected? Check for suggestions
E-BOOKS
Programming Languages Implementation and Logic Programming [electronic resource] : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings / edited by P. Deransart, B. Lorho, J. Małuszyński.

by Deransart, P [editor.] | Lorho, B [editor.] | Małuszyński, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 348Source: 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
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2470Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Mathematics of Program Construction [electronic resource] : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings / edited by J. L. A. Snepscheut.

by Snepscheut, J. L. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 375Source: 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
Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings / edited by Frédéric Benhamou.

by Benhamou, Frédéric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4204Source: 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
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / edited by Pierre Deransart, Jan Maluszyński.

by Deransart, Pierre [editor.] | Maluszyński, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 456Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / edited by Kesav V. Nori, C. E. Veni Madhavan.

by Nori, Kesav V [editor.] | Veni Madhavan, C. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 472Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Combinatorics on Traces [electronic resource] / by Volker Diekert.

by Diekert, Volker [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 454Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Algebraic Methods II: Theory, Tools and Applications [electronic resource] / edited by J. A. Bergstra, L. M. G. Feijs.

by Bergstra, J. A [editor.] | Feijs, L. M. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 490Source: 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
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / edited by J. C. M. Baeten, J. W. Klop.

by Baeten, J. C. M [editor.] | Klop, J. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 458Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: Amsterdam, The Netherlands, August 27-30, 1990. Proceedings.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
Programming Languages and Systems [electronic resource] : 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Gert Smolka.

by Smolka, Gert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1782Source: 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
Foundations of Object-Oriented Languages [electronic resource] : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 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 ; 489Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.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
Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / edited by Akinori Yonezawa, Takayasu Ito.

by Yonezawa, Akinori [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 491Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.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
Perspectives of System Informatics [electronic resource] : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin.

by Bjøner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1755Source: 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
Practical Aspects of Declarative Languages [electronic resource] : Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings / edited by Enrico Pontelli, Vítor Santos Costa.

by Pontelli, Enrico [editor.] | Santos Costa, Vítor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1753Source: 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
Algebraic Specification Techniques in Object Oriented Programming Environments [electronic resource] / by Ruth Breu.

by Breu, Ruth [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 562Source: 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
Algebraic Methods: Theory, Tools and Applications [electronic resource] / edited by Martin Wirsing, Jan A. Bergstra.

by Wirsing, Martin [editor.] | Bergstra, Jan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 394Source: 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
Analogical and Inductive Inference [electronic resource] : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings / edited by Klaus P. Jantke.

by Jantke, Klaus P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 397Source: 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
CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings / edited by J. -C. Raoult.

by Raoult, J. -C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 581Source: 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] : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings / edited by C. E. Veni Madhavan.

by Veni Madhavan, C. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 405Source: 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
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness [electronic resource] : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 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 ; 430Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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