Limit Search Results
Author
SpringerLink (Online service)
(17)
Ali, Maaruf. editor. (orcid)0000-0001-9906-5004
(1)
Andreasen, Troels. editor.
(1)
Awan, Irfan. editor.
(1)
Barrios Hernandez, Carlos Jaime. editor.
(1)
Language
Publication Date
-
2019
(15)
2014
(2)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
00000DEFAULT
Print
13. 
Cover image for Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Author 
Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers
Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers
Author 
Tang, Yong. editor. Zu, Qiaohong. editor. Rodríguez García, José G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15127-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II
Author 
Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0111-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings
High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings
Author 
Hernandez, Gonzalo. editor. Barrios Hernandez, Carlos Jaime. editor. Díaz, Gilberto. editor. García Garino, Carlos. editor. Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45483-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ
Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ
Author 
Fei, Minrui. editor. Peng, Chen. editor. Su, Zhou. editor. Song, Yang. editor. Han, Qinglong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45261-5
Format: 
Availability 
Online Library~1
Available:
Copies: