Limit Search Results
Author
Language
Subject
Android (Electronic resource)
(4)
Android (Elektronik kaynak)
(4)
Application software -- Development.
(4)
Compilers (Computer programs).
(3)
Compilers and Interpreters.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000DEFAULT
Print
13. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Wireless Sensor Networks for Structural Health Monitoring
Wireless Sensor Networks for Structural Health Monitoring
Author 
Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Simulation of the Noise Transmission through Automotive Door Seals
Simulation of the Noise Transmission through Automotive Door Seals
Author 
Hazir, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14253-7
Format: 
Availability 
Online Library~1
Available:
Copies: