Zum Inhalt springen

  1. Ramakrishnan, C. R. [HerausgeberIn]; Rehof, Jakob [Sonstige Person, Familie und Körperschaft] ; TACAS 14 2008 Budapest, ETAPS 11 2008 Budapest

    Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

    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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4963

  2. Ten Hompel, Michael [Sonstige Person, Familie und Körperschaft]; Rehof, Jakob [Sonstige Person, Familie und Körperschaft]; Wolf, Oliver [Sonstige Person, Familie und Körperschaft]

    Cloud computing for logistics

    Bücher
    Schließen

    Merkliste

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

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in logistics

  4. Dudenhefner, Andrej [VerfasserIn]; Rehof, Jakob [VerfasserIn] ; Andrej Dudenhefner and Jakob Rehof [MitwirkendeR]

    Lower End of the Linial-Post Spectrum

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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, 2019

  6. Dudenhefner, Andrej [VerfasserIn]; Rehof, Jakob [VerfasserIn] ; Andrej Dudenhefner and Jakob Rehof [MitwirkendeR]

    The Complexity of Principal Inhabitation

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  7. Delbrügger, Tim [VerfasserIn] ; Roßmann, Jürgen [AkademischeR BetreuerIn]; Rehof, Jakob [AkademischeR BetreuerIn]

    Digital twin based decision support for factory adaptation planning

    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: Universitätsbibliothek der RWTH Aachen, 2022

  8. Kallat, Fadil [VerfasserIn] ; Rehof, Jakob [AkademischeR BetreuerIn]; Meyer, Anne [Sonstige Person, Familie und Körperschaft]

    Komponentenbasierte Synthese von Simulationsmodellen

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2022

  9. Dudenhefner, Andrej [VerfasserIn] ; Rehof, Jakob [AkademischeR BetreuerIn]; Urzyczyn, Pawel [Sonstige Person, Familie und Körperschaft]

    Algorithmic aspects of type-based program sythesis

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2019

  10. Winkels, Jan [VerfasserIn] ; Rehof, Jakob [AkademischeR BetreuerIn]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]

    Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2019

  11. Heiden, Katja [VerfasserIn] ; Rehof, Jakob [AkademischeR BetreuerIn]; Böckmann, Britta [Sonstige Person, Familie und Körperschaft]

    Digitales, sektorübergreifendes Prozessmanagement im Gesundheitswesen

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2015

  12. Düdder, Boris [VerfasserIn] ; Rehof, Jakob [AkademischeR BetreuerIn]; Henglein, Fritz [Sonstige Person, Familie und Körperschaft]

    Automatic synthesis of component & connector software architectures with bounded combinatory logic

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2014

  13. Windmüller, Stephan [VerfasserIn] ; Steffen, Bernhard [AkademischeR BetreuerIn]; Rehof, Jakob [Sonstige Person, Familie und Körperschaft]

    Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2014

  14. Doedt, Markus [VerfasserIn] ; Steffen, Bernhard [AkademischeR BetreuerIn]; Rehof, Jakob [Sonstige Person, Familie und Körperschaft]

    Service-Integration in Geschäftsprozessmanagementsystemen mit besonderem Fokus auf die Integration von ERP-Systemen unter Berücksichtigung des aktuellen Trends hin zum Cloud-Computing

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2014

  15. Sugioarto, Martin [VerfasserIn] ; Rehof, Jakob [AkademischeR BetreuerIn]; Steffen, Bernhard [AkademischeR BetreuerIn]

    Verteilte Prozesskontrolle in ressourcenbasierten Architekturen

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2013

  17. Mäckel, Dominik [VerfasserIn] ; Schumacher, Christin [MitwirkendeR]; Rehof, Jakob [MitwirkendeR]

    Konfiguration und Parameteroptimierung eines Evolutionären Algorithmus für die Maschinenbelegungsplanung mittels kombinatorischer Logik

    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.

    Eldorado - Repositorium der TU Dortmund, 2023-10-01

  18. Delbrügger, Tim [VerfasserIn] ; Roßmann, Jürgen [AkademischeR BetreuerIn]; Rehof, Jakob [AkademischeR BetreuerIn]

    Digital twin based decision support for factory adaptation planning

    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: Universitätsbibliothek der RWTH Aachen, 2022

    Erschienen in: Aachen ; RWTH Aachen University, 2022

  19. Kallat, Fadil [VerfasserIn] ; Rehof, Jakob [AkademischeR BetreuerIn]; Meyer, Anne [Sonstige Person, Familie und Körperschaft]

    Komponentenbasierte Synthese von Simulationsmodellen

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2022