Your search returned 1007 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings / edited by Alan J. Hu, Moshe Y. Vardi.

by Hu, Alan J [editor.] | Vardi, Moshe Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1427Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Mathematics of Program Construction [electronic resource] : 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings / edited by Johan Jeuring.

by Jeuring, Johan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1422Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Hybrid Systems IV [electronic resource] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry.

by Antsaklis, Panos [editor.] | Kohn, Wolf [editor.] | Nerode, Anil [editor.] | Sastry, Shankar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1273Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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] : 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings / edited by Elsa L. Gunter, Amy Felty.

by Gunter, Elsa L [editor.] | Felty, Amy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1275Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Theoretical Aspects of Computer Software [electronic resource] : Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings / edited by Martín Abadi, Takayasu Ito.

by Abadi, Martín [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1281Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Modular Compiler Verification [electronic resource] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Markus Müller-Olm.

by Müller-Olm, Markus [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1283Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford.

by Doherty, Gavin [editor.] | Blandford, Ann [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4323Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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] : 4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1302Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas.

by Fitzgerald, John [editor.] | Jones, Cliff B [editor.] | Lucas, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1313Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Research and Advanced Technology for Digital Libraries [electronic resource] : First European Conference, ECDL'97 Pisa, Italy, September 1–3, 1997 Proceedings / edited by Carol Peters, Costantino Thanos.

by Peters, Carol [editor.] | Thanos, Costantino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1324Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Practical Aspects of Declarative Languages [electronic resource] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings / edited by Michael Hanus.

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

Series: Lecture Notes in Computer Science ; 4354Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Algebraic Methodology and Software Technology [electronic resource] : 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings / edited by Michael Johnson.

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

Series: Lecture Notes in Computer Science ; 1349Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Automatic Verification of Sequential Infinite-State Processes [electronic resource] / by Olaf Burkart.

by Burkart, Olaf [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1354Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 IV Agent Theories, Architectures, and Languages [electronic resource] : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24–26, 1997 Proceedings / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge.

by Singh, Munindar P [editor.] | Rao, Anand [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1365Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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] : 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers / edited by Francesco Parisi Presicce.

by Presicce, Francesco Parisi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1376Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings / edited by Maurice Nivat.

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

Series: Lecture Notes in Computer Science ; 1378Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Systems [electronic resource] : 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Chris Hankin.

by Hankin, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1381Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Fundamental Approaches to Software Engineering [electronic resource] : First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Egidio Astesiano.

by Astesiano, Egidio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1382Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Compiler Construction [electronic resource] : 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Kai Koskimies.

by Koskimies, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1383Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski.

by Cook, Byron [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

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