New data structures and algorithms for logic synthesis and verification
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Médium: | Electronic Resource |
| Jazyk: | English |
| Vydáno: |
Cham
Springer
[2017]
|
| Témata: | |
| On-line přístup: | Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy |