- Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing TechniquesStoffel, Dominik
Paperback - Methods and Procedures for the Verification and Validation of Artificial Neural NetworksNotizbucher, Msed
Paperback - Autonomy Oriented Computing: From Problem Solving to Complex Systems ModelingTsui, Kwok Ching
Paperback - Formal Methods for Embedded Distributed Systems: How to Master the ComplexityNotizbucher, Msed
Paperback