1–20 von 62 Ergebnissen
|

    Sensing and control for autonomous vehicles : applications to land, water and air vehicles

    Fossen, Thor I. / Pettersen, Kristin Y. / Nijmeijer, Henk | SLUB | 2017
    Verlag: Springer , Cham

      Sensing and control for autonomous vehicles : applications to land, water and air vehicles

      Fossen, Thor I. / Pettersen, Kristin Y. / Nijmeijer, Henk | SLUB | 2017
      Verlag: Springer , Cham

    Formal Methods for Safety and Security : Case Studies for Aerospace Applications

    Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
    Verlag: Springer , Singapore

      Formal methods for safety and security : case studies for aerospace applications

      Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung | TIBKAT | 2018
      Verlag: Springer , Singapore

      Formal methods for safety and security : case studies for aerospace applications

      Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
      Verlag: Springer , Singapore

    Human-friendly robotics 2020 : 13th International Workshop

    International Workshop on Human-Friendly Robotics | TIBKAT | 2021
    Verlag: Springer , Cham

    Robotics research : the 18th International Symposium ISRR

    International Symposium on Robotics Research | TIBKAT | 2020
    Verlag: Springer , Cham

    Wording robotics : discourses and representations on robotics

    Workshop of Anthropomorphic Motion Factory | TIBKAT | 2019
    Verlag: Springer , Cham

    Future intelligent vehicular technologies : First International Conference, Future 5V 2016, Porto, Portugal, September 15, 2016, revised selected papers

    Institute for Computer Sciences, Social-Informatics, and Telecommunications Engineering | SLUB | 2017
    Verlag: Springer , Cham

    Modeling, computing and data handling methodologies for maritime transportation

    Workshop on Modeling, Computing and Data Handling for Marine Transportation | TIBKAT | 2018
    Verlag: Springer , Cham, Switzerland