skip to main content
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Information Retrieval Technology: 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 - December 2, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Information Retrieval Technology: 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 - December 2, 2016, Proceedings

Ma, 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, Yiqun

Cham: Springer Nature 2016

Texto completo disponível

12
Quantum Interaction: 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Quantum Interaction: 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers

Atmanspacher, Harald ; Filk, Thomas ; Pothos, Emmanuel Atmanspacher, Harald ; Pothos, Emmanuel ; Filk, Thomas ; Pothos, Emmanuel ; Atmanspacher, Harald ; Filk, Thomas

Cham: Springer Nature 2016

Texto completo disponível

13
Smart Health: International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Smart Health: International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers

Zheng, 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, Xiaolong

Cham: Springer Nature 2016

Texto completo disponível

14
Deductive Software Verification - The KeY Book: From Theory to Practice
Material Type:
Livro
Adicionar ao Meu Espaço

Deductive Software Verification - The KeY Book: From Theory to Practice

Ahrendt, 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, Wolfgang

Cham: Springer Nature 2016

Texto completo disponível

15
Artificial general intelligence: 9th International Conference, AGI 2016, New York, NY, July 16-19, 2016, proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial general intelligence: 9th International Conference, AGI 2016, New York, NY, July 16-19, 2016, proceedings

Steunebrink, Bas ; Wang, Pei ; Goertzel, Ben

Springer 2016

Texto completo disponível

16
Autonomous Agents and Multiagent Systems: AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Autonomous Agents and Multiagent Systems: AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

Osman, Nardine ; Sierra, Carles Sierra, Carles ; Osman, Nardine

Netherlands: Springer Nature 2016

Texto completo disponível

17
Intelligent Computing Methodologies: 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Intelligent Computing Methodologies: 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings

Huang, De-Shuang ; Han, Kyungsook ; Hussain, Abir Han, Kyungsook ; Hussain, Abir ; Huang, De-Shuang

Netherlands: Springer Nature 2016

Texto completo disponível

18
Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Baldoni, Matteo ; Müller, Jörg P ; Nunes, Ingrid ; Zalila-Wenkstern, Rym Baldoni, Matteo ; M'ller, J'rg P ; Zalila-Wenkstern, Rym ; Nunes, Ingrid

Netherlands: Springer Nature 2016

Texto completo disponível

19
Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings

Kubota, Naoyuki ; Kiguchi, Kazuo ; Liu, Honghai ; Obo, Takenori Liu, Honghai ; Obo, Takenori ; Kiguchi, Kazuo ; Kubota, Naoyuki

Netherlands: Springer Nature 2016

Texto completo disponível

20
Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings

Kubota, Naoyuki ; Kiguchi, Kazuo ; Liu, Honghai ; Obo, Takenori Liu, Honghai ; Obo, Takenori ; Kiguchi, Kazuo ; Kubota, Naoyuki

Netherlands: Springer Nature 2016

Texto completo disponível

previous page 1 Resultados 2 3 4 5 next page

Buscando em bases de dados remotas. Favor aguardar.