Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Formal methods for control of nonlinear systems
Formal methods for control of nonlinear systems
Author 
Li, Yinan (Engineer), author. Liu, Jun (Professor of applied mathematics), author.
Preferred Shelf Number 
QA402.35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429270253
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 Nexus of Sustainability Understanding of FEWSE Systems І
Nexus of Sustainability Understanding of FEWSE Systems І
Author 
Zagorodny, Anatoly. editor. Bogdanov, Viacheslav. editor. (orcid)0000-0001-9864-9120 Zaporozhets, Artur. editor. (orcid)0000-0002-0704-4116 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66764-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Reliability Engineering Data analytics, modeling, risk prediction
Reliability Engineering Data analytics, modeling, risk prediction
Author 
Bracke, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-67446-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Movements of Form
Movements of Form
Author 
Mowitz, Joachim H. author. Goudsmit, Arno L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
Author 
Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Star Identification Methods, Techniques and Algorithms
Star Identification Methods, Techniques and Algorithms
Author 
Zhang, Guangjun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53783-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering
Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering
Author 
Geiser, Juergen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15117-5
Format: 
Availability 
Online Library~1
Available:
Copies: