Mathias Soeken

Identifiers

Open LibraryOL7862510A

Top Subjects

Embedded computer systems (1)
Natural language processing (computer science) (1)

Books by Mathias Soeken

Total count: 4

Formal Specification LevelAlgorithms, Concepts and Methods

Springer2014-01-01
Reversible Computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Springer2019-05-23
Advanced Boolean TechniquesSelected Papers from the 13th International Workshop on Boolean Problems

Springer2019-07-17
Natural Language Processing for Electronic Design Automation

Springer2020-09-07