Zum Inhalt springen

  2. Köcher, Chris [VerfasserIn] ; Kuske, Dietrich [AkademischeR BetreuerIn]; Muscholl, Anca [AkademischeR BetreuerIn]; Zetzsche, Georg [AkademischeR BetreuerIn] Technische Universität Ilmenau, Universitätsverlag Ilmenau

    Verification of automata with storage mechanisms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ilmenau: Universitätsverlag Ilmenau, 2023 ; Ilmenau: Universitätsbibliothek, 2023

  7. Köcher, Chris [VerfasserIn] ; Muscholl, Anca [AkademischeR BetreuerIn]; Zetzsche, Georg [AkademischeR BetreuerIn]; Kuske, Dietrich [Sonstige Person, Familie und Körperschaft] Ilmenau Media Services

    Verification of Automata with Storage Mechanisms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ilmenau: TU Ilmenau, 2022

  8. Herrmann, Luisa [VerfasserIn] ; Vogler, Heiko [AkademischeR BetreuerIn]; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]; Rahonis, George [Sonstige Person, Familie und Körperschaft]

    Weighted Automata with Storage

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2021

  9. Van Rooijen, Lorijn [VerfasserIn] ; Bordeaux [MitwirkendeR]; Zeitoun, Marc [MitwirkendeR]

    Une approche combinatoire du problème de séparation pour les langages réguliers ; A combinatorial approach to the separation problem for regular languages

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-12-04