Tous les livres numériques de Mathias Soeken en PDF et EPUB

3 Livre(s)
Télécharger le livre : Natural Language Processing for Electronic Design Automation
Natural Language Processing for Electronic Design Automation
Rolf Drechsler , Mathias Soeken
This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process...

Editeur : Springer
Parution : 2020-08-31
PDF, ePub

60,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Advanced Boolean Techniques
Advanced Boolean Techniques
Rolf Drechsler , Mathias Soeken
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science.  Content includes invited chapters and a...

Editeur : Springer
Parution : 2019-07-08
PDF, ePub

108,89 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Specification Level
Formal Specification Level
Rolf Drechsler , Mathias Soeken
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL),...

Editeur : Springer
Parution : 2014-11-12
ePub

108,89 €
Téléchargement immédiat
Dès validation de votre commande