Limit Search Results
Author
SpringerLink (Online service)
(80)
O'Regan, Gerard. author.
(5)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Georgiev, Ivan. editor.
(3)
Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383
(3)
Language
Publication Date
-
2025
(30)
2017
(19)
2016
(16)
2024
(15)
Subject
Computational intelligence.
(27)
Artificial intelligence.
(23)
Computer science -- Mathematics.
(17)
Computer networks .
(13)
Computer science.
(13)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
80 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Practical Post-Quantum Signatures FALCON and SOLMAE with Python
Practical Post-Quantum Signatures FALCON and SOLMAE with Python
Author 
Kim, Kwangjo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81250-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
Cover image for Current Problems of Applied Mathematics and Computer Systems CPAMCS 2024
Current Problems of Applied Mathematics and Computer Systems CPAMCS 2024
Author 
Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 Alikhanov, Anatoly. editor. Kaplun, Dmitrii. editor. Lyakhov, Pavel. editor. (orcid)0000-0003-0487-4779 Apekov, Aslan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01831-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
Cover image for Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Fourth International Conference, MMCITRE 2024
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Fourth International Conference, MMCITRE 2024
Author 
Sahni, Manoj. editor. Merigó, José M. editor. (orcid)0000-0002-4672-6961 Annamaria, Gil-Lafuente. editor. León-Castro, Ernesto. editor. (orcid)0000-0002-0087-2226 Verma, Rajkumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1449-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action