Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Information Retrieval Technology: 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 - December 2, 2016, ProceedingsMa, Shaoping ; Wen, Ji-Rong ; Liu, Yiqun ; Dou, Zhicheng ; Zhang, Min ; Chang, Yi ; Zhao, Xin Dou, Zhicheng ; Ma, Shaoping ; Wen, Ji-Rong ; Liu, Yiqun ; Chang, Yi ; Zhang, Min ; Wen, Ji-Rong ; Zhao, Xin ; Dou, Zhicheng ; Ma, Shaoping ; Liu, YiqunCham: Springer Nature 2016Texto completo disponível |
12 |
Material Type: Livro
|
![]() |
Quantum Interaction: 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected PapersAtmanspacher, Harald ; Filk, Thomas ; Pothos, Emmanuel Atmanspacher, Harald ; Pothos, Emmanuel ; Filk, Thomas ; Pothos, Emmanuel ; Atmanspacher, Harald ; Filk, ThomasCham: Springer Nature 2016Texto completo disponível |
13 |
Material Type: Livro
|
![]() |
Smart Health: International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected PapersZheng, Xiaolong ; Zeng, Daniel Dajun ; Chen, Hsinchun ; Leischow, Scott J Zheng, Xiaolong ; Chen, Hsinchun ; Leischow, Scott J ; Zeng, Daniel Dajun ; Zeng, Daniel Dajun ; Leischow, Scott J. ; Chen, Hsinchun ; Zheng, XiaolongCham: Springer Nature 2016Texto completo disponível |
14 |
Material Type: Livro
|
![]() |
Deductive Software Verification - The KeY Book: From Theory to PracticeAhrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H ; Ulbrich, Mattias H'hnle, Reiner ; Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias ; Beckert, Bernhard ; Schmitt, Peter H. ; Bubel, Richard ; Ahrendt, WolfgangCham: Springer Nature 2016Texto completo disponível |
15 |
Material Type: Livro
|
![]() |
Artificial general intelligence: 9th International Conference, AGI 2016, New York, NY, July 16-19, 2016, proceedingsSteunebrink, Bas ; Wang, Pei ; Goertzel, BenSpringer 2016Texto completo disponível |
16 |
Material Type: Livro
|
![]() |
Autonomous Agents and Multiagent Systems: AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected PapersOsman, Nardine ; Sierra, Carles Sierra, Carles ; Osman, NardineNetherlands: Springer Nature 2016Texto completo disponível |
17 |
Material Type: Livro
|
![]() |
Intelligent Computing Methodologies: 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, ProceedingsHuang, De-Shuang ; Han, Kyungsook ; Hussain, Abir Han, Kyungsook ; Hussain, Abir ; Huang, De-ShuangNetherlands: Springer Nature 2016Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited PapersBaldoni, Matteo ; Müller, Jörg P ; Nunes, Ingrid ; Zalila-Wenkstern, Rym Baldoni, Matteo ; M'ller, J'rg P ; Zalila-Wenkstern, Rym ; Nunes, IngridNetherlands: Springer Nature 2016Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, ProceedingsKubota, Naoyuki ; Kiguchi, Kazuo ; Liu, Honghai ; Obo, Takenori Liu, Honghai ; Obo, Takenori ; Kiguchi, Kazuo ; Kubota, NaoyukiNetherlands: Springer Nature 2016Texto completo disponível |
20 |
Material Type: Livro
|
![]() |
Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, ProceedingsKubota, Naoyuki ; Kiguchi, Kazuo ; Liu, Honghai ; Obo, Takenori Liu, Honghai ; Obo, Takenori ; Kiguchi, Kazuo ; Kubota, NaoyukiNetherlands: Springer Nature 2016Texto completo disponível |