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
(158)
Publication Date
-
Subject
Computational intelligence.
(31)
Computer science -- Mathematics.
(25)
Artificial intelligence.
(24)
Electronic books.
(20)
Computer science.
(16)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
158 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for AI in Banking Practical Applications and Case Studies
AI in Banking Practical Applications and Case Studies
Author 
Shao, Liyu. author. Chen, Qin. author. He, Min. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3837-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
Cover image for Proceedings of the Third ICMDS'24: Machine Learning, Inverse Problems and Related Fields
Proceedings of the Third ICMDS'24: Machine Learning, Inverse Problems and Related Fields
Author 
Laghrib, Amine. editor. (orcid)0000-0003-4851-3617 Ghazdali, Abdelghani. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94802-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proceedings of the International Conferences on Digital Technology Driven Engineering 2024 ADDitively Manufactured OPTimized Structures by means of Machine Learning (ADDOPTML)
Proceedings of the International Conferences on Digital Technology Driven Engineering 2024 ADDitively Manufactured OPTimized Structures by means of Machine Learning (ADDOPTML)
Author 
Lagaros, Nikos D. editor. (orcid)0000-0001-6114-9632 Triantafyllou, Savvas P. editor. Alrousan, Rajai Z. editor. Alhassan, Mohammad A. editor. Abdalla, Khairedin M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92029-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Advances in Mathematics for Engineering Sciences
Advances in Mathematics for Engineering Sciences
Author 
Ram, Mangey. editor. (orcid)0000-0002-8221-092X Kharola, Shristi. editor. Kumar, Akshay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95693-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
Cover image for Advancements in Optimization and Nature-Inspired Computing for Solutions in Contemporary Engineering Challenges
Advancements in Optimization and Nature-Inspired Computing for Solutions in Contemporary Engineering Challenges
Author 
Rossit, Diego. editor. (orcid)0000-0002-8531-445X Torres-Aguilar, Carlos Enrique. editor. Toncovich, Adrián Andrés. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0706-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action