Zum Inhalt springen

  9. Weißbach, Mandy [VerfasserIn] ; Zimmermann, Wolf [Sonstige Person, Familie und Körperschaft]; Löwe, Welf [Sonstige Person, Familie und Körperschaft]

    Deadlockanalyse Service-orientierter Softwaresysteme

    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.

    Halle (Saale): Universitäts- und Landesbibliothek Sachsen-Anhalt, 2019

  10. Agethen, Christine [VerfasserIn] ; Moor, Thomas [Sonstige Person, Familie und Körperschaft]; Raisch, Jörg [Sonstige Person, Familie und Körperschaft]

    A Hierarchical Control Architecture for ω-Languages

    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.

    Erlangen: FAU University Press, 2017

    Erschienen in: FAU Forschungen, Reihe B, Medizin, Naturwissenschaft, Technik ; 16

  14. Elfers, Carsten [VerfasserIn]; Herzog, Otthein [VerfasserIn]; Miene, Andrea [VerfasserIn]; Wagner, Thomas [VerfasserIn] ; Carsten Elfers and Otthein Herzog and Andrea Miene and Thomas Wagner [MitwirkendeR]

    Qualitative Abstraction and Inherent Uncertainty in Scene Recognition

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  17. Schmuck, Anne-Kathrin [VerfasserIn] ; Raisch, Jörg [AkademischeR BetreuerIn]; Raisch, Jörg [Sonstige Person, Familie und Körperschaft]; Tabuada, Paulo [Sonstige Person, Familie und Körperschaft]; Moor, Thomas [Sonstige Person, Familie und Körperschaft]

    Building bridges in abstraction-based controller synthesis : advancing, combining, and comparing methods from computer and control

    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.

    Berlin: Technische Universität Berlin, 2015

  18. Dreweke, Alexander [VerfasserIn]; Wörlein, Marc [VerfasserIn]; Fischer, Ingrid [VerfasserIn] ; Schell, Dominic [Sonstige Person, Familie und Körperschaft]; Meinl, Thorsten [Sonstige Person, Familie und Körperschaft]; Philippsen, Michael [Sonstige Person, Familie und Körperschaft]

    Graph-Based Procedural Abstraction

    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.

    Konstanz: Bibliothek der Universität Konstanz, 2007

  19. Dreweke, Alexander [VerfasserIn]; Wörlein, Marc [VerfasserIn]; Fischer, Ingrid [VerfasserIn]; Schell, Dominic [VerfasserIn]; Philippsen, Michael [VerfasserIn]; Meinl, Thorsten [VerfasserIn]

    Graph-Based Procedural Abstraction

    Konferenzberichte
    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.

    KOPS - The Institutional Repository of the University of Konstanz, 2007

  20. Rybczynska, Marta [VerfasserIn] ; Sartakov, Vasily A. [Sonstige Person, Familie und Körperschaft]; Bursell, Mike [Sonstige Person, Familie und Körperschaft]; Bulck, Jo Van [Sonstige Person, Familie und Körperschaft]; Beekman, Jethro G. [Sonstige Person, Familie und Körperschaft]; Lefeuvre, Hugo [Sonstige Person, Familie und Körperschaft]; Strackyx, Raoul [Sonstige Person, Familie und Körperschaft]

    Process-based abstractions for VM-based environments

    Videos
    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.

    [Erscheinungsort nicht ermittelbar]: FOSDEM VZW, 2022

    Erschienen in: FOSDEM 2022 ; (Jan. 2022)