Synonyme wurden verwendet für: Methode
Suche ohne Synonyme: keywords:("Methode")

1–20 von 20 Ergebnissen
|

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

    Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
    Schlagwörter: Formale Methode

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

      Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung | TIBKAT | 2018
      Schlagwörter: Formale Methode

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

      Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
      Schlagwörter: Formale Methode

    Simulation of power generation technology : awareness seminar ; Wednesday, 27th September 2006, Empower Training & Conference Centre, Ratcliffe-on-Soar, Nottingham, UK

    NAFEMS, the International Association for the Engineering Analysis Community | TIBKAT | 2006
    Schlagwörter: Finite-Elemente-Methode

    FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems : proceedings of [5th] Symposium FORMS/FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004

    Symposium FORMS, FORMAT / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2004
    Schlagwörter: Formale Methode

    Formal methods for railway operation and control systems

    Symposium FORMS | TIBKAT | 2003
    Schlagwörter: Formale Methode

    4th B2000 Workshop proceedings : Ligerz, Switzerland, 24 - 25 October 2002

    B2000 Workshop / SMR SA, Biel | TIBKAT | 2002
    Schlagwörter: Finite-Elemente-Methode

    3rd B2000 Workshop proceedings : 27/28 November 2000, University of Twente, the Netherlands

    B2000 Workshop / SMR SA, Biel / Universiteit Twente | TIBKAT | 2000
    Schlagwörter: Finite-Elemente-Methode

    Forms '99 - formale Techniken für die Eisenbahnsicherung

    Forms / Workshop Forms | TIBKAT | 2000
    Schlagwörter: Formale Methode

    Traffic equilibrium methods : proceedings of the international symposium held at the Université de Montréal, November 21 - 23, 1974

    Florian, Michael Alexander / Florian, Michael A. | SLUB | 1976
    Schlagwörter: Mathematische Methode

    Large-eddy simulation for acoustics : [based on the contributions of the International Workshop on LES for Acoustics in Göttingen, 2002]

    International Workshop on LES for Acoustics / Europäische Kommission, European Research Community on Flow, Turbulence and Combustion / Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth | TIBKAT | 2007
    Schlagwörter: Mathematische Methode

    Shuttle optical environment, conf. proc., April, 23-24, 1981, Washington, USA

    Tema Archiv | 1982
    Schlagwörter: MONTE-CARLO-METHODE

    Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems

    Schnieder, Eckehard / Tarnai, Géza | TIBKAT | 2011
    Schlagwörter: Formale Methode

      Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems

      Schnieder, Eckehard / Tarnai, Géza | SLUB | 2011
      Schlagwörter: Formale Methode

    Computer applications in the automation of shipyard operation and ship design

    Tema Archiv | 1973
    Schlagwörter: FINITE-ELEMENTE-METHODE