Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
An Analytical Description of CHILL, the CCITT High Level Language [electronic resource] / edited by Paul Branquart, Georges Louis, Pierre Wodon.

by Branquart, Paul [editor.] | Louis, Georges [editor.] | Wodon, Pierre [editor.] | SpringerLink (Online service).

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

E-BOOKS
Verifying Concurrent Processes Using Temporal Logic [electronic resource] / by Brent T. Hailpern.

by Hailpern, Brent T [author.] | SpringerLink (Online service).

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

E-BOOKS
Axiomatising the Logic of Computer Programming [electronic resource] / by Robert Goldblatt.

by Goldblatt, Robert [author.] | SpringerLink (Online service).

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

E-BOOKS
Logics of Programs [electronic resource] : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.

by Kozen, Dexter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Data Base Design Techniques I: [electronic resource] : Requirements and Logical Structures NYU Symposium, New York, May 1978 / edited by S. B. Yao, S. B. Navathe, J. L. Weldon, T. L. Kunii.

by Yao, S. B [editor.] | Navathe, S. B [editor.] | Weldon, J. L [editor.] | Kunii, T. L [editor.] | SpringerLink (Online service).

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

E-BOOKS
Data Base Design Techniques II: [electronic resource] : Physical Structures and Applications Proceedings, Tokyo, November 1979 / edited by S. B. Yao, T. L. Kunii.

by Yao, S. B [editor.] | Kunii, T. L [editor.] | SpringerLink (Online service).

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

E-BOOKS
How to Multiply Matrices Faster [electronic resource] / edited by Victor Pan.

by Pan, Victor [editor.] | SpringerLink (Online service).

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

E-BOOKS
Ada Software Tools Interfaces [electronic resource] : Workshop, Bath, July 13–15, 1983 Proceedings / edited by Peter J. L. Wallis.

by Wallis, Peter J. L [editor.] | SpringerLink (Online service).

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

E-BOOKS
Attribute Grammar Inversion and Source-to-source Translation [electronic resource] / edited by Daniel M. Yellin.

by Yellin, Daniel M [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Fourth Conference, Bangalore, India December 13–15, 1984 Proceedings / edited by Mathai Joseph, Rudrapatna Shyamasundar.

by Joseph, Mathai [editor.] | Shyamasundar, Rudrapatna [editor.] | SpringerLink (Online service).

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

E-BOOKS
Text, Speech and Dialogue [electronic resource] : 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006. Proceedings / edited by Petr Sojka, Ivan Kopeček, Karel Pala.

by Sojka, Petr [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Database Technology—EDBT '88 [electronic resource] : International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings / edited by J. W. Schmidt, S. Ceri, M. Missikoff.

by Schmidt, J. W [editor.] | Ceri, S [editor.] | Missikoff, M [editor.] | SpringerLink (Online service).

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

E-BOOKS
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings / edited by Johan Vounckx, Nadine Azemard, Philippe Maurine.

by Vounckx, Johan [editor.] | Azemard, Nadine [editor.] | Maurine, Philippe [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parameterized and Exact Computation [electronic resource] : Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. Proceedings / edited by Hans L. Bodlaender, Michael A. Langston.

by Bodlaender, Hans L [editor.] | Langston, Michael A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings / edited by Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra.

by Mohr, Bernd [editor.] | Träff, Jesper Larsson [editor.] | Worringen, Joachim [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Cryptology — EUROCRYPT’ 87 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Amsterdam, The Netherlands, April 13–15, 1987 Proceedings / edited by David Chaum, Wyn L. Price.

by Chaum, David [editor.] | Price, Wyn L [editor.] | SpringerLink (Online service).

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

E-BOOKS
MFDBS 87 [electronic resource] : 1st Symposium on Mathematical Fundamentals of Database Systems Dresden, GDR, January 19–23, 1987 Proceedings / edited by J. Biskup, J. Demetrovics, J. Paredaens, B. Thalheim.

by Biskup, J [editor.] | Demetrovics, J [editor.] | Paredaens, J [editor.] | Thalheim, B [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Logic and Functional Programming [electronic resource] : Workshop Trento, Italy, December 15–19, 1986 Proceedings / edited by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi.

by Boscarol, Mauro [editor.] | Carlucci Aiello, Luigia [editor.] | Levi, Giorgio [editor.] | SpringerLink (Online service).

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

E-BOOKS
STACS 85 [electronic resource] : 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985 / edited by K. Mehlhorn.

by Mehlhorn, K [editor.] | SpringerLink (Online service).

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

E-BOOKS
Conditional Term Rewriting Systems [electronic resource] : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings / edited by S. Kaplan, J. -P. Jouannaud.

by Kaplan, S [editor.] | Jouannaud, J. -P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 308Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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