|
|
2961.
|
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 | Shao, Zhong | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2962.
|
Human Behavior Unterstanding [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 | Lepri, Bruno | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2963.
|
Informatics Engineering and Information Science [electronic resource] : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011. Proceedings, Part II / edited by Azizah Abd Manaf, Akram Zeki, Mazdak Zamani, Suriayati Chuprat, Eyas El-Qawasmeh.
by Abd Manaf, Azizah | Zeki, Akram | Zamani, Mazdak | Chuprat, Suriayati | El-Qawasmeh, Eyas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2964.
|
Informatics Engineering and Information Science [electronic resource] : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part III / edited by Azizah Abd Manaf, Shamsul Sahibuddin, Rabiah Ahmad, Salwani Mohd Daud, Eyas El-Qawasmeh.
by Abd Manaf, Azizah | Sahibuddin, Shamsul | Ahmad, Rabiah | Mohd Daud, Salwani | El-Qawasmeh, Eyas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2965.
|
Informatics Engineering and Information Science [electronic resource] : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part IV / edited by Azizah Abd Manaf, Shamsul Sahibuddin, Rabiah Ahmad, Salwani Mohd Daud, Eyas El-Qawasmeh.
by Abd Manaf, Azizah | Sahibuddin, Shamsul | Ahmad, Rabiah | Mohd Daud, Salwani | El-Qawasmeh, Eyas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2966.
|
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 | Liu, Honghai | Schilberg, Daniel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2967.
|
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 | Liu, Honghai | Schilberg, Daniel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2968.
|
Complex Networks [electronic resource] : Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers / edited by Luciano F. Costa, Alexandre Evsukoff, Giuseppe Mangioni, Ronaldo Menezes.
by F. Costa, Luciano | Evsukoff, Alexandre | Mangioni, Giuseppe | Menezes, Ronaldo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2969.
|
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 | Bartneck, Christoph | Ham, Jaap | Evers, Vanessa | Kanda, Takayuki | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2970.
|
Learning and Intelligent Optimization [electronic resource] : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected Papers / edited by Carlos A. Coello Coello.
by Coello, Carlos A. Coello | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2971.
|
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 | Hlavacs, Helmut | Gansterer, Wilfried | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2972.
|
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 | Bekki, Daisuke | McCready, Eric | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2973.
|
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 | Agarwal, Arun | Udgata, Siba K | Lavangnananda, Kittichai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2974.
|
Computational Intelligence and Information Technology [electronic resource] : First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan.
by Das, Vinu V | Thankachan, Nessy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2975.
|
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 | Vinciarelli, Alessandro | Vicsi, Klára | Pelachaud, Catherine | Nijholt, Anton | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2976.
|
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 | Popescu, Elvira | Cao, Yiwei | Lau, Rynson W. H | Nejdl, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2977.
|
AI 2011: Advances in Artificial Intelligence [electronic resource] : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings / edited by Dianhui Wang, Mark Reynolds.
by Wang, Dianhui | Reynolds, Mark | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2978.
|
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 | King, Irwin | Chen, Ling | Wang, Jianyong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2979.
|
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 | King, Irwin | Chen, Ling | Wang, Jianyong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2980.
|
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 | Lipari, Giuseppe | Roy, Matthieu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
