Mathias Soeken

Mathias Soeken

2 ספרים במאגר

ספרים

Formal Specification LevelMathias Soeken

Formal Specification Level

Mathias Soeken · 2014

Natural Language Processing for Electronic Design AutomationMathias Soeken

Natural Language Processing for Electronic Design Automation

Mathias Soeken · 2020

ספרים משותפים ואוספים

ספרים שבהם Mathias Soeken מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Advanced Boolean TechniquesRolf Drechsler

Advanced Boolean Techniques

Rolf Drechsler · 2023

Reversible ComputationMichael Kirkedal Thomsen

Reversible Computation

Michael Kirkedal Thomsen · 2019