Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense / edited by W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth.

by Brauer, W [editor.] | Hansen, P. Brinch [editor.] | Gries, D [editor.] | Moler, C [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 106Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Algorithms in Modern Mathematics and Computer Science [electronic resource] : Proceedings, Urgench, Uzbek SSR September 16–22, 1979 / edited by Andrei P. Ershov, Donald E. Knuth.

by Ershov, Andrei P [editor.] | Knuth, Donald E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 122Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer.

by Yang, Laurence T [editor.] | Jin, Hai [editor.] | Ma, Jianhua [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Artificial Neural Networks – ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part I / edited by Stefanos D. Kollias, Andreas Stafylopatis, Włodzisław Duch, Erkki Oja.

by Kollias, Stefanos D [editor.] | Stafylopatis, Andreas [editor.] | Duch, Włodzisław [editor.] | Oja, Erkki [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic of Programs [electronic resource] : Workshop, ETH Zürich, May–July 1979 / edited by Erwin Engeler.

by Engeler, Erwin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 125Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Pictorial Information Systems [electronic resource] / edited by S. K. Chang, K. S. Fu.

by Chang, S. K [editor.] | Fu, K. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 80Source: 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
Data Base Techniques for Pictorial Applications [electronic resource] : Florence, June 20–22, 1979 / edited by A. Blaser.

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

Series: Lecture Notes in Computer Science ; 81Source: 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
Formalization of Programming Concepts [electronic resource] : International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings / edited by J. Díaz, I. Ramos.

by Díaz, J [editor.] | Ramos, I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 107Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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 Theory and Algorithms [electronic resource] : 17th Symposium of Research Institute of Electrical Communication, Tohoku University Sendai, Japan, October 24–25, 1980 Proceedings / edited by N. Saito, T. Nishizeki.

by Saito, N [editor.] | Nishizeki, T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 108Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Digital Image Processing Systems [electronic resource] / edited by Leonard Bloc, Zenon Kulpa.

by Bloc, Leonard [editor.] | Kulpa, Zenon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 109Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Direct Methods for Space Matrices [electronic resource] / edited by Ole Østerby, Zahari Zlatev.

by Østerby, Ole [editor.] | Zlatev, Zahari [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 157Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
Conceptual Structures: Current Practices [electronic resource] : Second International Conference on Conceptual Structures, ICCS'94 College Park, Maryland, USA August 16–20, 1994 Proceedings / edited by William M. Tepfenhart, Judith P. Dick, John F. Sowa.

by Tepfenhart, William M [editor.] | Dick, Judith P [editor.] | Sowa, John F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 835Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Foundations of Computation Theory [electronic resource] : Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983 / edited by Marek Karpinski.

by Karpinski, Marek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 158Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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 IOTA Programming System [electronic resource] : A Modular Programming Environment / edited by Reiji Nakajima, Taiichi Yuasa.

by Nakajima, Reiji [editor.] | Yuasa, Taiichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 160Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
DIANA An Intermediate Language for Ada [electronic resource] / edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.

by Goos, Gerhard [editor.] | Wulf, William A [editor.] | Evans, Arthur [editor.] | Butler, Kenneth J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 161Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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 Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs [electronic resource] / by Waltraud Dehning, Heidrun Essig, Susanne Maass.

by Dehning, Waltraud [author.] | Essig, Heidrun [author.] | Maass, Susanne [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 110Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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'83 [electronic resource] : Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings / edited by Giorgio Ausiello, Marco Protasi.

by Ausiello, Giorgio [editor.] | Protasi, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 159Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Other title: With contributions by numerous experts.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
Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings / edited by W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth, Wolfgang Händler.

by Brauer, W [editor.] | Hansen, P. Brinch [editor.] | Gries, D [editor.] | Moler, C [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | Händler, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 111Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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 '81 [electronic resource] : Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings / edited by Egidio Astesiano, Corrado Böhm.

by Astesiano, Egidio [editor.] | Böhm, Corrado [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 112Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Stochastic Automata: Stability, Nondeterminism, and Prediction [electronic resource] / by Ernst-Erich Doberkat.

by Doberkat, Ernst-Erich [author.] | SpringerLink (Online service).

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