Limit Search Results
Author
SpringerLink (Online service)
(206)
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
Publication Date
-
Subject
Artificial intelligence.
(87)
Computers.
(68)
Software engineering.
(46)
Application software.
(45)
Optical data processing.
(40)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
216 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III
Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III
Author 
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30508-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I
Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I
Author 
Nielsen, Petter. editor. (orcid)0000-0003-3723-6976 Kimaro, Honest Christopher. editor. (orcid)0000-0001-6162-3277 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18400-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part II
Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part II
Author 
Vaidya, Jaideep. editor. Zhang, Xiao. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37352-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Smart Cities of Today and Tomorrow Better Technology, Infrastructure and Security
Smart Cities of Today and Tomorrow Better Technology, Infrastructure and Security
Author 
Pelton, Joseph N. author. Singh, Indu B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95822-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23554-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
Author 
Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20787-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Blockchain Technology in Internet of Things
Blockchain Technology in Internet of Things
Author 
Zhu, Liehuang. author. Gai, Keke. author. Li, Meng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21766-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Author 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25636-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Author 
Mařík, Vladimír. editor. Kadera, Petr. editor. Rzevski, George. editor. Zoitl, Alois. editor. Anderst-Kotsis, Gabriele. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27878-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Machine Learning for Cyber Security Second International Conference, ML4CS 2019, Xi’an, China, September 19-21, 2019, Proceedings
Machine Learning for Cyber Security Second International Conference, ML4CS 2019, Xi’an, China, September 19-21, 2019, Proceedings
Author 
Chen, Xiaofeng. editor. Huang, Xinyi. editor. Zhang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30619-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action