Your search returned 3450 results.

Not what you expected? Check for suggestions
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
Social Informatics [electronic resource] : Second International Conference, SocInfo 2010, Laxenburg, Austria, October 27-29, 2010. Proceedings / edited by Leonard Bolc, Marek Makowski, Adam Wierzbicki.

by Bolc, Leonard [editor.] | Makowski, Marek [editor.] | Wierzbicki, Adam [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6430Source: 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
Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou.

by Xie, Bing [editor.] | Branke, Juergen [editor.] | Sadjadi, S. Masoud [editor.] | Zhang, Daqing [editor.] | Zhou, Xingshe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6407Source: 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
Recent Trends and Developments in Social Software [electronic resource] : International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers / edited by John G. Breslin, Thomas N. Burg, Hong-Gee Kim, Tom Raftery, Jan-Hinrik Schmidt.

by Breslin, John G [editor.] | Burg, Thomas N [editor.] | Kim, Hong-Gee [editor.] | Raftery, Tom [editor.] | Schmidt, Jan-Hinrik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6045Source: 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
Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu.

by Liu, Honghai [editor.] | Ding, Han [editor.] | Xiong, Zhenhua [editor.] | Zhu, Xiangyang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6424Source: 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
Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu.

by Liu, Honghai [editor.] | Ding, Han [editor.] | Xiong, Zhenhua [editor.] | Zhu, Xiangyang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6425Source: 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
HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings / edited by Gerhard Leitner, Martin Hitz, Andreas Holzinger.

by Leitner, Gerhard [editor.] | Hitz, Martin [editor.] | Holzinger, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6389Source: 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 Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen.

by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6421Source: 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 Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen.

by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6423Source: 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
Web-Age Information Management [electronic resource] : WAIM 2010 International Workshops: IWGD 2010, XMLDM 2010, WCMT 2010, Jiuzhaigou Valley, China, July 15-17, 2010 Revised Selected Papers / edited by Heng Tao Shen, Jian Pei, M. Tamer Özsu, Lei Zou, Jiaheng Lu, Tok-Wang Ling, Ge Yu, Yi Zhuang, Jie Shao.

by Shen, Heng Tao [editor.] | Pei, Jian [editor.] | Özsu, M. Tamer [editor.] | Zou, Lei [editor.] | Lu, Jiaheng [editor.] | Ling, Tok-Wang [editor.] | Yu, Ge [editor.] | Zhuang, Yi [editor.] | Shao, Jie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6185Source: 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 Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010, Proceedings, Part II / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen.

by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6422Source: 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
Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers / edited by Siddika Berna Ors Yalcin.

by Ors Yalcin, Siddika Berna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6370Source: 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
Advances in Information and Computer Security [electronic resource] : 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings / edited by Isao Echizen, Noboru Kunihiro, Ryoichi Sasaki.

by Echizen, Isao [editor.] | Kunihiro, Noboru [editor.] | Sasaki, Ryoichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6434Source: 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 Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák.

by Dix, Jürgen [editor.] | Fisher, Michael [editor.] | Novák, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6214Source: 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
Digital Heritage [electronic resource] : Third International Conference, EuroMed 2010, Lemessos, Cyprus, November 8-13, 2010. Proceedings / edited by Marinos Ioannides, Dieter Fellner, Andreas Georgopoulos, Diofantos G. Hadjimitsis.

by Ioannides, Marinos [editor.] | Fellner, Dieter [editor.] | Georgopoulos, Andreas [editor.] | Hadjimitsis, Diofantos G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6436Source: 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
Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu.

by Dong, Jin Song [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6447Source: 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
Ambient Intelligence [electronic resource] : First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings / edited by Boris Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez.

by Ruyter, Boris [editor.] | Wichert, Reiner [editor.] | Keyson, David V [editor.] | Markopoulos, Panos [editor.] | Streitz, Norbert [editor.] | Divitini, Monica [editor.] | Georgantas, Nikolaos [editor.] | Mana Gomez, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6439Source: 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
Graph Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers / edited by Dimitrios M. Thilikos.

by Thilikos, Dimitrios M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6410Source: 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
On the Move to Meaningful Internet Systems: OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I / 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 ; 6426Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha