New data structures and algorithms for logic synthesis and verification

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Amaru, Luca Gaetano (Зохиогч)
Байгууллагын зохиогч: SpringerLink (Online service)
Формат: Electronic Resource
Хэл сонгох:англи
Хэвлэсэн: Cham Springer [2017]
Нөхцлүүд:
Онлайн хандалт: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