Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / edited by Reinhard Gotzhein, Rick Reed.

by Gotzhein, Reinhard [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4320Source: 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): .

E-BOOKS
Distributed Computing and Internet Technology [electronic resource] : Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings / edited by Sanjay K. Madria, Kajal T. Claypool, Rajgopal Kannan, Prem Uppuluri, Manoj Madhava Gore.

by Madria, Sanjay K [editor.] | Claypool, Kajal T [editor.] | Kannan, Rajgopal [editor.] | Uppuluri, Prem [editor.] | Gore, Manoj Madhava [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4317Source: 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): .

E-BOOKS
Development and Evolution of Software Architectures for Product Families [electronic resource] : Second International ESPRIT ARES Workshop Las Palmas de Gran Canaria, Spain February 26–27, 1998 Proceedings / edited by Frank Linden.

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

Series: Lecture Notes in Computer Science ; 1429Source: 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): .

E-BOOKS
Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / edited by Jasmin Fisher.

by Fisher, Jasmin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5054Source: 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): .

E-BOOKS
Intelligent Agent Systems Theoretical and Practical Issues [electronic resource] : Based on a Workshop Held at PRICAI '96 Cairns, Australia, August 26–30, 1996 / edited by Lawrence Cavedon, Anand Rao, Wayne Wobcke.

by Cavedon, Lawrence [editor.] | Rao, Anand [editor.] | Wobcke, Wayne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1209Source: 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): .

E-BOOKS
Studies of Software Design [electronic resource] : ICSE'93 Workshop Maltimore, Maryland, USA, May 17–18, 1993 Selected Papers / edited by David Alex Lamb.

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

Series: Lecture Notes in Computer Science ; 1078Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Advanced Information Systems Engineering [electronic resource] : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20–24, 1996 Proceedings / edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou.

by Constantopoulos, Panos [editor.] | Mylopoulos, John [editor.] | Vassiliou, Yannis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1080Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Reliable Software Technologies — Ada-Europe '96 [electronic resource] : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings / edited by Alfred Strohmeier.

by Strohmeier, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1088Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Intelligent Tutoring Systems [electronic resource] : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings / edited by Claude Frasson, Gilles Gauthier, Alan Lesgold.

by Frasson, Claude [editor.] | Gauthier, Gilles [editor.] | Lesgold, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1086Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
ZUM '97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | Till, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1212Source: 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): .

E-BOOKS
Persuasive Technology [electronic resource] : Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings / edited by Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm.

by Oinas-Kukkonen, Harri [editor.] | Hasle, Per [editor.] | Harjumaa, Marja [editor.] | Segerståhl, Katarina [editor.] | Øhrstrøm, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5033Source: 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): .

E-BOOKS
TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / edited by Michel Bidoit, Max Dauchet.

by Bidoit, Michel [editor.] | Dauchet, Max [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1214Source: 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): .

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings / edited by Ed Brinksma.

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

Series: Lecture Notes in Computer Science ; 1217Source: 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): .

E-BOOKS
Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa.

by Suzuki, Kenji [editor.] | Higashino, Teruo [editor.] | Ulrich, Andreas [editor.] | Hasegawa, Toru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5047Source: 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): .

E-BOOKS
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings / edited by Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss.

by Mueller, Matthias S [editor.] | Chapman, Barbara M [editor.] | Supinski, Bronis R [editor.] | Malony, Allen D [editor.] | Voss, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4315Source: 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): .

E-BOOKS
ECOOP ’96 — Object-Oriented Programming [electronic resource] : 10th European Conference Linz, Austria, July 8–12, 1996 Proceedings / edited by Pierre Cointe.

by Cointe, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1098Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Artificial Intelligence in Structural Engineering [electronic resource] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / edited by Ian Smith.

by Smith, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1454Source: 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): .

E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat.

by Wirsing, Martin [editor.] | Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1101Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger.

by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1102Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Aided Systems Theory — CAST '94 [electronic resource] : 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers / edited by George J. Klir, Tuncer I. Ören.

by Klir, George J [editor.] | Ören, Tuncer I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1105Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha