Limit Search Results
Author
SpringerLink (Online service)
(97)
O'Regan, Gerard. author.
(5)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Brand, Ludwig.
(3)
Georgiev, Ivan. editor.
(3)
Language
English
(161)
Publication Date
-
Subject
Computational intelligence.
(31)
Computer science -- Mathematics.
(25)
Artificial intelligence.
(24)
Electronic books.
(20)
Computer science.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
161 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Maths For Computing A Beginner's Guide
Maths For Computing A Beginner's Guide
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Advanced Computing in Industrial Mathematics 16th Annual Meeting of the Bulgarian Section of SIAM, December 21-23, 2021, Sofia, Bulgaria, Revised Selected Papers
Advanced Computing in Industrial Mathematics 16th Annual Meeting of the Bulgarian Section of SIAM, December 21-23, 2021, Sofia, Bulgaria, Revised Selected Papers
Author 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. (orcid)0000-0003-2008-710X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76782-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85638-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Advanced Computing in Industrial Mathematics 18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria. Revised Selected Papers
Advanced Computing in Industrial Mathematics 18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria. Revised Selected Papers
Author 
Lilkova, Elena. editor. (orcid)0000-0003-2008-710X Datcheva, Maria. editor. Aleksandrova, Todorka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96380-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Mathematics and computer science for real-world applications
Mathematics and computer science for real-world applications
Author 
Mallik, Biswadip Basu, editor.
Preferred Shelf Number 
QA76.9 .M35 M38 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394275359
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Advanced Mathematics in Computing, Communication and Security.
Advanced Mathematics in Computing, Communication and Security.
Author 
Jadhav, Dipt. Dasre, Narendrakumar. Jadhav, Dipti/Wani, Prita.
Preferred Shelf Number 
XX(600324.1)
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394307302
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 27th Iberoamerican Congress, CIARP 2024, Talca, Chile, November 26-29, 2024, Proceedings, Part II
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 27th Iberoamerican Congress, CIARP 2024, Talca, Chile, November 26-29, 2024, Proceedings, Part II
Author 
Hernández-García, Ruber. editor. (orcid)0000-0002-9311-1193 Barrientos, Ricardo J. editor. (orcid)0000-0001-5345-7061 Velastin, Sergio A. editor. (orcid)0000-0001-6775-7137 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76604-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 27th Iberoamerican Congress, CIARP 2024, Talca, Chile, November 26-29, 2024, Proceedings, Part I
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 27th Iberoamerican Congress, CIARP 2024, Talca, Chile, November 26-29, 2024, Proceedings, Part I
Author 
Hernández-García, Ruber. editor. (orcid)0000-0002-9311-1193 Barrientos, Ricardo J. editor. (orcid)0000-0001-5345-7061 Velastin, Sergio A. editor. (orcid)0000-0001-6775-7137 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76607-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81241-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action