Limit Search Results
Author
SpringerLink (Online service)
(18)
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
(16)
2014
(2)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000000000000000DEFAULT
Print
1. 
Cover image for Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11404-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Author 
MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19909-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
Author 
Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27629-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Author 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Author 
Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35333-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings
Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings
Author 
Younas, Muhammad. editor. Awan, Irfan. editor. Benbernou, Salima. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27355-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for High Performance Computing 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26–28, 2018, Revised Selected Papers
High Performance Computing 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26–28, 2018, Revised Selected Papers
Author 
Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Castro, Harold. editor. Barrios Hernández, Carlos Jaime. editor. Ramos-Pollan, Raul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16205-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I
Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I
Author 
Mandal, Jyotsna Kumar. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. Dasgupta, Kousik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8578-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings
Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings
Author 
Tan, Ying. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-32-9563-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings
Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings
Author 
Liu, Shuai. editor. (orcid)0000-0001-9909-0664 Yang, Gelan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Author 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Author 
Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13651-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings
Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings
Author 
Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Excell, Peter S. editor. (orcid)0000-0002-7602-2957 Ware, Andrew. editor. (orcid)0000-0002-9354-5039 Soomro, Safeeullah. editor. (orcid)0000-0001-5571-1262 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23943-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
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:
18. 
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: