1–10 von 38 Ergebnissen
|

    A Knowledge-Based Autonomous Vehicle System for Emergency Management Support

    Gilmore, John F. | Springer Verlag | 1993
    Verlag: Springer London , London

    Measuring the Benefits of Transport Safety

    Jones-Lee, M. W. / Loomes, G. | Springer Verlag | 1995
    Verlag: Springer London , London

    Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

    Draper, Jonathan | Springer Verlag | 1997
    Verlag: Springer London , London

    Railway Safety Cases

    Edwards, Chris | Springer Verlag | 1997
    Verlag: Springer London , London

    Safety and Security Requirements for an Advanced Train Control System

    Braband, Jens | Springer Verlag | 1997
    Verlag: Springer London , London

    Real Time Tactical Decision Support for a Maritime Aircraft

    McLachlan, Alex / Thorn, Rod / Millington, Paul et al. | Springer Verlag | 2000
    Verlag: Springer London , London

    Challenges of human space exploration

    Freeman, Marsha | SLUB | 2000
    Verlag: Springer , London , Berlin , Heidelberg [u.a.] , Chichester, UK

    Integrales Logistikmanagement : Planung und Steuerung von umfassenden Geschäftsprozessen

    Schönsleben, Paul | SLUB | 2000
    Verlag: Springer , Berlin , Heidelberg , New York , Barcelona , Hongkong , London , Mailand , Paris , Singapur , Tokio

    Risk Analysis of Ship Navigation by Use of Cognitive Simulation

    Itoh, K. / Yamaguchi, T. / Hansen, J. P. et al. | Springer Verlag | 2001
    Verlag: Springer-Verlag London Limited , London

    Tracking Apollo to the moon

    Lindsay, Hamish | SLUB | 2001
    Verlag: Springer , London , Berlin , Heidelberg [u.a.]