Limit Search Results
Author
SpringerLink (Online service)
(337)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(5)
Language
English
(337)
Publication Date
-
2016
(137)
2017
(112)
2024
(27)
2025
(27)
2015
(19)
Subject
Computer simulation.
(337)
Artificial intelligence.
(100)
Software engineering.
(87)
Computer science.
(76)
Computer networks .
(73)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
337 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Analysis and Simulation of Electrical and Computer Systems
Analysis and Simulation of Electrical and Computer Systems
Author 
Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11248-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 Applied Antifragility in Natural Systems From Principles to Applications
Applied Antifragility in Natural Systems From Principles to Applications
Author 
Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90391-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Smart Grid and Cyber Security Technologies 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 II
Smart Grid and Cyber Security Technologies 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 II
Author 
Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0225-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications
Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications
Author 
Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78991-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Control Systems Benchmarks
Control Systems Benchmarks
Author 
Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76312-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Applications of Machine Learning in Hydroclimatology
Applications of Machine Learning in Hydroclimatology
Author 
Srivastav, Roshan. author. (orcid)0000-0002-8175-8969 Nayak, Purna C. author. (orcid)0000-0002-0711-5295 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64403-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Clean Energy Technology and Energy Storage Systems 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 III
Clean Energy Technology and Energy Storage Systems 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 III
Author 
Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0232-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
Author 
Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71533-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action