Wolfgang Kunz: 2 books
Reasoning in Boolean Networks
Logic Synthesis and Verification Using Testing Techniques
Language: English
Release Date: March 9, 2013
Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits...
by Sigrid Hodel-Hoenes, Robert Rollinger, Manfred Oeming
Language: German
Release Date: October 1, 2014
Language: German
Release Date: October 1, 2014
Das »Wörterbuch alttestamentlicher Motive« erleichtert das Verständnis der alttestamentlichen Texte und erschließt die Bedeutung ihrer Themen und Motive. Rund 120 Artikel beschreiben die altorientalischen Wurzeln zu jedem Motiv und erwähnen die Wirkungsgeschichte, die zumeist über das Neue...