Limit Search Results
Author
Language
Subject
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Author 
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89650-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89653-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Author 
Wasilewska, Anita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions
Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions
Author 
Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75049-1
Format: 
Availability 
Online Library~1
Available:
Copies: