Treffer 1 – 4 von 4 für Suche 'Soeken, Mathias', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Formal specification level concepts, methods, and algorithms

    Formal specification level concepts, methods, and algorithms von Soeken, Mathias

    Veröffentlicht 2015
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems

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

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Reversible computation 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, proceedings

    Reversible computation 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, proceedings

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Natural Language Processing for Electronic Design Automation

    Natural Language Processing for Electronic Design Automation

    Veröffentlicht 2020
    Weitere Verfasser: “… Soeken, Mathias …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: