Your search returned 208 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Multi-Agent Systems and Applications III [electronic resource] : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16–18, 2003 Proceedings / edited by Vladimír Mařík, Michal Pěchouček, Jörg Müller.

by Mařík, Vladimír [editor.] | Pěchouček, Michal [editor.] | Müller, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2691Source: 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
Graph Based Representations in Pattern Recognition [electronic resource] : 4th IAPR International Workshop, GbRPR 2003 York, UK, June 30 – July 2, 2003 Proceedings / edited by Edwin Hancock, Mario Vento.

by Hancock, Edwin [editor.] | Vento, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2726Source: 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
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings / edited by Thomas Dyhre Nielsen, Nevin Lianwen Zhang.

by Nielsen, Thomas Dyhre [editor.] | Zhang, Nevin Lianwen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2711Source: 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
Advances in Spatial and Temporal Databases [electronic resource] : 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 2003. Proceedings / edited by Thanasis Hadzilacos, Yannis Manolopoulos, John Roddick, Yannis Theodoridis.

by Hadzilacos, Thanasis [editor.] | Manolopoulos, Yannis [editor.] | Roddick, John [editor.] | Theodoridis, Yannis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2750Source: 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
Implementation and Application of Automata [electronic resource] : 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings / edited by Oscar H. Ibarra, Zhe Dang.

by Ibarra, Oscar H [editor.] | Dang, Zhe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2759Source: 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
Innovative Concepts for Agent-Based Systems [electronic resource] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / edited by Walt Truszkowski, Mike Hinchey, Chris Rouff.

by Truszkowski, Walt [editor.] | Hinchey, Mike [editor.] | Rouff, Chris [editor.] | SpringerLink (Online service).

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