分享给好友:
High Quality Test Pattern Generation and Boolean Satisfiability Stephan Eggersgluss 2012 edition
价格
元 710
不含税
远程仓调货
预计送达时间 年6月19日 - 年7月1日
添加至iMusic心愿单
其他版本：
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersgluss
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.
193 pages, 52 black & white tables, biography
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2012年1月31日 |
| 原始发行日期 | 2011 |
| ISBN13 | 9781441999757 |
| 出版商 | Springer-Verlag New York Inc. |
| 页数 | 193 |
| 商品尺寸 | 155 × 235 × 12 mm · 476 g |
| 语言 | 英语 |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/missing-tall.png)
![Cover for Functional Disulphide Bonds: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/575/9781071651575.jpg?2026-functional-disulphide-bonds-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775139165)
![Cover for Targeting Enzymes for Pharmaceutical Development: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/896/9781071651896.jpg?2026-targeting-enzymes-for-pharmaceutical-development-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775080745)
![Cover for Collagen: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/933/9781071651933.jpg?2026-collagen-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775081440)
![Cover for In Situ Hybridization Protocols - Methods in Molecular Biology (Hardcover Book) [Sixth Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/718/9781071652718.jpg?2026-in-situ-hybridization-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1778115542)
![Cover for Expression, Purification, and Structural Biology of Membrane Proteins - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/858/9781071651858.jpg?2026-expression-purification-and-structural-biology-of-membrane-proteins-methods-in-molecular-biology-hardcover-book&class=scaled&v=1777954830)
![Cover for Enzyme Stabilization and Immobilization: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/698/9781071651698.jpg?2026-enzyme-stabilization-and-immobilization-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775079239)
![Cover for Lipid-Protein Interactions: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/530/9781071650530.jpg?2026-lipid-protein-interactions-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450253)
![Cover for Detection and Quantification of Bacteria, Yeast, Viruses, and Protozoan in Foods and Freshwater - Methods and Protocols in Food Science (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/639/9781071650639.jpg?2026-detection-and-quantification-of-bacteria-yeast-viruses-and-protozoan-in-foods-and-freshwater-methods-and-protocols-in-food-science-hardcover-book&class=scaled&v=1774450462)
![Cover for Circulating Tumor Cells: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/493/9781071650493.jpg?2026-circulating-tumor-cells-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450137)
![Cover for Antibody Engineering: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/400/9781071650400.jpg?2026-antibody-engineering-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774358267)
![Cover for Mouse Embryogenesis: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/254/9781071651254.jpg?2026-mouse-embryogenesis-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450359)
![Cover for Biofuels from Algae: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/301/9781071650301.jpg?2026-biofuels-from-algae-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450546)