Your search returned 1399 results.

Not what you expected? Check for suggestions
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
Engineering Self-Organising Systems [electronic resource] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sven A. Brueckner, Salima Hassas, Márk Jelasity, Daniel Yamins.

by Brueckner, Sven A [editor.] | Hassas, Salima [editor.] | Jelasity, Márk [editor.] | Yamins, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4335Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt.

by Schneider, Klaus [editor.] | Brandt, Jens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4732Source: 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
Algorithms for Sensor and Ad Hoc Networks [electronic resource] : Advanced Lectures / edited by Dorothea Wagner, Roger Wattenhofer.

by Wagner, Dorothea [editor.] | Wattenhofer, Roger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4621Source: 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
Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva.

by Lämmel, Ralf [editor.] | Visser, Joost [editor.] | Saraiva, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5235Source: 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
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

by Bruni, Roberto [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5387Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings / edited by Fabrice Kordon, Yvon Kermarrec.

by Kordon, Fabrice [editor.] | Kermarrec, Yvon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5570Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Artificial Intelligence Systems [electronic resource] : 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings / edited by Emilio Corchado, Xindong Wu, Erkki Oja, Álvaro Herrero, Bruno Baruque.

by Corchado, Emilio [editor.] | Wu, Xindong [editor.] | Oja, Erkki [editor.] | Herrero, Álvaro [editor.] | Baruque, Bruno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5572Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies / edited by Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher.

by Priami, Corrado [editor.] | Breitling, Rainer [editor.] | Gilbert, David [editor.] | Heiner, Monika [editor.] | Uhrmacher, Adelinde M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5945Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / edited by Tomi Janhunen, Ilkka Niemelä.

by Janhunen, Tomi [editor.] | Niemelä, Ilkka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6341Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
The Semantic Web – ISWC 2010 [electronic resource] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I / edited by Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm.

by Patel-Schneider, Peter F [editor.] | Pan, Yue [editor.] | Hitzler, Pascal [editor.] | Mika, Peter [editor.] | Zhang, Lei [editor.] | Pan, Jeff Z [editor.] | Horrocks, Ian [editor.] | Glimm, Birte [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6496Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Architecture of Computing Systems - ARCS 2011 [electronic resource] : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano.

by Berekovic, Mladen [editor.] | Fornaciari, William [editor.] | Brinkschulte, Uwe [editor.] | Silvano, Cristina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6566Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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 Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.

by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6527Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II / edited by Andrej Dobnikar, Uroš Lotrič, Branko Šter.

by Dobnikar, Andrej [editor.] | Lotrič, Uroš [editor.] | Šter, Branko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6594Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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 for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel.

by Bruni, Roberto [editor.] | Dingel, Juergen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6722Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Wired/Wireless Internet Communications [electronic resource] : 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011. Proceedings / edited by Xavier Masip-Bruin, Dominique Verchere, Vassilis Tsaoussidis, Marcelo Yannuzzi.

by Masip-Bruin, Xavier [editor.] | Verchere, Dominique [editor.] | Tsaoussidis, Vassilis [editor.] | Yannuzzi, Marcelo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6649Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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 Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka.

by Huzar, Zbigniew [editor.] | Koci, Radek [editor.] | Meyer, Bertrand [editor.] | Walter, Bartosz [editor.] | Zendulka, Jaroslav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4980Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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 Conceptual Modeling. Recent Developments and New Directions [electronic resource] : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Olga Troyer, Claudia Bauzer Medeiros, Roland Billen, Pierre Hallot, Alkis Simitsis, Hans Mingroot.

by Troyer, Olga [editor.] | Bauzer Medeiros, Claudia [editor.] | Billen, Roland [editor.] | Hallot, Pierre [editor.] | Simitsis, Alkis [editor.] | Mingroot, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6999Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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 Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.

by Simao, Adenilso [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7021Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service).

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