Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati.

by Cheng, Xiuzhen [editor.] | Li, Wei [editor.] | Znati, Taieb [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4138Source: 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
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.

by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4085Source: 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
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings / edited by Thomas Kunz, S. S. Ravi.

by Kunz, Thomas [editor.] | Ravi, S. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4104Source: 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
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones.

by Ball, Thomas [editor.] | Jones, Robert B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4144Source: 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
Advanced Topics in Exception Handling Techniques [electronic resource] / edited by Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi.

by Dony, Christophe [editor.] | Knudsen, Jørgen Lindskov [editor.] | Romanovsky, Alexander [editor.] | Tripathi, Anand [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4119Source: 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
Software Engineering [electronic resource] : An Advanced Course / edited by F. L. Bauer, J. B. Dennis, W. M. Waite, C. C. Gotlieb, R. M. Graham, M. Griffiths, H. J. Helms, B. Morton, P. C. Poole, D. Tsichritzis.

by Bauer, F. L [editor.] | Dennis, J. B [editor.] | Waite, W. M [editor.] | Gotlieb, C. C [editor.] | Graham, R. M [editor.] | Griffiths, M [editor.] | Helms, H. J [editor.] | Morton, B [editor.] | Poole, P. C [editor.] | Tsichritzis, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 30Source: 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
Parallel and Distributed Processing and Applications [electronic resource] : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings / edited by Minyi Guo, Laurence Tianruo Yang.

by Guo, Minyi [editor.] | Yang, Laurence Tianruo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2745Source: 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
Graph Drawing [electronic resource] : 6th International Symposium, GD’ 98 Montréal, Canada, August 13–15, 1998 Proceedings / edited by Sue H. Whitesides.

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

Series: Lecture Notes in Computer Science ; 1547Source: 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
Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt.

by Löwe, Welf [editor.] | Südholt, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4089Source: 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
Self-Organizing Systems [electronic resource] : First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings / edited by Hermann Meer, James P. G. Sterbenz.

by Meer, Hermann [editor.] | Sterbenz, James P. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4124Source: 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
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger.

by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4147Source: 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] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings / edited by Kwangkeun Yi.

by Yi, Kwangkeun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4134Source: 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
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner.

by Nagel, Wolfgang E [editor.] | Walter, Wolfgang V [editor.] | Lehner, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4128Source: 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
Ambient Intelligence in Everyday Life [electronic resource] : Foreword by Emile Aarts / edited by Yang Cai, Julio Abascal.

by Cai, Yang [editor.] | Abascal, Julio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3864Source: 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
Future Directions in Distributed Computing [electronic resource] : Research and Position Papers / edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao.

by Schiper, André [editor.] | Shvartsman, Alex A [editor.] | Weatherspoon, Hakim [editor.] | Zhao, Ben Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2584Source: 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
Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings / edited by Renate A. Schmidt.

by Schmidt, Renate A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4136Source: 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
Theory of Program Structures: Schemes, Semantics, Verification [electronic resource] / edited by Sheila A. Greibach.

by Greibach, Sheila A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 36Source: 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
Advances in Informatics [electronic resource] : 8th Panhellenic Conference on Informatics, PCI 2001 Nicosia, Cyprus, November 8–10, 2001 Revised Selected Papers / edited by Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas.

by Manolopoulos, Yannis [editor.] | Evripidou, Skevos [editor.] | Kakas, Antonis C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2563Source: 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
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
Abstract Software Specifications [electronic resource] : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings / edited by Dines Bjøorner.

by Bjøorner, Dines [editor.] | SpringerLink (Online service).

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