Hochschulschrift
Automatic verification of road databases using multiple road models
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
179 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst., Kt.
Zugl.: Hannover, Univ., Diss., 2014
- Bibliographic citation
-
Wissenschaftliche Arbeiten der Fachrichtung Geodäsie und Geoinformatik der Leibniz-Universität Hannover ; Nr. 313
- Keyword
-
Kartografie
Mathematische Geografie
Datenverarbeitung
Computerunterstütztes Verfahren
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Fachrichtung Geodäsie und Geoinformatik der Leibniz-Univ.
- (when)
-
2014
- Creator
- 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:56 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
- Ziems, Marcel
- Fachrichtung Geodäsie und Geoinformatik der Leibniz-Univ.
Time of origin
- 2014
Other Objects (12)
Multiple-model based verification of japanese road data
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Automatic validation of glycan sequences in distributed databases
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Extracting Multiple Viewpoint Models from Relational Databases
Finite model theory, databases, and computer aided verification : 03.10.1999 - 08.10.1999
Automatic Synthesis and Verification of Industrial Commissioning Processes
Multiple-model based verification of japanese road data
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Automatic validation of glycan sequences in distributed databases
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Extracting Multiple Viewpoint Models from Relational Databases
Finite model theory, databases, and computer aided verification : 03.10.1999 - 08.10.1999
Automatic Synthesis and Verification of Industrial Commissioning Processes
Multiple-model based verification of japanese road data
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Automatic validation of glycan sequences in distributed databases
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Extracting Multiple Viewpoint Models from Relational Databases
Finite model theory, databases, and computer aided verification : 03.10.1999 - 08.10.1999