Your search returned 227 results.

Not what you expected? Check for suggestions
E-BOOKS
Mathematical Foundations of Computer Science 1976 [electronic resource] : Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976 / edited by Antoni Mazurkiewicz.

by Mazurkiewicz, Antoni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 45Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1976Online 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
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / edited by K. Samelson.

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

Series: Lecture Notes in Computer Science ; 44Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1976Online 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 Calculus of Communicating Systems [electronic resource] / edited by Robin Milner.

by Milner, Robin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 92Source: 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
Computing Methods in Applied Sciences and Engineering Part 1 [electronic resource] : International Symposium, Versailles, December 17–21, 1973 / edited by R. Glowinski, J. L. Lions.

by Glowinski, R [editor.] | Lions, J. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 10Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Other title: IRIA LABORIA, Institut de Recherche d'Informatique et d'Automatique.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
Computing Methods in Applied Sciences and Engineering Part 2 [electronic resource] : International Symposium, Versailles, December 17–21, 1973 / edited by R. Glowinski, J. L. Lions.

by Glowinski, R [editor.] | Lions, J. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 11Source: Springer eBooksMaterial type: Text Text;Language: ; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Other title: IRIA LABORIA, Institut de Recherche d'Informatique et d'Automatique.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
Architecture of Distributed Computer Systems [electronic resource] / edited by Gregor Bochmann.

by Bochmann, Gregor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 77Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online 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
Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.

by Gordon, Michael J [author.] | Milner, Arthur J [author.] | Wadsworth, Christopher P [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 78Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online 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
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
CONLAN Report [electronic resource] / by Robert Piloty, Dominique Borrione, Mario R. Barbacci, D. L. Dietmeyer, Frederick J. Hill, Patrick Skelly.

by Piloty, Robert [author.] | Borrione, Dominique [author.] | Barbacci, Mario R [author.] | Dietmeyer, D. L [author.] | Hill, Frederick J [author.] | Skelly, Patrick [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 151Source: 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
Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings / edited by Tamás Horváth, Akihiro Yamamoto.

by Horváth, Tamás [editor.] | Yamamoto, Akihiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2835Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers / edited by Bernhard K. Aichernig, Tom Maibaum.

by Aichernig, Bernhard K [editor.] | Maibaum, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2757Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Recent Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker.

by Wirsing, Martin [editor.] | Pattinson, Dirk [editor.] | Hennicker, Rolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2755Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber.

by Ehrig, Hartmut [editor.] | Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2472Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 Logic System of Concept Graphs with Negation [electronic resource] : And Its Relationship to Predicate Logic / by Frithjof Dau.

by Dau, Frithjof [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2892Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Cryptography and Coding [electronic resource] : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003. Proceedings / edited by Kenneth G. Paterson.

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

Series: Lecture Notes in Computer Science ; 2898Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Rewriting Techniques and Applications [electronic resource] : 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings / edited by Robert Nieuwenhuis.

by Nieuwenhuis, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2706Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Static Analysis [electronic resource] : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings / edited by Radhia Cousot.

by Cousot, Radhia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2694Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2003 Toronto, Canada, June 26–27, 2003 Proceedings / edited by Michael J. Voss.

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

Series: Lecture Notes in Computer Science ; 2716Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Computational Processing of the Portuguese Language [electronic resource] : 6th International Workshop, PROPOR 2003 Faro, Portugal, June 26–27, 2003 Proceedings / edited by Nuno J. Mamede, Isabel Trancoso, Jorge Baptista, Maria Graças Volpe Nunes.

by Mamede, Nuno J [editor.] | Trancoso, Isabel [editor.] | Baptista, Jorge [editor.] | Graças Volpe Nunes, Maria [editor.] | SpringerLink (Online service).

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