Mathias Soeken

No bio available. Add one in Open Library.

Books by Mathias Soeken (50 max)

+ shelf+ list

Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems

2019

Rolf Drechsler, Mathias Soeken

+ shelf+ list

Formal Specification Level Algorithms, Concepts and Methods

2014

Mathias Soeken, Rolf Drechsler

+ shelf+ list

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2019

Michael Kirkedal Thomsen, Mathias Soeken

+ shelf+ list

Natural Language Processing for Electronic Design Automation

2020

Mathias Soeken, Rolf Drechsler