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
1. 
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:
2. 
Cover image for Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology
Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology
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-76081-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
Author 
Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Recent Trends in Sports Engineering Select Proceedings of ICSE 2023
Recent Trends in Sports Engineering Select Proceedings of ICSE 2023
Author 
Bhattacharyya, Suvanjan. editor. (orcid)0000-0002-3619-0518 James, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
Cover image for Engineering Mathematics with MATLAB® and Simulink®
Engineering Mathematics with MATLAB® and Simulink®
Author 
Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets