Zum Inhalt springen

  2. Castillo-Ramirez, Alonso [Herausgeber:in]; Guillon, Pierre [Herausgeber:in]; Perrot, Kévin [Herausgeber:in] ; AUTOMATA 27. 2021 Marseille

    27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems : AUTOMATA 2021, July 12-14, 2021, Aix-Marseille University, France

    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.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, 2021

    Erschienen in: Open access series in informatics ; 90

  3. Bansal, Nikhil [Herausgeber:in]; Merelli, Emanuela [Herausgeber:in]; Worrell, James [Herausgeber:in]

    48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)

    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.

    Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2021

    Erschienen in: LIPIcs - Leibniz International Proceedings in Informatics ; Volume 198

  4. Bansal, Nikhil [Herausgeber:in]; Merelli, Emanuela [Herausgeber:in]; Worrell, James [Herausgeber:in] ; International Colloquium on Automata, Languages and Programming 48. 2021 Online

    48th International Colloquium on Automata, Languages, and Programming : ICALP 2021, July 12-16, 2021, Glasgow, Scotland (virtual conference)

    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.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, July 2021

    Erschienen in: Leibniz international proceedings in informatics ; 198

  5. Maneth, Sebastian [Herausgeber:in]

    Implementation and Application of Automata : 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings - [1st ed. 2021.]

    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.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Theoretical Computer Science and General Issues ; 12803

  6. Leporati, Alberto [Herausgeber:in]; Martín-Vide, Carlos [Herausgeber:in]; Shapira, Dana [Herausgeber:in]; Zandron, Claudio [Herausgeber:in]

    Language and Automata Theory and Applications : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings - [1st ed. 2021.]

    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.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Theoretical Computer Science and General Issues ; 12638

  7. Della Monica, Dario [Herausgeber:in]; Pozzato, Gian Luca [Herausgeber:in]; Scala, Enrico [Herausgeber:in] ; Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis 3. 2021 Padua; Online

    3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021 : hosted by the the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification - GandALF 2021 : proceedings

    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.

    [Aachen, Germany]: [RWTH Aachen], 2021-10-17

    Erschienen in: CEUR workshop proceedings ; 2987