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 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Author 
Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
Author 
Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1417-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
Author 
Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7225-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
Author 
Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71033-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II
Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II
Author 
Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72287-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings
Author 
Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57523-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Human-Automation Interaction Transportation
Human-Automation Interaction Transportation
Author 
Duffy, Vincent G. editor. Landry, Steven J. editor. Lee, John D. editor. Stanton, Neville. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-10784-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computational Mechanics with Deep Learning An Introduction
Computational Mechanics with Deep Learning An Introduction
Author 
Yagawa, Genki. author. Oishi, Atsuya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-11847-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems of Computational Intelligence", Proceedings
Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems of Computational Intelligence", Proceedings
Author 
Babichev, Sergii. editor. Lytvynenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-16203-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action