Your search returned 1047 results.

Not what you expected? Check for suggestions
E-BOOKS
Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / edited by Willem-Paul Roever, Hans Langmaack, Amir Pnueli.

by Roever, Willem-Paul [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1536Source: 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
Extensions of the UNITY Methodology [electronic resource] : Compositionality, Fairness and Probability in Parallelism / edited by Josyula Ramachandra Rao.

by Rao, Josyula Ramachandra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 908Source: 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
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.

by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 915Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings / edited by Armando M. Haeberer.

by Haeberer, Armando M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1548Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 in Object-Oriented Parallel Environments [electronic resource] : Second International Symposium, ISCOPE 98 Santa Fe, NM, USA, December 8–11, 1998 Proceedings / edited by Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn.

by Caromel, Denis [editor.] | Oldehoeft, Rodney R [editor.] | Tholburn, Marydell [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1505Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings / edited by V. S. Alagar, Maurice Nivat.

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

Series: Lecture Notes in Computer Science ; 936Source: 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
Computer Aided Verification [electronic resource] : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings / edited by Pierre Wolper.

by Wolper, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 939Source: 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
Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem / edited by Patrice Godefroid.

by Godefroid, Patrice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1032Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / edited by Bernhard Möller.

by Möller, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 947Source: 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
Formal Methods for Industrial Applications [electronic resource] : Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond [editor.] | Börger, Egon [editor.] | Langmaack, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1165Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 in Computer-Aided Design [electronic resource] : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri.

by Srivas, Mandayam [editor.] | Camilleri, Albert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1166Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / edited by Manfred Broy, Stephan Merz, Katharina Spies.

by Broy, Manfred [editor.] | Merz, Stephan [editor.] | Spies, Katharina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1169Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1181Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Optimal Interprocedural Program Optimization [electronic resource] : A New Framework and Its Application / by Jens Knoop.

by Knoop, Jens [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1428Source: 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
Computer Safety, Reliability and Security [electronic resource] : 17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings / edited by Wolfgang Ehrenberger.

by Ehrenberger, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1516Source: 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
ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey.

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

Series: Lecture Notes in Computer Science ; 1493Source: 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
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff.

by Havelund, Klaus [editor.] | Núñez, Manuel [editor.] | Roşu, Grigore [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4262Source: 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
Static Analysis [electronic resource] : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings / edited by Giorgio Levi.

by Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1503Source: 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
FME'96: Industrial Benefit and Advances in Formal Methods [electronic resource] : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings / edited by Marie-Claude Gaudel, James Woodcock.

by Gaudel, Marie-Claude [editor.] | Woodcock, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1051Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings / edited by Anders P. Ravn, Hans Rischel.

by Ravn, Anders P [editor.] | Rischel, Hans [editor.] | SpringerLink (Online service).

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

Powered by Koha