Limit Search Results
Author
SpringerLink (Online service)
(134)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Liu, Cheng-Lin. editor.
(4)
Margaria, Tiziana. editor.
(4)
Steffen, Bernhard. editor.
(4)
Language
English
(134)
Publication Date
-
Subject
Artificial intelligence.
(131)
Computer science.
(84)
Software engineering.
(46)
Computer vision.
(35)
Information systems.
(35)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
134 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 7th Joint International Workshop, CVII-STENT 2018 and Third International Workshop, LABELS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 7th Joint International Workshop, CVII-STENT 2018 and Third International Workshop, LABELS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
Author 
Stoyanov, Danail. editor. Taylor, Zeike. editor. Balocco, Simone. editor. Sznitman, Raphael. editor. Martel, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01364-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Author 
Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03232-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for High Performance Computing 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers
High Performance Computing 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers
Author 
Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672 Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Author 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Pervasive Computing Paradigms for Mental Health Selected Papers from MindCare 2016, Fabulous 2016, and IIoT 2015
Pervasive Computing Paradigms for Mental Health Selected Papers from MindCare 2016, Fabulous 2016, and IIoT 2015
Author 
Oliver, Nuria. editor. Serino, Silvia. editor. Matic, Aleksandar. editor. Cipresso, Pietro. editor. Filipovic, Nenad. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74935-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
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:
44. 
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:
45. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Author 
Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99927-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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:
Select an Action