Skip to contents

  1. Gengler, Olivier [Editor]; Meier, Mischa [Editor] ; Heidelberger Akademie der Wissenschaften Forschungsstelle "Historisch-philologischer Kommentar zur Chronik des Johannes Malalas" Tagung 4. 2018 Tübingen

    Johannes Malalas : der Chronist als Zeithistoriker

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Stuttgart: Franz Steiner Verlag, [2022]

    Published in: Malalas-Studien ; 4

  2. Fitschen, Klaus [Editor]; Wulz, Gabriele [Editor] ; Gustav-Adolf-Werk e.V., Diasporawerk der Evangelischen Kirche in Deutschland, Gustav-Adolf-Werk e.V., Diasporawerk der Evangelischen Kirche in Deutschland

    Graswurzel oder Heiliger Rest? : auf dem Weg zu einer Theologie der Diaspora

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Leipzig: Verlag des Gustav-Adolf-Werk e.V., [2020]

  3. Braun, Lucinde [Author]; Bullock, Philip Ross [Author]; Flamm, Christoph [Author]; Keym, Stefan [Author]; Petrov, Daniil Rustamovič [Author]; Grote, Adalbert [Author]; Raku, Marina Grigorʹevna [Author]; Belge, Boris [Author]; Geiger, Friedrich [Author]; Makarova, Antonina Makarovna [Author]; Ajnbinder, Ada Grigorʹevna [Author]; Rothkamm, Jörg [Author]; Büttemeyer, Wilhelm [Author]; Komarov, Alexander [Author]; Kreitschik, Esther [Author]; Petersen, Peter [Author]; Helmers, Rutger [Author]; Linke, Ulrich [Author]; Redepenning, Dorothea [Author] ; Braun, Lucinde [Editor]; Bullock, Philip Ross [Editor]; Flamm, Christoph [Editor]; Keym, Stefan [Editor] Internationale Tagung "Čajkovskij-Analysen - neue Strategien, Methoden und Perspektiven" 2018 Tübingen

    Čajkovskij-Analysen : neue Strategien, Methoden und Perspektiven : Internationale Tagung, Tübingen, 7. bis 9. Juni 2018

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Mainz; London; Madrid; Paris; New York; Tokyo; Beijing: Schott, [2022]

    Published in: Čajkovskij-Studien ; 1800

  4. Condorelli, Stefano [Editor]; Menning, Daniel [Editor] ; Boom, Bust, and Beyond: New Perspectives on the 1719-20 Stock Euphoria Veranstaltung 2018 Tübingen, De Gruyter Oldenbourg

    Boom, bust, and beyond : new perspectives on the 1720 stock market bubble

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Boston: De Gruyter Oldenbourg, [2019]

  5. Winterer, Leonore [Author]; Junges, Sebastian [Author]; Wimmer, Ralf [Author]; Jansen, Nils [Author]; Topcu, Ufuk [Author]; Katoen, Joost-Pieter [Author]; Becker, Bernd [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  6. Wimmer, Ralf [Author]; Karrenbauer, Andreas [Author]; Becker, Ruben [Author]; Scholl, Christoph [Author]; Becker, Bernd [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    From DQBF to QBF by dependency elimination : extended abstract

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  7. Rieß, Marcel [Author]; Bock, Cedrik [Author]; Slomka, Franz [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Generic reusable hardware/software co-design implementation of a complete FH-FSK modem for robust multi-user acoustic underwater communication and system validation on a FPGA

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  8. Mast, Johannes [Author]; Rädle, Stefan [Author]; Gerlach, Joachim [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  9. Richthammer, Valentin [Author]; Glaß, Michael [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    On search-space restriction for design space exploration of multi-/many-core systems

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  10. Feld, Timo [Author]; Werkmann, Uwe [Author]; Slomka, Frank [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Real-time analysis of distributed systems including tasks with variable rate-dependent behavior

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, 2018

    Published in: MBMV 2018

  11. Jain, Tripti [Author]; Schneider, Klaus [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Routing partial permutations in general interconnection networks based on radix sorting

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  12. Sittel, Patrick [Author]; Schönwälder, Thomas [Author]; Kumm, Martin [Author]; Zipf, Peter [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    ScaLP : a light-weighted (MI)LP-library

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, 2018

    Published in: MBMV 2018

  13. Herdt, Vladimir [Author]; Le, Hoang M. [Author]; Große, Daniel [Author]; Drechsler, Rolf [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Towards automated refinement of TLM properties to RTL

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Published in: MBMV 2018

  14. Hock, Florian [Author]; Pollex, Victor [Author]; Shen, Chijun [Author]; Bund, Tobias Stefan [Author]; Slomka, Frank [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Upper bound for delay densities

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, 2018

    Published in: MBMV 2018

  15. Neubauer, Kai [Author]; Haubelt, Christian [Author]; Wanko, Philipp [Author]; Schaub, Torsten [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Systematic test case instance generation for the assessment of system-level design space exploration approaches

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, 2018

    Published in: MBMV 2018

  16. Käsgen, Philipp [Author]; Weinhardt, Markus [Author] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Using template metaprogramming for hardware description

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Tübingen: Universitätsbibliothek Tübingen, 2018

    Published in: MBMV 2018