New data structures and algorithms for logic synthesis and verification

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