Limit Search Results
Author
SpringerLink (Online service)
(432)
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
(489)
Publication Date
-
Subject
Computer Modelling.
(337)
Computer simulation.
(337)
Artificial intelligence.
(136)
Software engineering.
(111)
Computer science.
(95)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
489 Results Found Subscribe to search results
000000000000DEFAULT
Print
1285. 
Cover image for Foundations of Robotics
Foundations of Robotics
Author 
Siciliano, Bruno. author. (orcid)0000-0002-1037-0588 Villani, Luigi. author. (orcid)0000-0002-4431-6846 Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278 De Luca, Alessandro. author. (orcid)0000-0002-0713-5608 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85523-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1286. 
Cover image for Computational methods for rational drug design
Computational methods for rational drug design
Author 
Rudrapal, Mithun, editor.
Preferred Shelf Number 
RM301.25 .C66 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249190
Format: 
Availability 
Online Library~1
Available:
Copies:
1287. 
Cover image for Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
Author 
Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73370-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1288. 
Cover image for The 19th International Conference on Soft Computing Models in Industrial and Environmental Applications SOCO 2024 Salamanca, Spain, October 9-11, 2024 Proceedings, Volume 2
The 19th International Conference on Soft Computing Models in Industrial and Environmental Applications SOCO 2024 Salamanca, Spain, October 9-11, 2024 Proceedings, Volume 2
Author 
Quintián, Héctor. editor. (orcid)0000-0002-0268-7999 Corchado, Emilio. editor. (orcid)0000-0001-8560-3991 Troncoso Lora, Alicia. editor. (orcid)0000-0002-9801-7999 Pérez García, Hilde. editor. (orcid)0000-0001-7112-1983 Jove, Esteban. editor. (orcid)0000-0002-0625-359X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75010-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1289. 
Cover image for Simulation and Synthesis in Medical Imaging 9th International Workshop, SASHIMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
Simulation and Synthesis in Medical Imaging 9th International Workshop, SASHIMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
Author 
Fernandez, Virginia. editor. (orcid)0000-0001-5984-197X Wolterink, Jelmer M. editor. (orcid)0000-0001-5505-475X Wiesner, David. editor. (orcid)0000-0002-6720-6287 Remedios, Samuel. editor. (orcid)0000-0001-8634-8128 Zuo, Lianrui. editor. (orcid)0000-0002-5923-9097
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73281-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1290. 
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:
1291. 
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:
1292. 
Cover image for Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Author 
Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85134-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1293. 
Cover image for Frontiers of Computer Science and Information Technology Proceedings of the 2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology (FCSIT 2024)
Frontiers of Computer Science and Information Technology Proceedings of the 2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology (FCSIT 2024)
Author 
Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88649-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1294. 
Cover image for Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings
Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings
Author 
Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1295. 
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:
1296. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets