Limit Search Results
Author
SpringerLink (Online service)
(651)
Bifet, Albert. editor. (orcid)0000-0002-8339-7773
(10)
Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X
(10)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Language
Publication Date
-
Subject
Artificial intelligence.
(284)
Computing Milieux.
(192)
Application software.
(181)
Computer networks .
(166)
Software engineering.
(153)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
684 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Computer Security. ESORICS 2023 International Workshops CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I
Computer Security. ESORICS 2023 International Workshops CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I
Author 
Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. (orcid)0000-0001-8792-0413 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54204-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computer Security. ESORICS 2023 International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II
Computer Security. ESORICS 2023 International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II
Author 
Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Abie, Habtamu. editor. (orcid)0000-0003-0866-5050 Ranise, Silvio. editor. (orcid)0000-0001-7269-9285 Verderame, Luca. editor. (orcid)0000-0001-7155-7429 Cambiaso, Enrico. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54129-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
Author 
Bulić, Patricio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12018-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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:
32. 
Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Author 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings
Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings
Author 
Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Li, Lian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2209-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action