Limit Search Results
Author
SpringerLink (Online service)
(487)
Moreno-Díaz, Roberto. editor.
(10)
Pichler, Franz. editor.
(9)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Language
Publication Date
-
Subject
Computer simulation.
(434)
Computer science.
(321)
Software engineering.
(126)
Computer Modelling.
(100)
Computer vision.
(97)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
501 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Author 
Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93706-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part I
Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84353-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III
Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Animation and Social Agents 37th International Conference, CASA 2024, Wuhan, China, June 5-7, 2024, Revised Selected Papers, Part I
Computer Animation and Social Agents 37th International Conference, CASA 2024, Wuhan, China, June 5-7, 2024, Revised Selected Papers, Part I
Author 
Magnenat Thalmann, Nadia. editor. Hu, Xinrong. editor. Sheng, Bin. editor. Thalmann, Daniel. editor. Peng, Tao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2681-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part II
Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84356-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Exploring computational pharmaceutics : AI and modeling in Pharma 4.0
Exploring computational pharmaceutics : AI and modeling in Pharma 4.0
Author 
Ouyang, Defang, editor.
Preferred Shelf Number 
RM301.25 .E97 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119987260
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial intelligence-enabled digital twin for smart manufacturing
Artificial intelligence-enabled digital twin for smart manufacturing
Author 
Tyagi, Amit Kumar, editor. Tiwari, Shrikant, editor. Arumugam, Senthil Kumar, editor. Sharma, Avinash Kumar, 1982- editor.
Preferred Shelf Number 
TS155.63 .A78 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394303601
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational intelligent techniques in mechatronics
Computational intelligent techniques in mechatronics
Author 
Prakash, Kolla Bhanu, editor. Peddapelli, Satish Kumar, editor. Tam, Ivan CK, editor. Woo, Wai Lok, editor. Jain, Vishal, 1983- editor.
Preferred Shelf Number 
TJ163.12 .C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Soil, agriculture, and ecosystem modeling : smart technologies for sustainable solutions
Soil, agriculture, and ecosystem modeling : smart technologies for sustainable solutions
Author 
Bashir, Owais, editor. Hakeem, Khalid Rehman, editor. Kukal, Surinder S., editor. Mohd, Razeef, editor.
Preferred Shelf Number 
S494.5 .I5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032685359
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Transcending imagination : artificial intelligence and the future of creativity
Transcending imagination : artificial intelligence and the future of creativity
Author 
Manu, Alexander, 1954- author.
Preferred Shelf Number 
BF408
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003450139
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Artificial intelligence in application Legal aspects, application potentials and use scenarios
Artificial intelligence in application Legal aspects, application potentials and use scenarios
Author 
Barton, Thomas. editor. (orcid)0000-0001-6736-7040 Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-43843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action