New data structures and algorithms for logic synthesis and verification / Luca Gaetano Amaru.
2016
QA76.9.D35
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
New data structures and algorithms for logic synthesis and verification / Luca Gaetano Amaru.
Author
ISBN
9783319431741 (electronic book)
3319431749 (electronic book)
9783319431734
3319431749 (electronic book)
9783319431734
Published
Switzerland : Springer, [2016].
Copyright
©2017
Language
English
Description
1 online resource (xvi, 156 pages) : illustrations.
Call Number
QA76.9.D35
Dewey Decimal Classification
005.7/3
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 15, 2016).
Available in Other Form
Linked Resources
Record Appears in