Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines m...

P A quality-driven design and verification flow for digital systems is developed and presented i...

This book presents a comprehensive set of techniques that enhance all key aspects of a modern ...

This book describes reliable and efficient design automation techniques for the design ...

This book brings together a selection of the best papers from the twentiethedition of t...

This book brings together a selection of the best papers from the twenty-first editi...

Das Buch beschreibt die Transformation der Gesundheitswirtschaft in disruptiven Zeiten. Ganz konk...

Wie hängen Wirtschaft und Politik zusammen? Inwiefern beeinflussen die ökomischen Voraussetzungen...

Die digitale Transformation der Gesundheitswirtschaft ist in vollem Gange. Trotzdem weist der dig...

Die rasanten Wandlungsprozesse in Wirtschaft, Politik, Medien, Wissenschaft und Gesellschaft könn...

This book addresses the challenging tasks of verifying and debugging structurally complex mult...

This book describes recent findings in the domain of Boolean logic and Boolean algebra, coveri...