Your search returned 506 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen.

by Brinksma, Ed [editor.] | Larsen, Kim Guldstrand [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2404Source: 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
Software Frameworks and Embedded Control Systems [electronic resource] / edited by Alessandro Pasetti.

by Pasetti, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2231Source: 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
Computer Safety, Reliability and Security [electronic resource] : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings / edited by Stuart Anderson, Massimo Felici, Sandro Bologna.

by Anderson, Stuart [editor.] | Felici, Massimo [editor.] | Bologna, Sandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2434Source: 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 Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings / edited by Werner Damm, Ernst -Rüdiger Olderog.

by Damm, Werner [editor.] | Olderog, Ernst -Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2469Source: 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
Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings / edited by Janusz Górski.

by Górski, Janusz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4166Source: 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
UbiComp 2002: Ubiquitous Computing [electronic resource] : 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings / edited by Gaetano Borriello, Lars Erik Holmquist.

by Borriello, Gaetano [editor.] | Holmquist, Lars Erik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2498Source: 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
Information Security [electronic resource] : 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 – October 2, 2002 Proceedings / edited by Agnes Hui Chan, Virgil Gligor.

by Chan, Agnes Hui [editor.] | Gligor, Virgil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2433Source: 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
Embedded Software [electronic resource] : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings / edited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis.

by Sangiovanni-Vincentelli, Alberto [editor.] | Sifakis, Joseph [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2491Source: 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
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] / edited by Matthias Pflanz.

by Pflanz, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2270Source: 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
Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings / edited by Claire J. Tomlin, Mark R. Greenstreet.

by Tomlin, Claire J [editor.] | Greenstreet, Mark R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2289Source: 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
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation — SAMOS / edited by Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis.

by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2268Source: 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 Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Proceedings of a Symposium Warwick, UK, September 22–23, 1988 / edited by M. Joseph.

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

Series: Lecture Notes in Computer Science ; 331Source: 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
PARLE '89 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 12–16, 1989 Proceedings / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre.

by Odijk, Eddy [editor.] | Rem, Martin [editor.] | Syre, Jean-Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 365Source: 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
E-BOOKS
PARLE '89 Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 12–16, 1989 Proceedings / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre.

by Odijk, Eddy [editor.] | Rem, Martin [editor.] | Syre, Jean-Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 366Source: 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
E-BOOKS
Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings / edited by Hee Yong Youn, Minkoo Kim, Hiroyuki Morikawa.

by Youn, Hee Yong [editor.] | Kim, Minkoo [editor.] | Morikawa, Hiroyuki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4239Source: 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
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings / edited by Nancy Lynch, Bruce H. Krogh.

by Lynch, Nancy [editor.] | Krogh, Bruce H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1790Source: 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
ESEC '91 [electronic resource] : 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings / edited by Axel Lamsweerde, Alfonso Fugetta.

by Lamsweerde, Axel [editor.] | Fugetta, Alfonso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 550Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Cryptographic Hardware and Embedded Systems - CHES 2006 [electronic resource] : 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings / edited by Louis Goubin, Mitsuru Matsui.

by Goubin, Louis [editor.] | Matsui, Mitsuru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4249Source: 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
Advances in Computing Science — ASIAN’99 [electronic resource] : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings / edited by P. S. Thiagarajan, Roland Yap.

by Thiagarajan, P. S [editor.] | Yap, Roland [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1742Source: 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
Computer Aided Verification [electronic resource] : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings / edited by Kim G. Larsen, Arne Skou.

by Larsen, Kim G [editor.] | Skou, Arne [editor.] | SpringerLink (Online service).

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