Limit Search Results
Author
SpringerLink (Online service)
(131)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Liu, Cheng-Lin. editor.
(4)
Margaria, Tiziana. editor.
(4)
Steffen, Bernhard. editor.
(4)
Language
English
(131)
Publication Date
-
Subject
Artificial intelligence.
(131)
Computer science.
(81)
Software engineering.
(43)
Computer vision.
(35)
Information systems.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
131 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73579-5
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Author 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Author 
Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74860-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92279-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92285-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II
Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II
Author 
Zhou, Jia. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92037-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for PRedictive Intelligence in MEdicine First International Workshop, PRIME 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
PRedictive Intelligence in MEdicine First International Workshop, PRIME 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
Author 
Rekik, Islem. editor. Unal, Gozde. editor. Adeli, Ehsan. editor. (orcid)0000-0002-0579-7763 Park, Sang Hyun. editor. (orcid)0000-0001-7476-1046 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00320-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings
Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings
Author 
Chen, Xuemin. editor. (orcid)0000-0003-3820-9195 Sen, Arunabha. editor. Li, Wei Wayne. editor. Thai, My T. editor. (orcid)0000-0003-0503-2012 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04648-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II
Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II
Author 
Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV
Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV
Author 
Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03341-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02465-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings
Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings
Author 
Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76213-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action