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
161 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025 Volume 1
Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025 Volume 1
Author 
Pal, Souvik. editor. (orcid)0000-0001-9884-0160 Rocha, Álvaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90998-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advanced Computing in Industrial Mathematics 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria, Revised Selected Papers
Advanced Computing in Industrial Mathematics 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, 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-76786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
Author 
Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2718-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
Cover image for Mathematical Modeling and Supercomputer Technologies 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024, Revised Selected Papers
Mathematical Modeling and Supercomputer Technologies 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024, Revised Selected Papers
Author 
Balandin, Dmitry. editor. (orcid)0000-0001-7727-5924 Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Meyerov, Iosif. editor. (orcid)0000-0001-6905-2050 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80457-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The Nineteenth International Conference on Management Science and Engineering Management
The Nineteenth International Conference on Management Science and Engineering Management
Author 
Xu, Jiuping. editor. (orcid)0000-0003-3756-3969 Dabo-Niang, Sophie. editor. (orcid)0000-0002-4000-6752 Binti Ismail, Noor Azina. editor. Gao, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-1595-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Current Problems of Applied Mathematics and Computer Systems CPAMCS 2023
Current Problems of Applied Mathematics and Computer Systems CPAMCS 2023
Author 
Alikhanov, Anatoly. editor. Tchernykh, Andrei. editor. (orcid)0000-0001-5029-5212 Babenko, Mikhail. editor. (orcid)0000-0001-7066-0061 Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64010-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66549-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for From distributed quantum computing to quantum internet computing : an introduction
From distributed quantum computing to quantum internet computing : an introduction
Author 
Loke, Seng, author.
Preferred Shelf Number 
QA76.889 .L657 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394185542
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Vectorization.
Vectorization.
Author 
Cui, Edward DongBo.
Preferred Shelf Number 
Q325.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272976
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets