mathias soeken
Formal Specification Level
EbookSofort lieferbarThis book introduces a new level of abstraction that closes the gap between the textual specifica...
Advanced Boolean Techniques
EbookSofort lieferbarThis book describes recent findings in the domain of Boolean logic and Boolean algebra, covering ...
Reversible Computation
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 11th International Conference on Reversible...
Natural Language Processing for Electronic Design Automation
EbookSofort lieferbarThis book describes approaches for integrating more automation to the early stages of EDA design ...
Formal Specification Level
BuchBezug 11-15This book introduces a new level of abstraction that closes the gap between the textual specif...
Formal Specification Level
TaschenbuchBezug 11-15This book introduces a new level of abstraction that closes the gap between the textual specif...
Natural Language Processing for Electronic Design Automation
BuchBezug 11-15This book describes approaches for integrating more automation to the early stages of EDA design ...
Advanced Boolean Techniques
TaschenbuchBezug 11-15This book describes recent findings in the domain of Boolean logic and Boolean algebra, coveri...
Advanced Boolean Techniques
BuchBezug 16-20This book describes recent findings in the domain of Boolean logic and Boolean algebra, coveri...
Reversible Computation
TaschenbuchBezug 16-20This book constitutes the refereed proceedings of the 11th International Conference on Reversi...
- 1