Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
00000DEFAULT
Print
13. 
Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Author 
George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Author 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
Author 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Plasmonic catalysis : from fundamentals to applications
Plasmonic catalysis : from fundamentals to applications
Author 
Cortés, Emiliano, editor. Camargo, Pedro H. C., editor.
Preferred Shelf Number 
QC176.8 .P55 P53 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826971
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Modeling and design of secure Internet of things
Modeling and design of secure Internet of things
Author 
Kamhoua, Charles A., editor. Njilla, Laurent L., editor. Kott, Alexander, 1971- editor. Shetty, Sachin, editor.
Preferred Shelf Number 
TK5105.8857 .M63 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119593386
Format: 
Availability 
Online Library~1
Available:
Copies: