|
|
|
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. by Jouannaud, Jean-Pierre [editor.] | Shao, Zhong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7086Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; 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): .
|
|
|
|
|
Human Behavior Understanding [electronic resource] : Second International Workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011. Proceedings / edited by Albert Ali Salah, Bruno Lepri. by Salah, Albert Ali [editor.] | Lepri, Bruno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7065Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part I / edited by Sabina Jeschke, Honghai Liu, Daniel Schilberg. by Jeschke, Sabina [editor.] | Liu, Honghai [editor.] | Schilberg, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7101Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part II / edited by Sabina Jeschke, Honghai Liu, Daniel Schilberg. by Jeschke, Sabina [editor.] | Liu, Honghai [editor.] | Schilberg, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7102Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Social Robotics [electronic resource] : Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings / edited by Bilge Mutlu, Christoph Bartneck, Jaap Ham, Vanessa Evers, Takayuki Kanda. by Mutlu, Bilge [editor.] | Bartneck, Christoph [editor.] | Ham, Jaap [editor.] | Evers, Vanessa [editor.] | Kanda, Takayuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7072Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers / edited by Takashi Onada, Daisuke Bekki, Eric McCready. by Onada, Takashi [editor.] | Bekki, Daisuke [editor.] | McCready, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6797Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings / edited by Chattrakul Sombattheera, Arun Agarwal, Siba K Udgata, Kittichai Lavangnananda. by Sombattheera, Chattrakul [editor.] | Agarwal, Arun [editor.] | Udgata, Siba K [editor.] | Lavangnananda, Kittichai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7080Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues [electronic resource] : COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers / edited by Anna Esposito, Alessandro Vinciarelli, Klára Vicsi, Catherine Pelachaud, Anton Nijholt. by Esposito, Anna [editor.] | Vinciarelli, Alessandro [editor.] | Vicsi, Klára [editor.] | Pelachaud, Catherine [editor.] | Nijholt, Anton [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6800Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Advances in Web-Based Learning - ICWL 2011 [electronic resource] : 10th International Conference, Hong Kong, China, December 8-10, 2011. Proceedings / edited by Howard Leung, Elvira Popescu, Yiwei Cao, Rynson W. H. Lau, Wolfgang Nejdl. by Leung, Howard [editor.] | Popescu, Elvira [editor.] | Cao, Yiwei [editor.] | Lau, Rynson W. H [editor.] | Nejdl, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7048Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part I / edited by Jie Tang, Irwin King, Ling Chen, Jianyong Wang. by Tang, Jie [editor.] | King, Irwin [editor.] | Chen, Ling [editor.] | Wang, Jianyong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7120Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part II / edited by Jie Tang, Irwin King, Ling Chen, Jianyong Wang. by Tang, Jie [editor.] | King, Irwin [editor.] | Chen, Ling [editor.] | Wang, Jianyong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7121Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings / edited by Antonio Fernàndez Anta, Giuseppe Lipari, Matthieu Roy. by Fernàndez Anta, Antonio [editor.] | Lipari, Giuseppe [editor.] | Roy, Matthieu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7109Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Anaphora Processing and Applications [electronic resource] : 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011. Revised Selected Papers / edited by Iris Hendrickx, Sobha Lalitha Devi, António Branco, Ruslan Mitkov. by Hendrickx, Iris [editor.] | Lalitha Devi, Sobha [editor.] | Branco, António [editor.] | Mitkov, Ruslan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7099Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Principles and Practice of Multi-Agent Systems [electronic resource] : 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers / edited by Nirmit Desai, Alan Liu, Michael Winikoff. by Desai, Nirmit [editor.] | Liu, Alan [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7057Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011, Revised Selected Papers / edited by De-Shuang Huang, Yong Gan, Phalguni Gupta, M. Michael Gromiha. by Huang, De-Shuang [editor.] | Gan, Yong [editor.] | Gupta, Phalguni [editor.] | Gromiha, M. Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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 Semantic Web: ESWC 2011 Workshops [electronic resource] : ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers / edited by Raúl García-Castro, Dieter Fensel, Grigoris Antoniou. by García-Castro, Raúl [editor.] | Fensel, Dieter [editor.] | Antoniou, Grigoris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7117Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings / edited by Hui Xiong, W. B. Lee. by Xiong, Hui [editor.] | Lee, W. B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7091Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
