Zum Inhalt springen

  3. Forster, Yannick [Verfasser:in] ; Krems, Josef F. [Sonstige Person, Familie und Körperschaft]; Krems, Josef F. [Akademische:r Betreuer:in]; Baumann, Martin [Sonstige Person, Familie und Körperschaft]; Jahn, Georg [Sonstige Person, Familie und Körperschaft]

    Preference versus Performance in Automated Driving: A Challenge for Method Development

    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.

    Chemnitz: Technische Universität Chemnitz, 2020

  10. Forster, Yannick [Verfasser:in]; Kirst, Dominik [Verfasser:in]; Mück, Niklas [Verfasser:in] ; Yannick Forster and Dominik Kirst and Niklas Mück [Mitwirkende:r]

    The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions

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

  13. Forster, Yannick [Verfasser:in]; Kunze, Fabian [Verfasser:in]; Smolka, Gert [Verfasser:in]; Wuttke, Maximilian [Verfasser:in] ; Yannick Forster and Fabian Kunze and Gert Smolka and Maximilian Wuttke [Mitwirkende:r]

    A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus

    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

  14. Naujoks, Frederik [Verfasser:in]; Hergeth, Sebastian [Verfasser:in]; Wiedemann, Katharina [Verfasser:in]; Schömig, Nadja [Verfasser:in]; Forster, Yannick [Verfasser:in]; Keinath, Andreas [Verfasser:in]

    Test procedure for evaluating the human-machine interface of vehicles with automated driving 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.

    London: Taylor & Francis, [2020]

  15. Förster, Robert [Verfasser:in]; Zwahlen, Daniel Rudolf [Verfasser:in]; Buchali, Andre [Verfasser:in]; Tang, Hongjian [Verfasser:in]; Schroeder, Christina [Verfasser:in]; Windisch, Paul [Verfasser:in]; Vu, Erwin [Verfasser:in]; Akbaba, Sati [Verfasser:in]; Bostel, Tilman [Verfasser:in]; Sprave, Tetyana [Verfasser:in]; Zamboglou, Constantinos [Verfasser:in]; Zilli, Thomas [Verfasser:in]; Stelmes, Jean-Jacques [Verfasser:in]; Telkhade, Tejshri [Verfasser:in]; Murthy, Vedang [Verfasser:in]

    Stereotacticbody radiotherapy for high-risk prostate cancer: a systematic review

    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.

    Basel: MDPI AG, 2021

    Erschienen in: Cancers ; 13, 4 (2021), 759