Zum Inhalt springen

  1. Kröger, Fred [VerfasserIn]; Merz, Stephan [VerfasserIn]

    Temporal logic and state systems

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2008

    Erschienen in: Texts in theoretical computer science

  2. Kormann, Benjamin [VerfasserIn] ; Siemers, Christian [AkademischeR BetreuerIn]; Rausch, Andreas [Sonstige Person, Familie und Körperschaft]; Schiller, Frank [Sonstige Person, Familie und Körperschaft] Technische Universität Clausthal

    Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme - [1. Auflage]

    Bücher
    Schließen

    Merkliste

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

    Clausthal-Zellerfeld: Papierflieger Verlag GmbH, 2016

  3. Van den Vonder, Sam [VerfasserIn]; Renaux, Thierry [VerfasserIn]; Oeyen, Bjarno [VerfasserIn]; De Koster, Joeri [VerfasserIn]; De Meuter, Wolfgang [VerfasserIn] ; Sam Van den Vonder and Thierry Renaux and Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter [MitwirkendeR]

    Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

    Aufsätze
    Online ansehen
    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, 2020

  4. Van den Vonder, Sam [VerfasserIn]; Renaux, Thierry [VerfasserIn]; Oeyen, Bjarno [VerfasserIn]; De Koster, Joeri [VerfasserIn]; De Meuter, Wolfgang [VerfasserIn] ; Sam Van den Vonder and Thierry Renaux and Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter [MitwirkendeR]

    Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)

    Aufsätze
    Online ansehen
    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, 2020

  5. Pompougnac, Hugo [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Potop-Butucaru, Dumitru [MitwirkendeR]

    Spécification et compilation de réseaux de neurones embarqués ; Specification and compilation of embedded neural networks

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2022-12-09

  6. Petit, Bertrand [VerfasserIn] ; Université Côte d'Azur [MitwirkendeR]; Serrano, Manuel [MitwirkendeR]

    Temps et durée : de la programmation réactive synchrone à la composition musicale ; Time and duration : from synchronous reactive programming to music composition

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2020-07-02

  7. Haas, Julian [VerfasserIn]; Mogk, Ragnar [VerfasserIn]; Yanakieva, Elena [VerfasserIn]; Bieniusa, Annette [VerfasserIn]; Mezini, Mira [VerfasserIn] ; Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini [MitwirkendeR]

    LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)

    Aufsätze
    Online ansehen
    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, 2023

  8. Haas, Julian [VerfasserIn]; Mogk, Ragnar [VerfasserIn]; Yanakieva, Elena [VerfasserIn]; Bieniusa, Annette [VerfasserIn]; Mezini, Mira [VerfasserIn] ; Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini [MitwirkendeR]

    LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)

    Aufsätze
    Online ansehen
    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, 2023

  9. Klinge, Titus H. [VerfasserIn]; Lathrop, James I. [VerfasserIn]; Osera, Peter-Michael [VerfasserIn]; Rogers, Allison [VerfasserIn] ; Titus H. Klinge and James I. Lathrop and Peter-Michael Osera and Allison Rogers [MitwirkendeR]

    Reactamole: Functional Reactive Molecular Programming

    Aufsätze
    Online ansehen
    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, 2021

  10. Vidal, Colin [VerfasserIn] ; Université Côte d'Azur (ComUE) [MitwirkendeR]; Serrano, Manuel [MitwirkendeR]; Berry, Gérard [MitwirkendeR]

    Programmation web réactive ; Reactive Web Programming

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2018-07-06

  11. Demetrescu, Camil [VerfasserIn]; Erdweg, Sebastian [VerfasserIn]; Hammer, Matthew A. [VerfasserIn]; Krishnamurthi, Shriram [VerfasserIn] ; Camil Demetrescu and Sebastian Erdweg and Matthew A. Hammer and Shriram Krishnamurthi [MitwirkendeR]

    Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)

    Aufsätze
    Online ansehen
    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, 2017

  12. Rammal, Darine [VerfasserIn] ; Orléans [MitwirkendeR]; Réty, Pierre [MitwirkendeR]

    Memory safety for synchronous reactive programming ; Sécurité de la mémoire pour la programmation réactive synchrone

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2024-01-19

  13. Krishnamurthy, Jayanth [VerfasserIn] ; Université Côte d'Azur [MitwirkendeR]; Serrano, Manuel [MitwirkendeR]

    Techniques de débogage statique et dynamique pour le langage HipHop.js ; Static and dynamic debugging techniques for the HipHop.js language

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2023-04-21