Hochschulschrift
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826594939
3826594932
- Dimensions
-
21 cm
- Extent
-
XIV, 192 S.
- Language
-
Deutsch
- Notes
-
Ill., graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss., 2001
- Keyword
-
Luftfahrzeug
Cockpit
Datenbank
Digitales Geländemodell
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:50 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- May, Ludwig
- Shaker
Time of origin
- 2001
Other Objects (12)
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Generierung domänenspezifischer Transformationssprachen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Texturbasierte Generierung synthetischer Hologramme
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Spezifikation und Generierung graphischer Diagrammeditoren
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Generierung domänenspezifischer Transformationssprachen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Texturbasierte Generierung synthetischer Hologramme
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Spezifikation und Generierung graphischer Diagrammeditoren
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Generierung domänenspezifischer Transformationssprachen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Texturbasierte Generierung synthetischer Hologramme
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Spezifikation und Generierung graphischer Diagrammeditoren