Powiedz znajomym o tym przedmiocie:
Test Pattern Generation using Boolean Proof Engines Rolf Drechsler 2009 edition
Cena
zł 480,90
Zamówione z odległego magazynu
Przewidywana dostawa 2 - 16 wrz
Otrzymuj powiadomienia o nowych wydawnictwach Rolf Drechsler
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Również dostępne jako:
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs.
192 pages, biography
Więcej od Rolf Drechsler
Pokaż wszystko![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Hardcover Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/967/9781402061967.jpg?rolf-drechsler-2007-existence-semantics-and-syntax-studies-in-linguistics-and-philosophy-hardcover-book&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Hardcover Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-hardcover-book&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Hardcover Book) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/765/9781402072765.jpg?rolf-drechsler-2002-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-hardcover-book&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-hardcover-book&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-hardcover-book&class=scaled&v=1410211703)
Więcej od tego samego wydawcy
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Joseph Zajda · Globalisation, Ideology and Neo-Liberal Higher Education Reforms - Globalisation, Comparative Education and Policy Research (Paperback Book) [2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/531/9789402417531.jpg?joseph-zajda-2021-globalisation-ideology-and-neo-liberal-higher-education-reforms-globalisation-comparative-education-and-policy-research-paperback-book&class=scaled&v=1622229829)
![Cover for Precarized Society: Social Transformation of the Welfare State - Prekarisierung und soziale Entkopplung - transdisziplinare Studien (Paperback Book) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/127/9783658224127.jpg?2020-precarized-society-social-transformation-of-the-welfare-state-prekarisierung-und-soziale-entkopplung-transdisziplinare-studien-paperback-book&class=scaled&v=1592914303)
![Cover for Dionissios T. Hristopulos · Random Fields for Spatial Data Modeling: A Primer for Scientists and Engineers - Advances in Geographic Information Science (Hardcover Book) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/160/9789402419160.jpg?dionissios-t-hristopulos-2020-random-fields-for-spatial-data-modeling-a-primer-for-scientists-and-engineers-advances-in-geographic-information-science-hardcover-book&class=scaled&v=1612626264)
![Cover for Moshe Dror · Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications - International Series in Operations Research & Management Science (Hardcover Book) [2002 edition] (2019)](https://imusic.b-cdn.net/images/item/original/633/9780792374633.jpg?moshe-dror-2019-modeling-uncertainty-an-examination-of-stochastic-theory-methods-and-applications-international-series-in-operations-research-management-science-hardcover-book&class=scaled&v=1422354786)
![Cover for Kopf · The Dao Companion to Japanese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/232/9789048129232.jpg?kopf-2019-the-dao-companion-to-japanese-buddhist-philosophy-dao-companions-to-chinese-philosophy-hardcover-book&class=scaled&v=1564419636)
![Cover for Simon Marius and His Research - Historical & Cultural Astronomy (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/209/9783319926209.jpg?2019-simon-marius-and-his-research-historical-cultural-astronomy-hardcover-book&class=scaled&v=1541913791)
![Cover for Bo-Ping Zhou-Pu-Xuan Lu · Diagnostic Imaging of Emerging Infectious Diseases (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2019)](https://imusic.b-cdn.net/images/item/original/359/9789402413359.jpg?bo-ping-zhou-pu-xuan-lu-2019-diagnostic-imaging-of-emerging-infectious-diseases-paperback-book&class=scaled&v=1750335910)
![Cover for Resilience in Social, Cultural and Political Spheres (Paperback Book) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/281/9783658153281.jpg?2019-resilience-in-social-cultural-and-political-spheres-paperback-book&class=scaled&v=1496684089)
![Cover for Youru Wang · Dao Companion to Chinese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/386/9789048129386.jpg?youru-wang-2019-dao-companion-to-chinese-buddhist-philosophy-dao-companions-to-chinese-philosophy-hardcover-book&class=scaled&v=1539862459)
![Cover for Anke Luneburg · Auf Dem Weg Zur Fuhrungskraft: Die Innere Haltung Entwickeln (Paperback Book) [1. Aufl. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/857/9783658219857.jpg?anke-luneburg-2018-auf-dem-weg-zur-fuhrungskraft-die-innere-haltung-entwickeln-paperback-book&class=scaled&v=1582906646)
![Cover for Rokkam Madhavi · Digenetic Trematodes of Indian Marine Fishes (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/339/9789402415339.jpg?rokkam-madhavi-2018-digenetic-trematodes-of-indian-marine-fishes-hardcover-book&class=scaled&v=1541092522)
![Cover for Ferdinand Kiemeneij-Yujie Zhou-Wei Liu-Shigeru Sai · Transradial Approach for Percutaneous Interventions (Paperback Book) [Softcover Reprint of the Original 1st 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/335/9789402413335.jpg?ferdinand-kiemeneij-yujie-zhou-wei-liu-shigeru-sai-2018-transradial-approach-for-percutaneous-interventions-paperback-book&class=scaled&v=1612694911)
![Cover for Roads to Music Sociology - Musik und Gesellschaft (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/789/9783658222789.jpg?2018-roads-to-music-sociology-musik-und-gesellschaft-paperback-book&class=scaled&v=1541798980)
![Cover for Karrie A. Shogren-Todd D. Little-Shane J. Lopez-Mi · Development of Self-Determination Through the Life-Course (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/738/9789402414738.jpg?karrie-a-shogren-todd-d-little-shane-j-lopez-mi-2018-development-of-self-determination-through-the-life-course-paperback-book&class=scaled&v=1610001895)
![Cover for Jianmin Xu-Yunshi Zhong-Xinyu Qin · Multidisciplinary Management of Liver Metastases in Colorectal Cancer: Early Diagnosis and Treatment (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/004/9789402414004.jpg?jianmin-xu-yunshi-zhong-xinyu-qin-2018-multidisciplinary-management-of-liver-metastases-in-colorectal-cancer-early-diagnosis-and-treatment-paperback-book&class=scaled&v=1614251834)
![Cover for Handbook of Legal Reasoning and Argumentation (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/513/9789048194513.jpg?2018-handbook-of-legal-reasoning-and-argumentation-hardcover-book&class=scaled&v=1553681547)
![Cover for CyberGIS for Geospatial Discovery and Innovation - GeoJournal Library (Hardcover Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/292/9789402415292.jpg?2018-cybergis-for-geospatial-discovery-and-innovation-geojournal-library-hardcover-book&class=scaled&v=1544637712)
![Cover for Kai Oliver Thiele · The Views of Japanese Employees on Cross-Border M&As - Betriebswirtschaftliche Forschung zur Unternehmensfuhrung (Paperback Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/247/9783658225247.jpg?kai-oliver-thiele-2018-the-views-of-japanese-employees-on-cross-border-m-as-betriebswirtschaftliche-forschung-zur-unternehmensfuhrung-paperback-book&class=scaled&v=1531691090)
![Cover for Nicolas Fromm · Constructivist Niche Diplomacy: Qatar's Middle East Diplomacy as an Illustration of Small State Norm Crafting - Politik und Gesellschaft des Nahen Ostens (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/186/9783658225186.jpg?nicolas-fromm-2018-constructivist-niche-diplomacy-qatar-s-middle-east-diplomacy-as-an-illustration-of-small-state-norm-crafting-politik-und-gesellschaft-des-nahen-ostens-paperback-book&class=scaled&v=1610540110)
![Cover for Clemens Forman · Coupling Power Generation with Syngas-Based Chemical Synthesis: A Process Chain Evaluation from a Power Plant Viewpoint (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/084/9783658226084.jpg?clemens-forman-2018-coupling-power-generation-with-syngas-based-chemical-synthesis-a-process-chain-evaluation-from-a-power-plant-viewpoint-paperback-book&class=scaled&v=1534320264)
![Cover for Norman Bowie · Business Ethics in the 21st Century - Issues in Business Ethics (Paperback Book) [1st ed. 2013 edition] (2018)](https://imusic.b-cdn.net/images/item/original/360/9789402415360.jpg?norman-bowie-2018-business-ethics-in-the-21st-century-issues-in-business-ethics-paperback-book&class=scaled&v=1539762961)
![Cover for Thorsten Knoll · Veranstaltungsformate im Vergleich: Entscheidungshilfen zum passgenauen Event - essentials (Paperback Book) [1. Aufl. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/174/9783658220174.jpg?thorsten-knoll-2018-veranstaltungsformate-im-vergleich-entscheidungshilfen-zum-passgenauen-event-essentials-paperback-book&class=scaled&v=1600030010)
![Cover for Hongjun Li · Radiology of Influenza: A Practical Approach (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/332/9789402414332.jpg?hongjun-li-2018-radiology-of-influenza-a-practical-approach-paperback-book&class=scaled&v=1623231242)
![Cover for Florian Winke · Transient Effects in Simulations of Hybrid Electric Drivetrains - Wissenschaftliche Reihe Fahrzeugtechnik Universitat Stuttgart (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/537/9783658225537.jpg?florian-winke-2018-transient-effects-in-simulations-of-hybrid-electric-drivetrains-wissenschaftliche-reihe-fahrzeugtechnik-universitat-stuttgart-paperback-book&class=scaled&v=1533042711)
Zobacz wszystko od Rolf Drechsler ( np. Paperback Book , Hardcover Book i Book )