Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Special issue: NASA Formal Methods Symposium 2010 : [... (NFM 2010) held at NASA Headquarters, in Washington, D.C., USA, April 13 - 15, 2010]



    Kongress:

    NASA Formal Methods Symposium ; 2010 ; Washington, DC NASA Formal Methods Symposium (Washington, DC) : 2010.04.13-15
    NFM ; 2010 ; Washington, DC
    NFM (Washington, DC) : 2010.04.13-15



    Erscheinungsdatum :

    2011


    Format / Umfang :

    S. 71 - 160


    Anmerkungen:

    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch



    2010 NASA Range Safety Annual Report

    Dumont, Alan G. | NTRS | 2010


    2010 NASA Range Safety Annual Report

    A. G. Dumont | NTIS | 2010


    NASA Headquarters Update

    Still, Martin / Blackwood, Gary | NTRS | 2019


    2010-9345 NASA Puffin Electric Tailsitter VTOL Concept

    Moore, M. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010


    NASA Space Biology Plant Research for 2010-2020

    Levine, H. G. / Tomko, D. L. / Porterfield, D. M. | NTRS | 2012