Limit Search Results
Author
SpringerLink (Online service)
(468)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(7)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Gao, Honghao. editor.
(5)
Publication Date
-
Subject
Artificial intelligence.
(189)
Software engineering.
(94)
Application software.
(84)
Computer security.
(70)
Computer communication systems.
(68)
Material Type
Switch to list view
Switch to thumbnail view
Select an Action
494 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
Cover image for Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings
Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings
Author 
Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751 Yagi, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26834-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I
Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I
Author 
Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 Campilho, Aurélio. editor. (orcid)0000-0002-5317-6275 Yu, Alfred. editor. (orcid)0000-0002-8604-0219 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27202-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
Author 
Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Edelmann, Noella. editor. Glassey, Olivier. editor. (orcid)0000-0001-8795-0591 Misuraca, Gianluca. editor. Parycek, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27397-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Author 
Kő, Andrea. editor. (orcid)0000-0003-0023-1143 Francesconi, Enrico. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27523-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9–12, 2019, Proceedings
Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9–12, 2019, Proceedings
Author 
Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Braschler, Martin. editor. Savoy, Jacques. editor. (orcid)0000-0002-4486-0067 Rauber, Andreas. editor. Müller, Henning. editor. (orcid)0000-0001-6800-9878
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28577-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Author 
Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings
Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings
Author 
Doucet, Antoine. editor. Isaac, Antoine. editor. Golub, Koraljka. editor. Aalberg, Trond. editor. (orcid)0000-0001-5593-0860 Jatowt, Adam. editor. (orcid)0000-0001-7235-0665
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30760-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Policy-Based Autonomic Data Governance
Policy-Based Autonomic Data Governance
Author 
Calo, Seraphin. editor. (orcid)0000-0003-4668-3989 Bertino, Elisa. editor. Verma, Dinesh. editor. (orcid)0000-0003-1933-7343 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17277-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for e-Learning, e-Education, and Online Training 5th EAI International Conference, eLEOT 2019, Kunming, China, August 18–19, 2019, Proceedings
e-Learning, e-Education, and Online Training 5th EAI International Conference, eLEOT 2019, Kunming, China, August 18–19, 2019, Proceedings
Author 
Sun, Guanglu. editor. Gan, Jianhou. editor. Liu, Shuai. editor. Lang, Fei. editor. Lu, Zeguang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action