Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings / edited by Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch.

by Lipp, Peter [editor.] | Sadeghi, Ahmad-Reza [editor.] | Koch, Klaus-Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4968Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklós Telek.

by Al-Begain, Khalid [editor.] | Heindl, Armin [editor.] | Telek, Miklós [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5055Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings / edited by Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali.

by Nguyen, Ngoc Thanh [editor.] | Borzemski, Leszek [editor.] | Grzech, Adam [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5027Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings / edited by Miquel Bertran, Teodor Rus.

by Bertran, Miquel [editor.] | Rus, Teodor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1231Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.

by Beckert, Bernhard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4334Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / edited by Barbara Paech, Colette Rolland.

by Paech, Barbara [editor.] | Rolland, Colette [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5025Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Configuration Management [electronic resource] : ICSE'97 SCM-7 Workshop Boston, MA, USA, May 18–19, 1997 Proceedings / edited by Reidar Conradi.

by Conradi, Reidar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1235Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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’98 — Object-Oriented Programming [electronic resource] : 12th European Conference Brussels, Belgium, July 20–24, 1998 Proceedings / edited by Eric Jul.

by Jul, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1445Source: 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
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / edited by Holger Giese.

by Giese, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5002Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
System Configuration Management [electronic resource] : ECOOP'98 SCM-8 Symposium Brussels, Belgium, July 20–21, 1998 Proceedings / edited by Boris Magnusson.

by Magnusson, Boris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1439Source: 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
Model Driven Architecture – Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / edited by Ina Schieferdecker, Alan Hartman.

by Schieferdecker, Ina [editor.] | Hartman, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5095Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Application and Theory of Petri Nets 1998 [electronic resource] : 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings / edited by Jörg Desel, Manuel Silva.

by Desel, Jörg [editor.] | Silva, Manuel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1420Source: 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
ECOOP'97 — Object-Oriented Programming [electronic resource] : 11th European Conference Jyväskylä, Finland, June 9–13, 1997 Proceedings / edited by Mehmet Akşit, Satoshi Matsuoka.

by Akşit, Mehmet [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1241Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 Information Systems Engineering [electronic resource] : 9th International Conference, CAiSE'97 Barcelona, Catalonia, Spain, June 16–20, 1997 Proceedings / edited by Antoni Olivé, Joan Antoni Pastor.

by Olivé, Antoni [editor.] | Pastor, Joan Antoni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1250Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.

by Meyer, Bertrand [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4171Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 '97 [electronic resource] : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings / edited by Keith Hardy, Jim Briggs.

by Hardy, Keith [editor.] | Briggs, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1251Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Intelligence in Services and Networks: Technology for Cooperative Competition [electronic resource] : Fourth International Conference on Intelligence in Services and Networks, IS&N'97 Cernobbio, Italy, May 27–29, 1997 Proceedings / edited by Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed.

by Mullery, Al [editor.] | Besson, Michel [editor.] | Campolargo, Mario [editor.] | Gobbi, Roberta [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1238Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal.

by Alpuente, María [editor.] | Vidal, Germán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5079Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Ada 95 Rationale [electronic resource] : The Language The Standard Libraries / edited by John Barnes.

by Barnes, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1247Source: 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
Ada 95 Reference Manual [electronic resource] : Language and Standard Libraries / edited by S. Tucker Taft, Robert A. Duff.

by Tucker Taft, S [editor.] | Duff, Robert A [editor.] | SpringerLink (Online service).

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

Powered by Koha