Limit Search Results
Author
SpringerLink (Online service)
(437)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Paszynski, Maciej. editor.
(7)
Language
English
(437)
Publication Date
-
2016
(166)
2017
(136)
2025
(68)
2024
(67)
Subject
Computer simulation.
(311)
Computer Modelling.
(303)
Artificial intelligence.
(143)
Software engineering.
(109)
Computer networks .
(107)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
437 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024, Volume 2, Simulation and Automation
Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024, Volume 2, Simulation and Automation
Author 
Francis, Adel. editor. Miresco, Edmond. editor. Melhado, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87364-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Distributed Coordination Control System Application Scenarios and Countermeasures
Distributed Coordination Control System Application Scenarios and Countermeasures
Author 
Jia, Yongnan. author. (orcid)0000-0002-6297-9061 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0365-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Fundamentals of the Theory of Mechanical Vibrations
Fundamentals of the Theory of Mechanical Vibrations
Author 
Gonçalves Salsa Junior, Rubens. author. (orcid)0000-0003-3067-1705 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83995-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Animation and Social Agents 37th International Conference, CASA 2024, Wuhan, China, June 5-7, 2024, Revised Selected Papers, Part II
Computer Animation and Social Agents 37th International Conference, CASA 2024, Wuhan, China, June 5-7, 2024, Revised Selected Papers, Part II
Author 
Magnenat Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 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-2684-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings
Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings
Author 
Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87345-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Mathematical Modeling and Simulation of Systems Selected Papers of 19th International Conference, MODS, November 11-13, 2024, Chernihiv, Ukraine
Mathematical Modeling and Simulation of Systems Selected Papers of 19th International Conference, MODS, November 11-13, 2024, Chernihiv, Ukraine
Author 
Kazymyr, Volodymyr. editor. Morozov, Anatoliy. editor. Palagin, Alexander. editor. Shkarlet, Serhiy. editor. Stoianov, Nikolai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90735-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Author 
Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-46510-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Plant Model Greenlab for Botany and Agronomy
Plant Model Greenlab for Botany and Agronomy
Author 
Reffye, Philippe De. editor. Kang, Mengzhen. editor. Jaeger, Marc. editor. (orcid)0000-0003-1742-6748 Zhang, Baogui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7541-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024
Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024
Author 
Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Camacho, David. editor. (orcid)0000-0002-5051-3475 Gritzalis, Stefanos. editor. (orcid)0000-0002-8037-2191 Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5693-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action