Limit Search Results
Author
SpringerLink (Online service)
(202)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Language
English
(208)
Publication Date
-
Subject
Artificial intelligence.
(72)
Software engineering.
(48)
Computer science—Mathematics.
(39)
Computer security.
(36)
Algorithms.
(33)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
208 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Author 
Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44199-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Author 
Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Author 
Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54423-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Human Mental Workload: Models and Applications Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings
Human Mental Workload: Models and Applications Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings
Author 
Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, Maria Chiara. editor. (orcid)0000-0002-6770-8332 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32423-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Algebra, Codes and Cryptology First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings
Algebra, Codes and Cryptology First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings
Author 
Gueye, Cheikh Thiecoumba. editor. Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X Cayrel, Pierre-Louis. editor. Buchmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36237-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Author 
Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Author 
Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19212-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers
Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers
Author 
Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X Das, Pradip Kumar. editor. Kharb, Latika. editor. Chahal, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-1384-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part II
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part II
Author 
Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3143-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
Author 
Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0310-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Author 
Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040 Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160 Zarpelão, Bruno. editor. (orcid)0000-0001-9172-3578 Rosas, Erika. editor. (orcid)0000-0003-0377-0193 Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19223-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action