Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Model-Implementation Fidelity in Cyber Physical System Design
Model-Implementation Fidelity in Cyber Physical System Design
Author 
Molnos, Anca. editor. Fabre, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47307-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Compilation for Secure Multi-party Computation
Compilation for Secure Multi-party Computation
Author 
Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Author 
Winterstein, Felix. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53222-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Fault-Tolerant Digital Microfluidic Biochips Compilation and Synthesis
Fault-Tolerant Digital Microfluidic Biochips Compilation and Synthesis
Author 
Pop, Paul. author. Alistar, Mirela. author. Stuart, Elena. author. Madsen, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23072-6
Format: 
Availability 
Online Library~1
Available:
Copies: