Limit Search Results
Author
SpringerLink (Online service)
(49)
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
Subject
Computer Modelling.
(27)
Computer simulation.
(27)
Artificial intelligence.
(22)
Computer networks .
(21)
Software engineering.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
52 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Emerging electrical and computer technologies for smart cities : modelling, solution techniques and applications
Emerging electrical and computer technologies for smart cities : modelling, solution techniques and applications
Author 
Mahela, Om Prakash, 1977- editor. Khan, Baseem, 1987- editor. Jain, Puneet Kumar, editor.
Preferred Shelf Number 
TD159.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003486930
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Fundamentals and applications of colour engineering
Fundamentals and applications of colour engineering
Author 
Green, Phil, 1953- editor.
Preferred Shelf Number 
QC495 .F85 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119827214
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Open access databases and datasets for drug discovery
Open access databases and datasets for drug discovery
Author 
Daina, Antoine, editor. Przewosny, Michael, editor. Zoete, Vincent, editor.
Preferred Shelf Number 
RM301.25 .O64 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527830497
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Image Analysis and Processing - ICIAP 2023 Workshops Udine, Italy, September 11-15, 2023, Proceedings, Part I
Image Analysis and Processing - ICIAP 2023 Workshops Udine, Italy, September 11-15, 2023, Proceedings, Part I
Author 
Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51023-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Machine Intelligence for Research and Innovations Proceedings of MAiTRI 2023, Volume 1
Machine Intelligence for Research and Innovations Proceedings of MAiTRI 2023, Volume 1
Author 
Verma, Om Prakash. editor. (orcid)0000-0002-7421-295X Wang, Lipo. editor. Kumar, Rajesh. editor. Yadav, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8129-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data
Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data
Author 
Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68313-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 AI Approaches for Designing and Evaluating Interactive Intelligent Systems Selected and Revised Papers from RoCHI 2022
AI Approaches for Designing and Evaluating Interactive Intelligent Systems Selected and Revised Papers from RoCHI 2022
Author 
Kolski, Christophe. editor. (orcid)0000-0002-7881-6435 Mihăescu, Marian Cristian. editor. Rebedea, Traian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53957-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Author 
Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action