Your search returned 1047 results.

Not what you expected? Check for suggestions
E-BOOKS
Self-Adaptive Software [electronic resource] : First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers / edited by Paul Robertson, Howie Shrobe, Robert Laddaga.

by Robertson, Paul [editor.] | Shrobe, Howie [editor.] | Laddaga, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1936Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings / edited by Gérard Berry, Hubert Comon, Alain Finkel.

by Berry, Gérard [editor.] | Comon, Hubert [editor.] | Finkel, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2102Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers / edited by Didier Bert, Christine Choppy, Peter D. Mosses.

by Bert, Didier [editor.] | Choppy, Christine [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1827Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings / edited by Cristiano Castelfranchi, Yves Lespérance.

by Castelfranchi, Cristiano [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1986Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Intelligent Agents: Specification, Modeling, and Applications [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings / edited by Soe -Tsyr Yuan, Makoto Yokoo.

by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2132Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison.

by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1869Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Category Theory and Computer Science [electronic resource] : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings / edited by David Pitt, David E. Rydeheard, Peter Johnstone.

by Pitt, David [editor.] | Rydeheard, David E [editor.] | Johnstone, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 953Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Lectures on Formal Methods and PerformanceAnalysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen.

by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2090Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Interactive Systems Design, Specification, and Verification [electronic resource] : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò.

by Palanque, Philippe [editor.] | Paternò, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1946Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / edited by Richard J. Boulton, Paul B. Jackson.

by Boulton, Richard J [editor.] | Jackson, Paul B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2152Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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 1995 [electronic resource] : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek.

by Wiedermann, Jiří [editor.] | Hájek, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 969Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 967Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham.

by Margaria, Tiziana [editor.] | Melham, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2144Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Process Algebra and Probabilistic Methods. Performance Modelling and Verification [electronic resource] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings / edited by Luca Alfaro, Stephen Gilmore.

by Alfaro, Luca [editor.] | Gilmore, Stephen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2165Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings / edited by Walid Taha.

by Taha, Walid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2196Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Adaptive Agents and Multi-Agent Systems [electronic resource] : Adaptation and Multi-Agent Learning / edited by Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov.

by Alonso, Eduardo [editor.] | Kudenko, Daniel [editor.] | Kazakov, Dimitar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2636Source: 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
Model Checking Software [electronic resource] : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings / edited by Thomas Ball, Sriram K. Rajamani.

by Ball, Thomas [editor.] | Rajamani, Sriram K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2648Source: 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
Advanced Functional Programming [electronic resource] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures / edited by Johan Jeuring, Simon L. Peyton Jones.

by Jeuring, Johan [editor.] | Jones, Simon L. Peyton [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2638Source: 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
Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Ute Schmid.

by Schmid, Ute [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2654Source: 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
ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings / edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén.

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | King, Steve [editor.] | Waldén, Marina [editor.] | SpringerLink (Online service).

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