|
|
|
Programming Languages and Systems [electronic resource] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi.
by Igarashi, Atsushi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Autonomous Robotics Systems [electronic resource] : 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings / edited by Michael Mistry, Aleš Leonardis, Mark Witkowski, Chris Melhuish.
by Mistry, Michael [editor.] | Leonardis, Aleš [editor.] | Witkowski, Mark [editor.] | Melhuish, Chris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer-Assisted and Robotic Endoscopy [electronic resource] : Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers / edited by Xiongbiao Luo, Tobias Reichl, Austin Reiter, Gian-Luca Mariottini.
by Luo, Xiongbiao [editor.] | Reichl, Tobias [editor.] | Reiter, Austin [editor.] | Mariottini, Gian-Luca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Sets [electronic resource] : International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings / edited by Víctor Flores, Fernando Gomide, Andrzej Janusz, Claudio Meneses, Duoqian Miao, Georg Peters, Dominik Ślęzak, Guoyin Wang, Richard Weber, Yiyu Yao.
by Flores, Víctor [editor.] | Gomide, Fernando [editor.] | Janusz, Andrzej [editor.] | Meneses, Claudio [editor.] | Miao, Duoqian [editor.] | Peters, Georg [editor.] | Ślęzak, Dominik [editor.] | Wang, Guoyin [editor.] | Weber, Richard [editor.] | Yao, Yiyu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
SOFSEM 2017: Theory and Practice of Computer Science [electronic resource] : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria.
by Steffen, Bernhard [editor.] | Baier, Christel [editor.] | van den Brand, Mark [editor.] | Eder, Johann [editor.] | Hinchey, Mike [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Inductive Logic Programming [electronic resource] : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / edited by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto.
by Inoue, Katsumi [editor.] | Ohwada, Hayato [editor.] | Yamamoto, Akihiro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2016 [electronic resource] : 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings / edited by Hujun Yin, Yang Gao, Bin Li, Daoqiang Zhang, Ming Yang, Yun Li, Frank Klawonn, Antonio J. Tallón-Ballesteros.
by Yin, Hujun [editor.] | Gao, Yang [editor.] | Li, Bin [editor.] | Zhang, Daoqiang [editor.] | Yang, Ming [editor.] | Li, Yun [editor.] | Klawonn, Frank [editor.] | Tallón-Ballesteros, Antonio J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian.
by Rovatsos, Michael [editor.] | Vouros, George [editor.] | Julian, Vicente [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton.
by Croitoru, Madalina [editor.] | Marquis, Pierre [editor.] | Rudolph, Sebastian [editor.] | Stapleton, Gem [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part I / edited by Xianmin Zhang, Honghai Liu, Zhong Chen, Nianfeng Wang.
by Zhang, Xianmin [editor.] | Liu, Honghai [editor.] | Chen, Zhong [editor.] | Wang, Nianfeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Juerg Kohlas, Bertrand Meyer, André Schiper.
by Kohlas, Juerg [editor.] | Meyer, Bertrand [editor.] | Schiper, André [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou.
by Fitzgerald, John [editor.] | Heitmeyer, Constance [editor.] | Gnesi, Stefania [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Professional Search in the Modern World [electronic resource] : COST Action IC1002 on Multilingual and Multifaceted Interactive Information Access / edited by Georgios Paltoglou, Fernando Loizides, Preben Hansen.
by Paltoglou, Georgios [editor.] | Loizides, Fernando [editor.] | Hansen, Preben [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Discovery Science [electronic resource] : 16th International Conference, DS 2013, Singapore, October 6-9, 2013, Proceedings / edited by Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi.
by Fürnkranz, Johannes [editor.] | Hüllermeier, Eyke [editor.] | Higuchi, Tomoyuki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Multimedia Information Processing - PCM 2014 [electronic resource] : 15th Pacific Rim Conference on Multimedia, Kuching, Malaysia, December 1-4, 2014, Proceedings / edited by Wei Tsang Ooi, Cees G.M. Snoek, Hung Khoon Tan, Chin Kuan Ho, Benoit Huet, Chong-Wah Ngo.
by Ooi, Wei Tsang [editor.] | Snoek, Cees G.M [editor.] | Tan, Hung Khoon [editor.] | Ho, Chin Kuan [editor.] | Huet, Benoit [editor.] | Ngo, Chong-Wah [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction. New Trends [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I / edited by Julie A. Jacko.
by Jacko, Julie A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part II / edited by YongAn Huang, Hao Wu, Honghai Liu, Zhouping Yin.
by Huang, YongAn [editor.] | Wu, Hao [editor.] | Liu, Honghai [editor.] | Yin, Zhouping [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABD 2016, Yantai, China, October 15-16, 2016, Proceedings / edited by Maosong Sun, Xuanjing Huang, Hongfei Lin, Zhiyuan Liu, Yang Liu.
by Sun, Maosong [editor.] | Huang, Xuanjing [editor.] | Lin, Hongfei [editor.] | Liu, Zhiyuan [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems XI [electronic resource] : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers / edited by Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman.
by Dignum, Virginia [editor.] | Noriega, Pablo [editor.] | Sensoy, Murat [editor.] | Sichman, Jaime Simão [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
SOFSEM 2014: Theory and Practice of Computer Science [electronic resource] : 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / edited by Viliam Geffert, Bart Preneel, Branislav Rovan, Július Štuller, A Min Tjoa.
by Geffert, Viliam [editor.] | Preneel, Bart [editor.] | Rovan, Branislav [editor.] | Štuller, Július [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
