1–18 von 18 Ergebnissen
|

    Proofs for traffic safety : combining diagrams and logic

    Linker, Sven | TIBKAT | 2015

      Proofs for traffic safety : combining diagrams and logic

      Linker, Sven | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2015

    Morphogenesis of spatial networks

    Barthélemy, Marc | TIBKAT | 2018

    Forschungsprojekt Trassenbörse, Phase II : gemeinsamer Abschlussbericht

    Technische Universität Berlin, Fachgebiet Wirtschafts- und Infrastrukturpolitik | TIBKAT | 2007

    Holes, antiholes, and maximal cliques in a railway model for a single track

    Lukac, Sascha G. / Konrad-Zuse-Zentrum für Informationstechnik Berlin | TIBKAT | 2004

    Trassenbörse, Phase II : Forschungsprojekt ; Abschlussbericht

    Technische Universität Berlin, Fachgebiet Wirtschafts- und Infrastrukturpolitik | TIBKAT | 2007

    Periodic timetable optimization in public transport

    Liebchen, Christian | TIBKAT | 2006

    Solving Railway Track Allocation Problems

    Borndörfer, Ralf / Schlechte, Thomas | TIBKAT | 2007

    Models for Railway Track Allocation

    Borndörfer, Ralf / Schlechte, Thomas | TIBKAT | 2007