- Formal Methods for Embedded Distributed Systems: How to Master the ComplexityNotizbucher, Msed
Paperback - Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing TechniquesStoffel, Dominik
Paperback - Fully-Depleted Soi CMOS Circuits and Technology for Ultralow-Power ApplicationsDouseki, Takakuni
Paperback
