Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions
Author 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Manufacturing II Volume 1 - Solutions for Industry 4.0
Advances in Manufacturing II Volume 1 - Solutions for Industry 4.0
Author 
Trojanowska, Justyna. editor. Ciszak, Olaf. editor. Machado, José Mendes. editor. Pavlenko, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18715-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applied Acoustics: Concepts, Absorbers, and Silencers for Acoustical Comfort and Noise Control Alternative Solutions - Innovative Tools - Practical Examples
Applied Acoustics: Concepts, Absorbers, and Silencers for Acoustical Comfort and Noise Control Alternative Solutions - Innovative Tools - Practical Examples
Author 
Fuchs, Helmut V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333232.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29367-2
Format: 
Availability 
Online Library~1
Available:
Copies: