New Data Structures and Algorithms for Logic Synthesis and Verification

New Data Structures and Algorithms for Logic Synthesis and Verification

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Amaru, Luca Gaetano
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Engineering
Circuits and Systems
Processor Architectures
Logic Design
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85724
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-85724
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-857242020-02-24T10:56:08Z New Data Structures and Algorithms for Logic Synthesis and Verification Amaru, Luca Gaetano Engineering Circuits and Systems Processor Architectures Logic Design 2020-02-24T10:56:08Z 2020-02-24T10:56:08Z 2017 Book 978-3-319-43173-4 978-3-319-43174-1 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85724 en Springer International Publishing Switzerland application/pdf Springer International Publishing
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Engineering
Circuits and Systems
Processor Architectures
Logic Design
spellingShingle Engineering
Circuits and Systems
Processor Architectures
Logic Design
Amaru, Luca Gaetano
New Data Structures and Algorithms for Logic Synthesis and Verification
format Book
author Amaru, Luca Gaetano
author_facet Amaru, Luca Gaetano
author_sort Amaru, Luca Gaetano
title New Data Structures and Algorithms for Logic Synthesis and Verification
title_short New Data Structures and Algorithms for Logic Synthesis and Verification
title_full New Data Structures and Algorithms for Logic Synthesis and Verification
title_fullStr New Data Structures and Algorithms for Logic Synthesis and Verification
title_full_unstemmed New Data Structures and Algorithms for Logic Synthesis and Verification
title_sort new data structures and algorithms for logic synthesis and verification
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85724
_version_ 1757659539939786752

Những quyển sách tương tự