熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 120 筆, 頁數 1 / 2
呈現:
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never
This book deals with formal and practical approaches for early fast modeling and verification of com... more |
|||
Formal Verification of Structurally Complex Multipliers
This book addresses the challenging tasks of verifying and debugging structurally complex multiplier... more |
|||
Cowgirl Skirts and Music Boxes
In times of grief, Judy Drechsler turns to poetry. After retiring from teaching, Judy cared for her mother, defeated by...... more |
|||
The Lies We Never Tell
I am not okay. Sure, I have friends, I have a boyfriend, I have dance and good enough grades, but I ... more |
|||
Enhanced Virtual Prototyping for Heterogeneous Systems
This book describes a comprehensive combination of methodologies that strongly enhance the modern Vi... more |
|||
The Girl and the Wolf: once upon a time
first novella, featuring Nikki and Gretas story will be out even sooner, in May! Follow the author (Fiona Drechsler) to get...... more |
|||
Formal Verification of Structurally Complex Multipliers
This book addresses the challenging tasks of verifying and debugging structurally complex multiplier... more |
|||
Knowledge Paths in Design Science Research
Researchers travel on paths of knowledge throughout life and the outcomes of rigorous scientific inv... more |
|||
Enhanced Virtual Prototyping for Heterogeneous Systems
This book describes a comprehensive combination of methodologies that strongly enhance the modern Vi... more |
|||
Mindset of the Winners - The Big 4 in 1 Book for Unlimited Success in Life: Changing Habits Setting Goals Building Mental Strength Stopping Procrastin
want to try to make more out of your life and your career, the anthology of Patrick Drechsler is the right choice for...... more |
|||
Clear Goals: What Do You Really Want to Achieve in Life? Ultimate Success Through Personal Goal Planning in 4 Steps
Your life is too short to pursue the wrong goals! Consider these hard truths: Nothing is given out f... more |
|||
Winners’ Habits: 3 Steps to Powerful Success Routines. Exercise More, Live Healthier, Work More Productively, and Have Better Relations
You know those individuals who wake up at five o’clock in the morning, go for a jog, have a really n... more |
|||
The Mind Power System: Success Through Mental Strength and Positive Thinking: How to Build an Unshakable Winning Mindset in 6 Steps
Your thoughts are powerful! Only those who are able to drive their convictions, attitudes, and menta... more |
|||
Instantly Stop Procrastination: Powerful Concepts That Will Help You Effectively Complete the Tasks You Keep Avoiding
the future by adopting an effective approach that allows you to focus on the important stuff? Patrick Drechsler, the...... more |
|||
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
This book introduces several novel approaches to pave the way for the next generation of integrated ... more |
|||
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtua... more |
|||
Count Bassus & The Statue of Baphomet
|
|||
Merchant Kolmer & The Obelisk of Nempty
|
|||
Adam Weishaupt and The Eye of Horus
|
|||
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
This book describes a set of SystemC‐based virtual prototype analysis methodologies, including desig... more |
|||
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
This book introduces several novel approaches to pave the way for the next generation of integrated ... more |
|||
Enhanced Virtual Prototyping: Featuring Risc-V Case Studies
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtua... more |
|||
In-Memory Computing: Synthesis and Optimization
This book describes a comprehensive approach for synthesis and optimization of logic-in-memory compu... more |
|||
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
This book describes a set of SystemC‐based virtual prototype analysis methodologies, including desig... more |
|||
Ecological-Economic Modelling for Biodiversity Conservation
|
|||
Ecological-Economic Modelling for Biodiversity Conservation
Ecologists and economists both use models to help develop strategies for biodiversity management. Th... more |
|||
In-Memory Computing: Synthesis and Optimization
This book describes a comprehensive approach for synthesis and optimization of logic-in-memory compu... more |
|||
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
This book describes reliable and efficient design automation techniques for the design and implement... more |
|||
Exact Design of Digital Microfluidic Biochips
This book presents exact, that is minimal, solutions to individual steps in the design process for D... more |
|||
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
This book describes reliable and efficient design automation techniques for the design and implement... more |
|||
Exact Design of Digital Microfluidic Biochips
This book presents exact, that is minimal, solutions to individual steps in the design process for D... more |
|||
Reversible and Quantum Circuits: Optimization and Complexity Analysis
|
|||
Falling Into One: a book of poetry
|
|||
Formal Specification Level: Concepts, Methods, and Algorithms
This book introduces a new level of abstraction that closes the gap between the textual specificatio... more |
|||
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
This book provides a comprehensive overview of automatic model refinement, which helps readers close... more |
|||
Reversible and Quantum Circuits: Optimization and Complexity Analysis
|
|||
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of... more |
|||
Formal Specification Level: Concepts, Methods, and Algorithms
This book introduces a new level of abstraction that closes the gap between the textual specificatio... more |
|||
Debugging at the Electronic System Level
|
|||
High Quality Test Pattern Generation and Boolean Satisfiability
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel tech... more |
|||
Quality-Driven Systemc Design
A quality-driven design and verification flow for digital systems is developed and presented in Qual... more |
|||
Spectral Techniques in VLSI CAD
|
|||
Unemployment and Labor Market Rigidities
|
|||
High Quality Test Pattern Generation and Boolean Satisfiability
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel tech... more |
|||
Techno-Economic Paradigms: Essays in Honour of Carlota Perez
Techno-economic paradigm shifts are at the core of general, innovation-based theory of economic and ... more |
|||
Synthetic Datasets for Statistical Disclosure Control: Theory and Implementation
The aim of this book is to give the reader a detailed introduction to the different approaches to ge... more |
|||
Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG,
|
|||
Friedrich Nietzsche (1844-1900): Economy and Society
Nietzsche - Economy and Society: The Closed and the Open Questions a b Jürgen G. Backhaus and Wolfgang Drechsler a...... more |
|||
Binary Decision Diagrams: Theory and Implementation
|
|||
Advanced BDD Optimization
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the... more |
|||
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to de... more |
|||
Test Pattern Generation Using Boolean Proof Engines
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic c... more |
|||
Towards a Design Flow for Reversible Logic
The development of computing machines found great success in the last decades. But the ongoing minia... more |
|||
Debugging at the Electronic System Level
List of Figures. List of Tables. Preface. Acknowledgements. 1. INTRODUCTION; 1 General Objective of ... more |
|||
Quality-Driven SystemC Design
A quality-driven design and verification flow for digital systems is developed and presented in Qual... more |
|||
Techno-Economic Paradigms: Essays in Honour of Carlota Perez
Techno-economic paradigm shifts are at the core of general, innovation-based theory of economic and ... more |
|||
The Dispersal of the Neolithic over the Arabian Peninsula
|
|||
Test Pattern Generation Using Boolean Proof Engines
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic c... more |
|||
Applications of Evolutionary Computing: Evoworkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and E
Evolutionary computation (EC) techniques are e?cient, nature-inspired pl- ning and optimization meth... more |
|||
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to de... more |