Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Availability 
Online Library~1
Available:

Copies:

2. 
Cover image for Enhanced Virtual Prototyping for Heterogeneous Systems
Enhanced Virtual Prototyping for Heterogeneous Systems
Author 
Hassan, Muhammad. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-05574-4
Format: 
Availability 
Online Library~1
Available:

Copies:

3. 
Cover image for Formal Specification Level Concepts, Methods, and Algorithms
Formal Specification Level Concepts, Methods, and Algorithms
Author 
Soeken, Mathias. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08699-6
Format: 
Availability 
Online Library~1
Available:

Copies: