Hochschulschrift
Automatic verification of road databases using multiple road models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
179 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst., Kt.
Zugl.: Hannover, Univ., Diss., 2014
- Erschienen in
-
Wissenschaftliche Arbeiten der Fachrichtung Geodäsie und Geoinformatik der Leibniz-Universität Hannover ; Nr. 313
- Schlagwort
-
Kartografie
Mathematische Geografie
Datenverarbeitung
Computerunterstütztes Verfahren
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Fachrichtung Geodäsie und Geoinformatik der Leibniz-Univ.
- (wann)
-
2014
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:09 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Ziems, Marcel
- Fachrichtung Geodäsie und Geoinformatik der Leibniz-Univ.
Entstanden
- 2014
Ähnliche Objekte (12)
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA
Multiple-model based verification of japanese road data
AUTOMATIC CONSTRUCTION OF HIERARCHICAL ROAD NETWORKS
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Automatic verification of concurrent stochastic systems
Automatic validation of glycan sequences in distributed databases
AUTOMATIC DETECTION OF FOREST-ROAD DISTANCES TO IMPROVE CLEARING OPERATIONS IN ROAD MANAGEMENT
AUTOMATIC ROAD GAP DETECTION USING FUZZY INFERENCE SYSTEM
Automatic verification of sequential infinite state processes
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA
Multiple-model based verification of japanese road data
AUTOMATIC CONSTRUCTION OF HIERARCHICAL ROAD NETWORKS
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Automatic verification of concurrent stochastic systems
Automatic validation of glycan sequences in distributed databases
AUTOMATIC DETECTION OF FOREST-ROAD DISTANCES TO IMPROVE CLEARING OPERATIONS IN ROAD MANAGEMENT
AUTOMATIC ROAD GAP DETECTION USING FUZZY INFERENCE SYSTEM
Automatic verification of sequential infinite state processes
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA
Multiple-model based verification of japanese road data
AUTOMATIC CONSTRUCTION OF HIERARCHICAL ROAD NETWORKS
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Automatic verification of concurrent stochastic systems
Automatic validation of glycan sequences in distributed databases
AUTOMATIC DETECTION OF FOREST-ROAD DISTANCES TO IMPROVE CLEARING OPERATIONS IN ROAD MANAGEMENT
AUTOMATIC ROAD GAP DETECTION USING FUZZY INFERENCE SYSTEM
Automatic verification of sequential infinite state processes
Automatic Verification of Application-Tailored OSEK Kernels