Limit Search Results
Author
SpringerLink (Online service)
(262)
Silhavy, Petr. editor.
(9)
Silhavy, Radek. editor.
(9)
O'Regan, Gerard. author.
(6)
Tan, C.J. Kenneth. editor.
(5)
Language
English
(262)
Publication Date
-
2016
(77)
2017
(72)
2024
(62)
2025
(50)
2014
(1)
Subject
Software engineering.
(125)
Artificial intelligence.
(101)
Computer science.
(98)
Computer Science Logic and Foundations of Programming.
(65)
Computational intelligence.
(57)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
262 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Numbers and Computers
Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings
Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings
Author 
Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81888-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Systems Benchmarking For Scientists and Engineers
Systems Benchmarking For Scientists and Engineers
Author 
Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for 5GtoB From Theory to Practice
5GtoB From Theory to Practice
Author 
Song, Liang. author. Chen, Mingsong. author. Xu, Zhibing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8453-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Author 
Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64399-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Intelligent Computing and Networking Proceedings of IC-ICN 2024
Intelligent Computing and Networking Proceedings of IC-ICN 2024
Author 
Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8631-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings
Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings
Author 
Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Xing, Chunxiao. editor. (orcid)0000-0001-9390-3097 Li, Xiaofan. editor. (orcid)0000-0003-4379-3277 Zhou, Rui. editor. (orcid)0000-0001-6807-4362 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5597-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 2
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 2
Author 
Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3762-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Proceedings of LLEAHMM 2024 Logistics & Lean Engineering for Advanced Healthcare Methodologies Modelling
Proceedings of LLEAHMM 2024 Logistics & Lean Engineering for Advanced Healthcare Methodologies Modelling
Author 
Gallo, Mosè. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82923-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Multivariable Control Engineering Problems and their Solutions with GNU Octave
Multivariable Control Engineering Problems and their Solutions with GNU Octave
Author 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action