Exact Design of Digital Microfluidic Biochips
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be e...
| Κύριοι συγγραφείς: | Keszocze, Oliver (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Wille, Robert (http://id.loc.gov/vocabulary/relators/aut), Drechsler, Rolf (http://id.loc.gov/vocabulary/relators/aut) |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
| Έκδοση: | 1st ed. 2019. |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ανά: Przigoda, Nils, κ.ά.
Έκδοση: (2018) -
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
ανά: Chandrasekharan, Arun, κ.ά.
Έκδοση: (2019) -
Multi-run Memory Tests for Pattern Sensitive Faults
ανά: Mrozek, Ireneusz, κ.ά.
Έκδοση: (2019) -
Post-Silicon Validation and Debug
Έκδοση: (2019) -
Approximate Circuits Methodologies and CAD /
Έκδοση: (2019)