Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Uncertainty and Intelligent Systems [electronic resource] : 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU '88 Urbino, Italy, July 4–7, 1988 Proceedings / edited by B. Bouchon, L. Saitta, R. R. Yager.

by Bouchon, B [editor.] | Saitta, L [editor.] | Yager, R. R [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
A Relational Theory of Computing [electronic resource] / by John G. Sanderson.

by Sanderson, John G [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 82Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Graph-Theoretic Concepts in Computer Science [electronic resource] : International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 Proceedings / edited by Herbert Göttler, Hana-Jürgen Schneider.

by Göttler, Herbert [editor.] | Schneider, Hana-Jürgen [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic Programming '87 [electronic resource] : Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
The Munich Project CIP [electronic resource] / by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner.

by Brauer, F. L [author.] | Berghammer, R [author.] | Dosch, W [author.] | Gnatz, R [author.] | Hangel, E [author.] | Möller, B [author.] | Partsch, H [author.] | Pepper, P [author.] | Samelson, K [author.] | Wössner, H [author.] | Broy, M [author.] | Nickl, F [author.] | Wirsing, M [author.] | Geiselbrechtinger, F [author.] | Hesse, W [author.] | Krieg-Brückner, B [author.] | Laut, A [author.] | Matzner, T [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: By the CIP Language Group.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
Automata Networks [electronic resource] : LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings / edited by C. Choffrut.

by Choffrut, C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Local Area Networks: An Advanced Course [electronic resource] : Glasgow, July 11–22, 1983 Proceedings / edited by D. Hutchison, J. A. Mariani, W. D. Shepherd.

by Hutchison, D [editor.] | Mariani, J. A [editor.] | Shepherd, W. D [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
SWAT 88 [electronic resource] : 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5–8, 1988 Proceedings / edited by Rolf Karlsson, Andrzej Lingas.

by Karlsson, Rolf [editor.] | Lingas, Andrzej [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings / edited by Timo Lepistö, Arto Salomaa.

by Lepistö, Timo [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
An Attribute Grammar for the Semantic Analysis of Ada [electronic resource] / edited by Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner.

by Uhl, Jürgen [editor.] | Drossopoulou, Sophia [editor.] | Persch, Guido [editor.] | Goos, Gerhard [editor.] | Dausmann, Manfred [editor.] | Winterstein, Georg [editor.] | Kirchgässner, Walter [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982 / edited by Mogens Nielsen, Erik Meineche Schmidt.

by Nielsen, Mogens [editor.] | Schmidt, Erik Meineche [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Time Series Package (TSPACK) [electronic resource] / edited by François S. Chaghaghi.

by Chaghaghi, François S [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Petri Nets 1984 [electronic resource] / edited by G. Rozenberg.

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

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

Place hold Log in to add tags
E-BOOKS
Net Theory and Applications [electronic resource] : Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8–19, 1979 / edited by Wilfried Brauer.

by Brauer, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 84Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Automata, Languages and Programming [electronic resource] : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 / edited by Jaco Bakker, Jan Leeuwen.

by Bakker, Jaco [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 85Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Paragon [electronic resource] : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types / by Mark Steven Sherman.

by Sherman, Mark Steven [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
GAG: A Practical Compiler Generator [electronic resource] / by Uwe Kastens, Brigitte Hutt, Erich Zimmermann.

by Kastens, Uwe [author.] | Hutt, Brigitte [author.] | Zimmermann, Erich [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Distributed Systems [electronic resource] : Methods and Tools for Specification An Advanced Course / edited by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider.

by Paul, M [editor.] | Siegert, H. J [editor.] | Alford, M. W [editor.] | Ansart, J. P [editor.] | Hommel, G [editor.] | Lamport, L [editor.] | Liskov, B [editor.] | Mullery, G. P [editor.] | Schneider, F. B [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha