Your search returned 1338 results.

Not what you expected? Check for suggestions
E-BOOKS
Algebraic and Logic Programming [electronic resource] : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings / edited by Hélène Kirchner, Giorgio Levi.

by Kirchner, Hélène [editor.] | Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 632Source: 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
Memory Management [electronic resource] : International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings / edited by Yves Bekkers, Jacques Cohen.

by Bekkers, Yves [editor.] | Cohen, Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 637Source: 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
Compiler Construction [electronic resource] : 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings / edited by Uwe Kastens, Peter Pfahler.

by Kastens, Uwe [editor.] | Pfahler, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 641Source: 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
Ada: The Choice for '92 [electronic resource] : Ada-Europe International Conference Athens, Greece, May 13–17, 1991 Proceedings / edited by Dimitris Christodoulakis.

by Christodoulakis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 499Source: 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
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
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
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
ECOOP'91 European Conference on Object-Oriented Programming [electronic resource] : Geneva, Switzerland, July 15–19, 1991 Proceedings / edited by Pierre America.

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

Series: Lecture Notes in Computer Science ; 512Source: 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
Recent Trends in Data Type Specification [electronic resource] : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers / edited by Michel Bidoit, Christine Choppy.

by Bidoit, Michel [editor.] | Choppy, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 655Source: 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
Conditional Term Rewriting Systems [electronic resource] : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings / edited by Michaël Rusinowitch, Jean-Luc Rémy.

by Rusinowitch, Michaël [editor.] | Rémy, Jean-Luc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 656Source: 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 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / edited by Andrzej Tarlecki.

by Tarlecki, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 520Source: 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
Semantics: Foundations and Applications [electronic resource] : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 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 ; 666Source: 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
TAPSOFT'93: Theory and Practice of Software Development [electronic resource] : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings / edited by M. -C. Gaudel, J. -P. Jouannaud.

by Gaudel, M. -C [editor.] | Jouannaud, J. -P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 668Source: 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
Functional Programming Languages and Computer Architecture [electronic resource] : 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings / edited by John Hughes.

by Hughes, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 523Source: 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
Theoretical Aspects of Computer Software [electronic resource] : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings / edited by Takayasu Ito, Albert R. Meyer.

by Ito, Takayasu [editor.] | Meyer, Albert R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 526Source: 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
Live Data Structures in Logic Programs [electronic resource] : Derivation by Means of Abstract Interpretation / by Anne Mulkers.

by Mulkers, Anne [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 675Source: 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
Ada - Europe '93 [electronic resource] : 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings / edited by Michel Gauthier.

by Gauthier, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 688Source: 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
Static Analysis [electronic resource] : 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings / edited by Patrick Cousot.

by Cousot, Patrick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2126Source: 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
Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers / edited by Peter Dybjer, Bengt Nordström, Jan Smith.

by Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [editor.] | SpringerLink (Online service).

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

Powered by Koha