Zum Inhalt springen

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

    Johannes Malalas : der Chronist als Zeithistoriker

    Bücher
    Schließen

    Merkliste

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

    Stuttgart: Franz Steiner Verlag, [2022]

    Erschienen in: Malalas-Studien ; 4

  2. Fitschen, Klaus [HerausgeberIn]; Wulz, Gabriele [HerausgeberIn] ; 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

    Bücher
    Schließen

    Merkliste

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

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

  3. Braun, Lucinde [VerfasserIn]; Bullock, Philip Ross [VerfasserIn]; Flamm, Christoph [VerfasserIn]; Keym, Stefan [VerfasserIn]; Petrov, Daniil Rustamovič [VerfasserIn]; Grote, Adalbert [VerfasserIn]; Raku, Marina Grigorʹevna [VerfasserIn]; Belge, Boris [VerfasserIn]; Geiger, Friedrich [VerfasserIn]; Makarova, Antonina Makarovna [VerfasserIn]; Ajnbinder, Ada Grigorʹevna [VerfasserIn]; Rothkamm, Jörg [VerfasserIn]; Büttemeyer, Wilhelm [VerfasserIn]; Komarov, Alexander [VerfasserIn]; Kreitschik, Esther [VerfasserIn]; Petersen, Peter [VerfasserIn]; Helmers, Rutger [VerfasserIn]; Linke, Ulrich [VerfasserIn]; Redepenning, Dorothea [VerfasserIn] ; Braun, Lucinde [HerausgeberIn]; Bullock, Philip Ross [HerausgeberIn]; Flamm, Christoph [HerausgeberIn]; Keym, Stefan [HerausgeberIn] 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

    Bücher
    Schließen

    Merkliste

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

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

    Erschienen in: Čajkovskij-Studien ; 1800

  4. Condorelli, Stefano [HerausgeberIn]; Menning, Daniel [HerausgeberIn] ; 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

    Bücher
    Schließen

    Merkliste

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

    Berlin; Boston: De Gruyter Oldenbourg, [2019]

  5. Grant, Margaret [VerfasserIn]; Alexiadou, Artemis [VerfasserIn] ; Linguistic Evidence Veranstaltung 2018 Tübingen, Linguistic Evidence Veranstaltung 2018 Tübingen

    Pronominal reference to proper names in compounds

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

  6. Winterer, Leonore [VerfasserIn]; Junges, Sebastian [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Jansen, Nils [VerfasserIn]; Topcu, Ufuk [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]; Becker, Bernd [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

  7. Wimmer, Ralf [VerfasserIn]; Karrenbauer, Andreas [VerfasserIn]; Becker, Ruben [VerfasserIn]; Scholl, Christoph [VerfasserIn]; Becker, Bernd [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

  8. Rieß, Marcel [VerfasserIn]; Bock, Cedrik [VerfasserIn]; Slomka, Franz [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

  9. Mast, Johannes [VerfasserIn]; Rädle, Stefan [VerfasserIn]; Gerlach, Joachim [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

  10. Richthammer, Valentin [VerfasserIn]; Glaß, Michael [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

  11. Feld, Timo [VerfasserIn]; Werkmann, Uwe [VerfasserIn]; Slomka, Frank [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

  12. Jain, Tripti [VerfasserIn]; Schneider, Klaus [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

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

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

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

    Towards automated refinement of TLM properties to RTL

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

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

    Upper bound for delay densities

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

  16. Glass, Lelia [VerfasserIn] ; Linguistic Evidence Veranstaltung 2018 Tübingen, Linguistic Evidence Veranstaltung 2018 Tübingen

    Using lexical semantics to predict the distributivity potential of verb phrases in a large dataset

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

  17. Neubauer, Kai [VerfasserIn]; Haubelt, Christian [VerfasserIn]; Wanko, Philipp [VerfasserIn]; Schaub, Torsten [VerfasserIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018

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

    Using template metaprogramming for hardware description

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: MBMV 2018