Your search returned 2868 results.

Not what you expected? Check for suggestions
E-BOOKS
Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider.

by Barthe, Gilles [editor.] | Pardo, Alberto [editor.] | Schneider, Gerardo [editor.] | SpringerLink (Online service).

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

E-BOOKS
Social Informatics [electronic resource] : Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011. Proceedings / edited by Anwitaman Datta, Stuart Shulman, Baihua Zheng, Shou-De Lin, Aixin Sun, Ee-Peng Lim.

by Datta, Anwitaman [editor.] | Shulman, Stuart [editor.] | Zheng, Baihua [editor.] | Lin, Shou-De [editor.] | Sun, Aixin [editor.] | Lim, Ee-Peng [editor.] | SpringerLink (Online service).

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

E-BOOKS
Communications and Multimedia Security [electronic resource] : 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings / edited by Bart Decker, Jorn Lapon, Vincent Naessens, Andreas Uhl.

by Decker, Bart [editor.] | Lapon, Jorn [editor.] | Naessens, Vincent [editor.] | Uhl, Andreas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas.

by Thomas, Nigel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Towards a Service-Based Internet [electronic resource] : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings / edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière.

by Abramowicz, Witold [editor.] | Llorente, Ignacio M [editor.] | Surridge, Mike [editor.] | Zisman, Andrea [editor.] | Vayssière, Julien [editor.] | SpringerLink (Online service).

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

E-BOOKS
Digital Libraries: For Cultural Heritage, Knowledge Dissemination, and Future Creation [electronic resource] : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011. Proceedings / edited by Chunxiao Xing, Fabio Crestani, Andreas Rauber.

by Xing, Chunxiao [editor.] | Crestani, Fabio [editor.] | Rauber, Andreas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / edited by Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs.

by Brafman, Ronen I [editor.] | Roberts, Fred S [editor.] | Tsoukiàs, Alexis [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings / edited by Frank Olken, Monica Palmirani, Davide Sottara.

by Olken, Frank [editor.] | Palmirani, Monica [editor.] | Sottara, Davide [editor.] | SpringerLink (Online service).

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

E-BOOKS
Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer.

by Agha, Gul [editor.] | Danvy, Olivier [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

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

E-BOOKS
Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose.

by Kinny, David [editor.] | Hsu, Jane Yung-jen [editor.] | Governatori, Guido [editor.] | Ghose, Aditya K [editor.] | SpringerLink (Online service).

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

E-BOOKS
The Semantic Web – ISWC 2011 [electronic resource] : 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I / edited by Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist.

by Aroyo, Lora [editor.] | Welty, Chris [editor.] | Alani, Harith [editor.] | Taylor, Jamie [editor.] | Bernstein, Abraham [editor.] | Kagal, Lalana [editor.] | Noy, Natasha [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service).

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

E-BOOKS
The Semantic Web – ISWC 2011 [electronic resource] : 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part II / edited by Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist.

by Aroyo, Lora [editor.] | Welty, Chris [editor.] | Alani, Harith [editor.] | Taylor, Jamie [editor.] | Bernstein, Abraham [editor.] | Kagal, Lalana [editor.] | Noy, Natasha [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service).

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

E-BOOKS
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania.

by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng-Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service).

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

E-BOOKS
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania.

by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng-Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service).

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

E-BOOKS
On the Move to Meaningful Internet Systems: OTM 2011 Workshops [electronic resource] : Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.

by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Information and Computer Security [electronic resource] : 6th International Workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings / edited by Tetsu Iwata, Masakatsu Nishigaki.

by Iwata, Tetsu [editor.] | Nishigaki, Masakatsu [editor.] | SpringerLink (Online service).

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

E-BOOKS
Ambient Intelligence [electronic resource] : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings / edited by David V. Keyson, Mary Lou Maher, Norbert Streitz, Adrian Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid Aghajan, Ben J. A. Kröse.

by Keyson, David V [editor.] | Maher, Mary Lou [editor.] | Streitz, Norbert [editor.] | Cheok, Adrian [editor.] | Augusto, Juan Carlos [editor.] | Wichert, Reiner [editor.] | Englebienne, Gwenn [editor.] | Aghajan, Hamid [editor.] | Kröse, Ben J. A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information and Communications Security [electronic resource] : 13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011. Proceedings / edited by Sihan Qing, Willy Susilo, Guilin Wang, Dongmei Liu.

by Qing, Sihan [editor.] | Susilo, Willy [editor.] | Wang, Guilin [editor.] | Liu, Dongmei [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings / edited by Baoxiang Liu, Chunlai Chai.

by Liu, Baoxiang [editor.] | Chai, Chunlai [editor.] | SpringerLink (Online service).

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

E-BOOKS
SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / edited by Iulian Ober, Ileana Ober.

by Ober, Iulian [editor.] | Ober, Ileana [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha