Limit Search Results
Author
SpringerLink (Online service)
(304)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(5)
Language
English
(304)
Publication Date
-
2016
(137)
2017
(112)
2024
(27)
2025
(27)
2014
(1)
Subject
Computer simulation.
(304)
Artificial intelligence.
(95)
Software engineering.
(87)
Computer science.
(76)
Computer networks .
(72)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
304 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications
Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications
Author 
Maltarollo, Vinícius Gonçalves. editor. (orcid)0000-0001-9675-5907 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Simulation on Hydration of Tricalcium Silicate in Cement Clinker
Simulation on Hydration of Tricalcium Silicate in Cement Clinker
Author 
Shen, Dejian. author. Wang, Xin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4598-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Structural Decision Diagrams in Digital Test Theory and Applications
Structural Decision Diagrams in Digital Test Theory and Applications
Author 
Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44734-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings
Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings
Author 
Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52670-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019
Author 
Tobita, Tetsuo. editor. (orcid)0000-0002-1765-2721 Ichii, Koji. editor. Ueda, Kyohei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48821-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II
Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II
Author 
Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7243-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent Systems and Computing
Intelligent Systems and Computing
Author 
Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2891-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Author 
Blum, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60103-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action