Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Database Technology — EDBT '92 [electronic resource] : 3rd International Conference on Extending Database Technology Vienna, Austria, March 23–27, 1992 Proceedings / edited by Alain Pirotte, Claude Delobel, Goerg Gottlob.

by Pirotte, Alain [editor.] | Delobel, Claude [editor.] | Gottlob, Goerg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 580Source: 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
VDM '90 VDM and Z — Formal Methods in Software Development [electronic resource] : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack.

by Bjørner, D [editor.] | Hoare, C. A. R [editor.] | Langmaack, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 428Source: 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
Computer Vision — ECCV 90 [electronic resource] : First European Conference on Computer Vision Antibes, France, April 23–27, 1990 Proceedings / edited by O. Faugeras.

by Faugeras, O [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 427Source: 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
LATIN '92 [electronic resource] : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings / edited by Imre Simon.

by Simon, Imre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 583Source: 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
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings / edited by Alfonso Miola.

by Miola, Alfonso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 429Source: 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
Partial Evaluation [electronic resource] : Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 / edited by John Hatcliff, Torben Æ Mogensen, Peter Thiemann.

by Hatcliff, John [editor.] | Mogensen, Torben Æ [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1706Source: 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
Computer Algebra and Parallelism [electronic resource] : Second International Workshop Ithaca, USA, May 9–11, 1990 Proceedings / edited by Richard E. Zippel.

by Zippel, Richard E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 584Source: 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
Computer Aided Systems Theory — EUROCAST '91 [electronic resource] : A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings / edited by Franz Pichler, Roberto Moreno Díaz.

by Pichler, Franz [editor.] | Díaz, Roberto Moreno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 585Source: 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
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
E-BOOKS
CAAP '90 [electronic resource] : 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings / edited by A. Arnold.

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

Series: Lecture Notes in Computer Science ; 431Source: 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
ESOP '90 [electronic resource] : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings / edited by Neil Jones.

by Jones, Neil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 432Source: 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
SCI: Scalable Coherent Interface [electronic resource] : Architecture and Software for High-Performance Compute Clusters / edited by Hermann Hellwagner, Alexander Reinefeld.

by Hellwagner, Hermann [editor.] | Reinefeld, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1734Source: 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
Parallel Execution of Parlog [electronic resource] / by Andrew Cheese.

by Cheese, Andrew [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 586Source: 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
Modelling Spatial Knowledge on a Linguistic Basis [electronic resource] : Theory-Prototype-Integration / by Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons.

by Lang, Ewald [author.] | Carstensen, Kai-Uwe [author.] | Simmons, Geoffrey [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 481Source: 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
Aspects of Automated Natural Language Generation [electronic resource] : 6th International Workshop on Natural Language Generation Trente, Italy, April 5–7 1992 Proceedings / edited by R. Dale, E. Hovy, D. Rösner, O. Stock.

by Dale, R [editor.] | Hovy, E [editor.] | Rösner, D [editor.] | Stock, O [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 587Source: 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
TEX for Scientific Documentation [electronic resource] : Second European Conference Strasbourg, France, June 19–21, 1986 Proceedings / edited by Jacques Désarménien.

by Désarménien, Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 236Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Other title: Supported by CNRS (Centre national de la Recherche scientifique), SMF (Societe mathematique de France), Universite Louis Pasteur de Strasbourg.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
Languages and Compilers for Parallel Computing [electronic resource] : Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings / edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

by Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 589Source: 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
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / edited by B. Fronhöfer, G. Wrightson.

by Fronhöfer, B [editor.] | Wrightson, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 590Source: 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
Computer Vision — ECCV'92 [electronic resource] : Second European Conference on Computer Vision Santa Margherita Ligure, Italy, May 19–22, 1992 Proceedings / edited by G. Sandini.

by Sandini, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 588Source: 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
Parallel Computation [electronic resource] : First International ACPC Conference Salzburg, Austria, September 30 – October 2, 1991 Proceedings / edited by Hans P. Zima.

by Zima, Hans P [editor.] | SpringerLink (Online service).

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

Powered by Koha