Your search returned 3393 results.

Not what you expected? Check for suggestions
E-BOOKS
Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.

by Siegler, Simon [editor.] | Wasser, Nathan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6463Source: 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
From Active Data Management to Event-Based Systems and More [electronic resource] : Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday / edited by Kai Sachs, Ilia Petrov, Pablo Guerrero.

by Sachs, Kai [editor.] | Petrov, Ilia [editor.] | Guerrero, Pablo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6462Source: 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 Robotics [electronic resource] : Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings / edited by Shuzhi Sam Ge, Haizhou Li, John-John Cabibihan, Yeow Kee Tan.

by Ge, Shuzhi Sam [editor.] | Li, Haizhou [editor.] | Cabibihan, John-John [editor.] | Tan, Yeow Kee [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6414Source: 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
Simulated Evolution and Learning [electronic resource] : 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010. Proceedings / edited by Kalyanmoy Deb, Arnab Bhattacharya, Nirupam Chakraborti, Partha Chakroborty, Swagatam Das, Joydeep Dutta, Santosh K. Gupta, Ashu Jain, Varun Aggarwal, Jürgen Branke, Sushil J. Louis, Kay Chen Tan.

by Deb, Kalyanmoy [editor.] | Bhattacharya, Arnab [editor.] | Chakraborti, Nirupam [editor.] | Chakroborty, Partha [editor.] | Das, Swagatam [editor.] | Dutta, Joydeep [editor.] | Gupta, Santosh K [editor.] | Jain, Ashu [editor.] | Aggarwal, Varun [editor.] | Branke, Jürgen [editor.] | Louis, Sushil J [editor.] | Tan, Kay Chen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6457Source: 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 Data Mining and Applications [electronic resource] : 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part II / edited by Longbing Cao, Jiang Zhong, Yong Feng.

by Cao, Longbing [editor.] | Zhong, Jiang [editor.] | Feng, Yong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6441Source: 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 Data Mining and Applications [electronic resource] : 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part I / edited by Longbing Cao, Yong Feng, Jiang Zhong.

by Cao, Longbing [editor.] | Feng, Yong [editor.] | Zhong, Jiang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6440Source: 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
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings / edited by Noriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar Stryk.

by Ando, Noriaki [editor.] | Balakirsky, Stephen [editor.] | Hemker, Thomas [editor.] | Reggiani, Monica [editor.] | Stryk, Oskar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6472Source: 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 Web-Based Learning – ICWL 2010 [electronic resource] : 9th International Conference, Shanghai, China, December 8-10, 2010. Proceedings / edited by Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl, Wu Zhang.

by Luo, Xiangfeng [editor.] | Spaniol, Marc [editor.] | Wang, Lizhe [editor.] | Li, Qing [editor.] | Nejdl, Wolfgang [editor.] | Zhang, Wu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6483Source: 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
AI 2010: Advances in Artificial Intelligence [electronic resource] : 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings / edited by Jiuyong Li.

by Li, Jiuyong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6464Source: 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
The Evolution of Conceptual Modeling [electronic resource] : From a Historical Perspective towards the Future of Conceptual Modeling / edited by Roland Kaschek, Lois Delcambre.

by Kaschek, Roland [editor.] | Delcambre, Lois [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6520Source: 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
Learning Classifier Systems [electronic resource] : 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers / edited by Jaume Bacardit, Will Browne, Jan Drugowitsch, Ester Bernadó-Mansilla, Martin V. Butz.

by Bacardit, Jaume [editor.] | Browne, Will [editor.] | Drugowitsch, Jan [editor.] | Bernadó-Mansilla, Ester [editor.] | Butz, Martin V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6471Source: 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov.

by Clarke, Edmund M [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6355Source: 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
Real-World Wireless Sensor Networks [electronic resource] : 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings / edited by Pedro J. Marron, Thiemo Voigt, Peter Corke, Luca Mottola.

by Marron, Pedro J [editor.] | Voigt, Thiemo [editor.] | Corke, Peter [editor.] | Mottola, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6511Source: 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
Sanskrit Computational Linguistics [electronic resource] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings / edited by Girish Nath Jha.

by Jha, Girish Nath [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6465Source: 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
Neural Information Processing. Models and Applications [electronic resource] : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part II / edited by Kok Wai Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum.

by Wong, Kok Wai [editor.] | Mendis, B. Sumudu U [editor.] | Bouzerdoum, Abdesselam [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6444Source: 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
Neural Information Processing. Theory and Algorithms [electronic resource] : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part I / edited by Kok Wai Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum.

by Wong, Kok Wai [editor.] | Mendis, B. Sumudu U [editor.] | Bouzerdoum, Abdesselam [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6443Source: 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
Swarm, Evolutionary, and Memetic Computing [electronic resource] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Subhransu Sekhar Dash.

by Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Dash, Subhransu Sekhar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6466Source: 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
Future Generation Information Technology [electronic resource] : Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Young-hoon Lee, Byeong-Ho Kang, Dominik Ślęzak.

by Kim, Tai-hoon [editor.] | Lee, Young-hoon [editor.] | Kang, Byeong-Ho [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6485Source: 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
Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems / edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger.

by Papazoglou, Mike P [editor.] | Pohl, Klaus [editor.] | Parkin, Michael [editor.] | Metzger, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6500Source: 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
Principles of Distributed Systems [electronic resource] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah.

by Lu, Chenyang [editor.] | Masuzawa, Toshimitsu [editor.] | Mosbah, Mohamed [editor.] | SpringerLink (Online service).

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