Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
A Formal Model of Visualization in Computer Graphics Systems [electronic resource] / by Tamiya Onodera, Satoru Kawai.

by Onodera, Tamiya [author.] | Kawai, Satoru [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 421Source: 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
Logics in AI [electronic resource] : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings / edited by J. Eijck.

by Eijck, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 478Source: 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
Reasoning and Revision in Hybrid Representation Systems [electronic resource] / by Bernhard Nebel.

by Nebel, Bernhard [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 422Source: 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
Advances in Petri Nets 1989 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 424Source: 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
SIL—a Simulation Language [electronic resource] / by Niels Houbak.

by Houbak, Niels [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 426Source: 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
STACS 91 [electronic resource] : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings / edited by Christian Choffrut, Matthias Jantzen.

by Choffrut, Christian [editor.] | Jantzen, Matthias [editor.] | SpringerLink (Online service).

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

Powered by Koha