Zum Inhalt springen

  3. Funke, Richard [Verfasser:in]; Georgi, Margit [Verfasser:in]; Heger, Bettina [Verfasser:in]; Innerhofer, Florian [Verfasser:in]; Kaltofen, Anja [Verfasser:in]; Neukirch, Peter [Verfasser:in]; Westphalen, Thomas [Verfasser:in] ; Sachsen Landesamt für Archäologie

    Nickern und Prohlis : Archäologie und Geschichte am Geberbach in Dresden

    Bücher
    Schließen

    Merkliste

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

    Dresden: Landesamt für Archäologie, Freistaat Sachsen, 2020

    Erschienen in: Archaeonaut ; 13

    Sächsische Bibliografie
  4. Amalie Preußen, Prinzessin [Sonstige Person, Familie und Körperschaft]; Kukuck, Felicitas [Sonstige Person, Familie und Körperschaft]; Gubajdulina, Sofija Asgatovna [Sonstige Person, Familie und Körperschaft]; Olive, Vivienne [Sonstige Person, Familie und Körperschaft]; Glanville-Hicks, Peggy [Sonstige Person, Familie und Körperschaft]; Finkenwirth, Antje [Sonstige Person, Familie und Körperschaft]; Chaminade, Cécile [Sonstige Person, Familie und Körperschaft]; Bacewicz, Grażyna [Sonstige Person, Familie und Körperschaft]; Welpmann, Birgit [Ausführende:r]; Funke, Anneliese [Ausführende:r]; Lorenz-Sprenger, Susanne [Ausführende:r]; Giles, Alice [Ausführende:r]; Weichert, Caroline [Ausführende:r]; Abel, Jenny [Ausführende:r]

    Musik für die Welt von morgen : Vol. 1 (1 Compact Disc)

    Audios
    Schließen

    Merkliste

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

    Hamburg: Es-Dur, P 1996

  5. Ihle, Florian Benjamin [Verfasser:in] ; Funke, Stefan [Akademische:r Betreuer:in]

    Personalized route planning : on finding your way in theory and practice

    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.

    Stuttgart, 2022

  7. Jantsch, Simon [Verfasser:in] ; Baier, Christel [Sonstige Person, Familie und Körperschaft]; Funke, Florian [Sonstige Person, Familie und Körperschaft]

    Farkas certificates and minimal witnesses for probabilistic reachability constraints

    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]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

  8. Barth, Florian [Verfasser:in]; Funke, Stefan [Verfasser:in]; Proissl, Claudius [Verfasser:in] ; Florian Barth and Stefan Funke and Claudius Proissl [Mitwirkende:r]

    An Upper Bound on the Number of Extreme Shortest Paths in Arbitrary Dimensions

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

  9. Barth, Florian [Verfasser:in]; Funke, Stefan [Verfasser:in]; Proissl, Claudius [Verfasser:in] ; Florian Barth and Stefan Funke and Claudius Proissl [Mitwirkende:r]

    Preference-Based Trajectory Clustering - An Application of Geometric Hitting Sets

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

  12. Ziemek, Robin [Verfasser:in]; Piribauer, Jakob [Verfasser:in]; Funke, Florian [Verfasser:in]; Jantsch, Simon [Verfasser:in]; Baier, Christel [Verfasser:in]

    Probabilistic causes in Markov chains

    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.

    London ; Berlin ; Heidelberg [u.a.]: Springer, [2024]

    Erschienen in: Innovations in systems and software engineering ; 18 (2022), Seite 347-367

  14. Klepperbein, Florian [Verfasser:in] ; Funcke, Christian [Herausgeber:in] Gymnasium Augustum Görlitz

    Gorlicii Encomium, in Eruditorum Panegyri Ao MDCLXXV III. Apr. ... exhibitum - Milichsche Stadt- und Gymnasialbibliothek Görlitz, Mil. Bibl. C. Ch. fol. 130 - UB Wrocław, Mil. II/130.17

    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.

    [1675] ; Online-Ausgabe, Breslau/Wrocław: Universitätsbibliothek; Dresden: SLUB, 2019

    Sächsische Bibliografie
  15. Baier, Christel [Verfasser:in]; Dubslaff, Clemens [Verfasser:in]; Funke, Florian [Verfasser:in]; Jantsch, Simon [Verfasser:in]; Majumdar, Rupak [Verfasser:in]; Piribauer, Jakob [Verfasser:in]; Ziemek, Robin [Verfasser:in] ; Christel Baier and Clemens Dubslaff and Florian Funke and Simon Jantsch and Rupak Majumdar and Jakob Piribauer and Robin Ziemek [Mitwirkende:r]

    From Verification to Causality-Based Explications (Invited Talk)

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

  16. Funck, Christian [Verfasser:in]; Klepperbein, Florian [Verfasser:in]

    Periculum dialecticum de mysterio trinitatis, de prae-adamitis deq : ludis scenicis in augusto ad Nissam gymnasio

    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.

    Gorlicii: Zipper, 1674 ; Online-Ausg., Dresden: SLUB, 2012

  17. Baier, Christel [Verfasser:in]; Funke, Florian [Verfasser:in]; Jantsch, Simon [Verfasser:in]; Karimov, Toghrul [Verfasser:in]; Lefaucheux, Engel [Verfasser:in]; Ouaknine, Joël [Verfasser:in]; Purser, David [Verfasser:in]; Whiteland, Markus A. [Verfasser:in]; Worrell, James [Verfasser:in] ; Christel Baier and Florian Funke and Simon Jantsch and Toghrul Karimov and Engel Lefaucheux and Joël Ouaknine and David Purser and Markus A. Whiteland and James Worrell [Mitwirkende:r]

    Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications

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

  18. Baier, Christel [Verfasser:in]; Funke, Florian [Verfasser:in]; Jantsch, Simon [Verfasser:in]; Karimov, Toghrul [Verfasser:in]; Lefaucheux, Engel [Verfasser:in]; Ouaknine, Joël [Verfasser:in]; Pouly, Amaury [Verfasser:in]; Purser, David [Verfasser:in]; Whiteland, Markus A. [Verfasser:in] ; Christel Baier and Florian Funke and Simon Jantsch and Toghrul Karimov and Engel Lefaucheux and Joël Ouaknine and Amaury Pouly and David Purser and Markus A. Whiteland [Mitwirkende:r]

    Reachability in Dynamical Systems with Rounding

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

  19. Baier, Christel [Verfasser:in]; Funke, Florian [Verfasser:in]; Jantsch, Simon [Verfasser:in]; Karimov, Toghrul [Verfasser:in]; Lefaucheux, Engel [Verfasser:in]; Luca, Florian [Verfasser:in]; Ouaknine, Joël [Verfasser:in]; Purser, David [Verfasser:in]; Whiteland, Markus A. [Verfasser:in]; Worrell, James [Verfasser:in] ; Christel Baier and Florian Funke and Simon Jantsch and Toghrul Karimov and Engel Lefaucheux and Florian Luca and Joël Ouaknine and David Purser and Markus A. Whiteland and James Worrell [Mitwirkende:r]

    The Orbit Problem for Parametric Linear Dynamical Systems

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

  20. Valleriani, Matteo [Verfasser:in]; Kräutli, Florian [Verfasser:in]; Zamani, Maryam [Verfasser:in]; Tejedor, Alejandro [Verfasser:in]; Sander, Christoph [Verfasser:in]; Vogl, Malte [Verfasser:in]; Bertram, Sabine [Verfasser:in]; Funke, Gesa [Verfasser:in]; Kantz, Holger [Verfasser:in]

    The Emergence of Epistemic Communities in the Sphaera Corpus

    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.

    2019

    Erschienen in: Journal of historical network research ; 3(2019), Seite 50-91