Your search returned 1551 results.

Not what you expected? Check for suggestions
E-BOOKS
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings / edited by Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt.

by Al-Begain, Khalid [editor.] | Fiems, Dieter [editor.] | Knottenbelt, William J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6148Source: 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
Distributed Computing in Sensor Systems [electronic resource] : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings / edited by Rajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione.

by Rajaraman, Rajmohan [editor.] | Moscibroda, Thomas [editor.] | Dunkels, Adam [editor.] | Scaglione, Anna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6131Source: 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
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers / edited by Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri.

by Masulli, Francesco [editor.] | Peterson, Leif E [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6160Source: 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
Advanced Intelligent Computing Theories and Applications [electronic resource] : 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings / edited by De-Shuang Huang, Zhongming Zhao, Vitoantonio Bevilacqua, Juan Carlos Figueroa.

by Huang, De-Shuang [editor.] | Zhao, Zhongming [editor.] | Bevilacqua, Vitoantonio [editor.] | Figueroa, Juan Carlos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6215Source: 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
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings / edited by De-Shuang Huang, Xiang Zhang, Carlos Alberto Reyes García, Lei Zhang.

by Huang, De-Shuang [editor.] | Zhang, Xiang [editor.] | Reyes García, Carlos Alberto [editor.] | Zhang, Lei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6216Source: 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
Data Integration in the Life Sciences [electronic resource] : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings / edited by Patrick Lambrix, Graham Kemp.

by Lambrix, Patrick [editor.] | Kemp, Graham [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6254Source: 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
Geographic Information Science [electronic resource] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder.

by Fabrikant, Sara Irina [editor.] | Reichenbacher, Tumasch [editor.] | Kreveld, Marc [editor.] | Schlieder, Christoph [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6292Source: 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
Incentives, Overlays, and Economic Traffic Control [electronic resource] : Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings / edited by Burkhard Stiller, Tobias Hoßfeld, George D. Stamoulis.

by Stiller, Burkhard [editor.] | Hoßfeld, Tobias [editor.] | Stamoulis, George D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6236Source: 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
Objects and Databases [electronic resource] : Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings / edited by Alan Dearle, Roberto V. Zicari.

by Dearle, Alan [editor.] | Zicari, Roberto V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6348Source: 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
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6416Source: 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 Smart Internet [electronic resource] : Current Research and Future Applications / edited by Mark Chignell, James Cordy, Joanna Ng, Yelena Yesha.

by Chignell, Mark [editor.] | Cordy, James [editor.] | Ng, Joanna [editor.] | Yesha, Yelena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6400Source: 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
Evolutionary Multi-Criterion Optimization [electronic resource] : 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings / edited by Ricardo H. C. Takahashi, Kalyanmoy Deb, Elizabeth F. Wanner, Salvatore Greco.

by Takahashi, Ricardo H. C [editor.] | Deb, Kalyanmoy [editor.] | Wanner, Elizabeth F [editor.] | Greco, Salvatore [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6576Source: 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
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings / edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard.

by Ayala, José L [editor.] | García-Cámara, Braulio [editor.] | Prieto, Manuel [editor.] | Ruggiero, Martino [editor.] | Sicard, Gilles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6951Source: 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
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges [electronic resource] : IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers / edited by Karin Anna Hummel, Helmut Hlavacs, Wilfried Gansterer.

by Hummel, Karin Anna [editor.] | Hlavacs, Helmut [editor.] | Gansterer, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6821Source: 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
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.

by Beringer, Lennart [editor.] | Felty, Amy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7406Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings / edited by Dieter Gollmann, Felix C. Freiling.

by Gollmann, Dieter [editor.] | Freiling, Felix C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7483Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise.

by Nielsen, Brian [editor.] | Weise, Carsten [editor.] | SpringerLink (Online service).

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