Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic and Machines: Decision Problems and Complexity [electronic resource] : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, D. Rödding.

by Börger, E [editor.] | Hasenjaeger, G [editor.] | Rödding, D [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
PORTAL Language Description [electronic resource] / by Arnold Businger.

by Businger, Arnold [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 198Source: 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
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro.

by Bravetti, Mario [editor.] | Núñez, Manuel [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4184Source: 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
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.

by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Montanari, Ugo [editor.] | Ribeiro, Leila [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4178Source: 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 II / edited by Stefanos Kollias, Andreas Stafylopatis, Włodzisław Duch, Erkki Oja.

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

Series: Lecture Notes in Computer Science ; 4132Source: 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
Algorithms – ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Yossi Azar, Thomas Erlebach.

by Azar, Yossi [editor.] | Erlebach, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4168Source: 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
Database and XML Technologies [electronic resource] : 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings / edited by Sihem Amer-Yahia, Zohra Bellahsène, Ela Hunt, Rainer Unland, Jeffrey Xu Yu.

by Amer-Yahia, Sihem [editor.] | Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Unland, Rainer [editor.] | Yu, Jeffrey Xu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4156Source: 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
Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16–20, 1984 / edited by Jan Paredaens.

by Paredaens, Jan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Supercomputing [electronic resource] : 1st International Conference Athens, Greece, June 8–12, 1987 Proceedings / edited by E. N. Houstis, T. S. Papatheodorou, C. D. Polychronopoulos.

by Houstis, E. N [editor.] | Papatheodorou, T. S [editor.] | Polychronopoulos, C. D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 297Source: 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
Semantics of Data Types [electronic resource] : International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings / edited by Gilles Kahn, David B. MacQueen, Gordon Plotkin.

by Kahn, Gilles [editor.] | MacQueen, David B [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
EUROSAM 84 [electronic resource] : International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984 / edited by John Fitch.

by Fitch, John [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Business Process Management [electronic resource] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth.

by Dustdar, Schahram [editor.] | Fiadeiro, José Luiz [editor.] | Sheth, Amit P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4102Source: 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
P-Functions and Boolean Matrix Factorization [electronic resource] : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms / by André Thayse.

by Thayse, André [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Programming Language Semantics [electronic resource] : 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

by Main, M [editor.] | Melton, A [editor.] | Mislove, M [editor.] | Schmidt, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 298Source: 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
Mathematical Foundations of Computer Science 1984 [electronic resource] : Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984 / edited by M. P. Chytil, V. Koubek.

by Chytil, M. P [editor.] | Koubek, V [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
CAAP '88 [electronic resource] : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21–24, 1988 Proceedings / edited by M. Dauchet, M. Nivat.

by Dauchet, M [editor.] | Nivat, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 299Source: 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
Programming Languages and Their Definition [electronic resource] : H. Bekič (1936–1982) / edited by C. B. Jones.

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

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

Place hold Log in to add tags
E-BOOKS
ESOP '88 [electronic resource] : 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings / edited by H. Ganzinger.

by Ganzinger, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 300Source: 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
Readings on Cognitive Ergonomics — Mind and Computers [electronic resource] : Proceedings of the 2nd European Conference Gmunden, Austria, September 10–14, 1984 / edited by Gerrit C. Veer, Michael J. Tauber, Thomas R. G. Green, Peter Gorny.

by Veer, Gerrit C [editor.] | Tauber, Michael J [editor.] | Green, Thomas R. G [editor.] | Gorny, Peter [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Pattern Recognition [electronic resource] : 4th International Conference Cambridge, U.K., March 28–30, 1988 Proceedings / edited by J. Kittler.

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

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

Powered by Koha