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
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
Cover image for Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2
Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2
Author 
Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94852-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023
Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023
Author 
Jha, Brajesh Kumar. editor. (orcid)0000-0001-9370-2949 Jha, Navnit. editor. (orcid)0000-0001-7884-8640 Brahma, Jwngsar. editor. Yavuz, Mehmet. editor. (orcid)0000-0002-3966-6518 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6794-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Proceedings of the 22nd Congress of the International Ergonomics Association, Volume 4 Better Life Ergonomics for Future Humans (IEA 2024)
Proceedings of the 22nd Congress of the International Ergonomics Association, Volume 4 Better Life Ergonomics for Future Humans (IEA 2024)
Author 
Jin, Sangeun. editor. Kim, Jeong Ho. editor. Kong, Yong-Ku. editor. (orcid)0000-0003-3208-6817 Park, Jaehyun. editor. Yun, Myung Hwan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Quantum Machine Learning in Industrial Automation
Quantum Machine Learning in Industrial Automation
Author 
Ghosh, Anupam. editor. Dutta, Soumi. editor. Das, Asit Kumar. editor. (orcid)0000-0002-9886-1735 Shukla, Vinod Kumar. editor. Moreira, Fernando. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-99786-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV
Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV
Author 
Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0294-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Understanding Modelling and Programming
Understanding Modelling and Programming
Author 
Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71280-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Quantum Computing Architecture and Hardware for Engineers Step by Step
Quantum Computing Architecture and Hardware for Engineers Step by Step
Author 
Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78219-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action