Browse
FAQ

Author

Mathias Soeken

4 books found

Cover of Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Mathias Soeken, Rolf Drechsler · First published 2020

Cover of Advanced Boolean Techniques

Advanced Boolean Techniques

Rolf Drechsler, Mathias Soeken · First published 2019

Cover of Reversible Computation

Reversible Computation

Michael Kirkedal Thomsen, Mathias Soeken · First published 2019

Cover of Formal Specification Level

Formal Specification Level

Mathias Soeken, Rolf Drechsler · First published 2014