Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Development of Reactive Systems [electronic resource] : Case Study Production Cell / edited by Claus Lewerentz, Thomas Lindner.

by Lewerentz, Claus [editor.] | Lindner, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 891Source: 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): .

E-BOOKS
Languages and Compilers for Parallel Computing [electronic resource] : 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings / edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

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

Series: Lecture Notes in Computer Science ; 892Source: 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): .

E-BOOKS
Security Protocols [electronic resource] : 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings / edited by Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe.

by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Harbison, William S [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1550Source: 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): .

E-BOOKS
Database Theory — ICDT '95 [electronic resource] : 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings / edited by Georg Gottlob, Moshe Y. Vardi.

by Gottlob, Georg [editor.] | Vardi, Moshe Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 893Source: 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): .

E-BOOKS
XPS-99: Knowledge-Based Systems. Survey and Future Directions [electronic resource] : 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999. Proceedings / edited by Frank Puppe.

by Puppe, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1570Source: 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): .

E-BOOKS
Active, Real-Time, and Temporal Database Systems [electronic resource] : Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings / edited by Sten F. Andler, Jörgen Hansson.

by Andler, Sten F [editor.] | Hansson, Jörgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1553Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Graph Drawing [electronic resource] : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10–12, 1994 Proceedings / edited by Roberto Tamassia, Ioannis G. Tollis.

by Tamassia, Roberto [editor.] | Tollis, Ioannis G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 894Source: 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): .

E-BOOKS
Public Key Cryptography [electronic resource] : Second International Workshop on Practice and Theory in Public Key Cryptography, PKC’99 Kamakura, Japan, March 1–3, 1999 Proceedings.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1560Source: 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): .

E-BOOKS
Hybrid Systems V [electronic resource] / edited by Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry.

by Antsaklis, Panos [editor.] | Lemmon, Michael [editor.] | Kohn, Wolf [editor.] | Nerode, Anil [editor.] | Sastry, Shankar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1567Source: 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): .

E-BOOKS
Parallel Computation [electronic resource] : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum’99) and Parallel Computing in Image Processing, Video Processing, and Multimedia Salzburg, Austria, February 16–18, 1999 Proceedings / edited by Peter Zinterhof, Marian Vajteršic, Andreas Uhl.

by Zinterhof, Peter [editor.] | Vajteršic, Marian [editor.] | Uhl, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1557Source: 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): .

E-BOOKS
Software Engineering Education [electronic resource] : 8th SEI CSEE Conference New Orleans, LA, USA, March 29–April 1, 1995 Proceedings / edited by Rosalind L. Ibrahim.

by Ibrahim, Rosalind L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 895Source: 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): .

E-BOOKS
Executable Modal and Temporal Logics [electronic resource] : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings / edited by Michael Fisher, Richard Owens.

by Fisher, Michael [editor.] | Owens, Richard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 897Source: 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): .

E-BOOKS
Software Engineering and Human-Computer Interaction [electronic resource] : ICSE '94 Workshop on SE-HCI: Joint Research Issues Sorrento, Italy, May 16–17, 1994 Proceedings / edited by Richard N. Taylor, Joëlle Coutaz.

by Taylor, Richard N [editor.] | Coutaz, Joëlle [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 896Source: 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): .

E-BOOKS
Machine Translation and the Lexicon [electronic resource] : Third International EAMT Workshop Heidelberg, Germany, April 26–28, 1993 Proceedings / edited by Petra Steffens.

by Steffens, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 898Source: 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): .

E-BOOKS
STACS 95 [electronic resource] : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings / edited by Ernst W. Mayr, Claude Puech.

by Mayr, Ernst W [editor.] | Puech, Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 900Source: 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): .

E-BOOKS
Evolution and Biocomputation [electronic resource] : Computational Models of Evolution / edited by Wolfgang Banzhaf, Frank H. Eeckman.

by Banzhaf, Wolfgang [editor.] | Eeckman, Frank H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 899Source: 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): .

E-BOOKS
Theorem Provers in Circuit Design [electronic resource] : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf.

by Kumar, Ramayya [editor.] | Kropf, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 901Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Other title: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.

by Dezani-Ciancaglini, Mariangiola [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 902Source: 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): .

E-BOOKS
Graph-Theoretic Concepts in Computer Science [electronic resource] : 20th International Workshop, WG '94 Herrsching, Germany, June 16–18, 1994 Proceedings / edited by Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer.

by Mayr, Ernst W [editor.] | Schmidt, Gunther [editor.] | Tinhofer, Gottfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 903Source: 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): .

E-BOOKS
Computational Learning Theory [electronic resource] : Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13–15, 1995 Proceedings / edited by Paul Vitányi.

by Vitányi, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 904Source: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha