Limit Search Results
Author
SpringerLink (Online service)
(1177)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Language
Publication Date
-
Subject
Computer science.
(712)
Artificial intelligence.
(339)
Software engineering.
(318)
Engineering.
(176)
Computer vision.
(163)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1255 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Modeling and use of context in action
Modeling and use of context in action
Author 
Brézillon, Patrick, editor. Turner, Roy M., editor.
Preferred Shelf Number 
Q180.55 .M4 M63 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163960
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Spatial Predictive Modelling with R.
Spatial Predictive Modelling with R.
Author 
Li, Jin.
Preferred Shelf Number 
QA76.9 .C65
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003091776
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Surrogates : Gaussian process modeling, design, and optimization for the applied sciences
Surrogates : Gaussian process modeling, design, and optimization for the applied sciences
Author 
Gramacy, Robert B., author.
Preferred Shelf Number 
QA274.4 .G73 2020
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367815493
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Short sims : a game changer
Short sims : a game changer
Author 
Aldrich, Clark, 1967- author.
Preferred Shelf Number 
QA76.9 .C65 A42 2020 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003018643
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Simulation for Industry 4.0 Past, Present, and Future
Simulation for Industry 4.0 Past, Present, and Future
Author 
Gunal, Murat M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04137-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Author 
Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37262-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
Author 
Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14657-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
Author 
Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-9802-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action