Your search returned 1047 results.

Not what you expected? Check for suggestions
E-BOOKS
Embedded Software [electronic resource] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings / edited by Rajeev Alur, Insup Lee.

by Alur, Rajeev [editor.] | Lee, Insup [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2855Source: 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
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings / edited by László Böszörményi, Peter Schojer.

by Böszörményi, László [editor.] | Schojer, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2789Source: 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
FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dino Mandrioli.

by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2805Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Practical Aspects of Declarative Languages [electronic resource] : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings / edited by I. V. Ramakrishnan.

by Ramakrishnan, I. V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1990Source: 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
Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings / edited by Jack Davidson, Sang Lyul Min.

by Davidson, Jack [editor.] | Min, Sang Lyul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1985Source: 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
FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings / edited by José Nuno Oliveira, Pamela Zave.

by Oliveira, José Nuno [editor.] | Zave, Pamela [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2021Source: 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
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser.

by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1885Source: 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
Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Reinhard Wilhelm.

by Wilhelm, Reinhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2027Source: 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
Programming Languages and Systems [electronic resource] : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by David Sands.

by Sands, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2028Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Heinrich Hussmann.

by Hussmann, Heinrich [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2029Source: 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
Foundations of Software Science and Computation Structures [electronic resource] : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Furio Honsell, Marino Miculan.

by Honsell, Furio [editor.] | Miculan, Marino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2030Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2031Source: 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
ECOOP 2001 — Object-Oriented Programming [electronic resource] : 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings / edited by Jørgen Lindskov Knudsen.

by Knudsen, Jørgen Lindskov [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2072Source: 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] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / edited by Walid Taha.

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

Series: Lecture Notes in Computer Science ; 1924Source: 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
Hybrid Systems: Computation and Control [electronic resource] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings / edited by Maria Domenica Benedetto, Alberto Sangiovanni-Vincentelli.

by Benedetto, Maria Domenica [editor.] | Sangiovanni-Vincentelli, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2034Source: 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 Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings / edited by Mathai Joseph.

by Joseph, Mathai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1926Source: 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
Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Markus Müller-Olm.

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

Series: Lecture Notes in Computer Science ; 3800Source: 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
Concurrent Object-Oriented Programming and Petri Nets [electronic resource] : Advances in Petri Nets / edited by Gul A. Agha, Fiorella Cindio, Grzegorz Rozenberg.

by Agha, Gul A [editor.] | Cindio, Fiorella [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2001Source: 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
High-Level Parallel Programming Models and Supportive Environments [electronic resource] : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings / edited by Frank Mueller.

by Mueller, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2026Source: 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 Safety, Reliability and Security [electronic resource] : 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings / edited by Udo Voges.

by Voges, Udo [editor.] | SpringerLink (Online service).

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

Powered by Koha