Your search returned 440 results.

Not what you expected? Check for suggestions
E-BOOKS
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni.

by Baldoni, Matteo [editor.] | Endriss, Ulle [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3904Source: 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
Reliable Software Technologies – Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings / edited by Luís Miguel Pinho, Michael González Harbour.

by Pinho, Luís Miguel [editor.] | González Harbour, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4006Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001 Revised Papers / edited by Henry G. Dietz.

by Dietz, Henry G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2624Source: 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
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings / edited by Manindra Agrawal, Anil Seth.

by Agrawal, Manindra [editor.] | Seth, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2556Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4111Source: 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
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975 [electronic resource] / edited by H. Brakhage.

by Brakhage, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 33Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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
Software Engineering and Middleware [electronic resource] : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20–21, 2002 Revised Papers / edited by Alberto Coen-Porisini, André Hoek.

by Coen-Porisini, Alberto [editor.] | Hoek, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2596Source: 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
Conditional Term Rewriting Systems [electronic resource] : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings / edited by S. Kaplan, J. -P. Jouannaud.

by Kaplan, S [editor.] | Jouannaud, J. -P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 308Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk.

by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2646Source: 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 Munich Project CIP [electronic resource] / by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner.

by Brauer, F. L [author.] | Berghammer, R [author.] | Dosch, W [author.] | Gnatz, R [author.] | Hangel, E [author.] | Möller, B [author.] | Partsch, H [author.] | Pepper, P [author.] | Samelson, K [author.] | Wössner, H [author.] | Broy, M [author.] | Nickl, F [author.] | Wirsing, M [author.] | Geiselbrechtinger, F [author.] | Hesse, W [author.] | Krieg-Brückner, B [author.] | Laut, A [author.] | Matzner, T [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: By the CIP Language Group.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
Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings / edited by Jin Song Dong, Jim Woodcock.

by Dong, Jin Song [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2885Source: 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
≪UML≫ 2000 — The Unified Modeling Language [electronic resource] : Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings / edited by Andy Evans, Stuart Kent, Bran Selic.

by Evans, Andy [editor.] | Kent, Stuart [editor.] | Selic, Bran [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1939Source: 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
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings / edited by Sanjiv Kapoor, Sanjiva Prasad.

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1974Source: 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
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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4202Source: 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
Component Deployment [electronic resource] : IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings / edited by Judith Bishop.

by Bishop, Judith [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2370Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 2002:Formal Methods—Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Lars-Henrik Eriksson, Peter Alexander Lindsay.

by Eriksson, Lars-Henrik [editor.] | Lindsay, Peter Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2391Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Applied Semantics [electronic resource] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures / edited by Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva.

by Barthe, Gilles [editor.] | Dybjer, Peter [editor.] | Pinto, Luís [editor.] | Saraiva, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2395Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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] : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings / edited by Dragan Bošnački, Stefan Leue.

by Bošnački, Dragan [editor.] | Leue, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2318Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Implementation and Logic Programming [electronic resource] : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings / edited by P. Deransart, B. Lorho, J. Małuszyński.

by Deransart, P [editor.] | Lorho, B [editor.] | Małuszyński, J [editor.] | SpringerLink (Online service).

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