- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
21 S.
- Language
-
Deutsch
- Event
-
Veröffentlichung
- (where)
-
Passau
- (who)
-
Univ., Fak. für Math. und Informatik
- (when)
-
1994
- 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, 12:08 PM 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.
Associated
- Margaria-Steffen, Tiziana
- Griva, Maurizio
- Tesio, Riccardo
- Univ., Fak. für Math. und Informatik
Time of origin
- 1994
Other Objects (12)
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
VHDL-Komplexitätsanalyse
Scale-Preserving Automatic Concept Extraction (SPACE)
Scale-preserving automatic concept extraction (SPACE)
Μ-VHDL : Implementierungswege für einen VHDL-Compiler ; Forschungsbericht
Semantic Relation Extraction from Socially-Generated Tags
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
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
VHDL-Komplexitätsanalyse
Scale-Preserving Automatic Concept Extraction (SPACE)
Scale-preserving automatic concept extraction (SPACE)
Μ-VHDL : Implementierungswege für einen VHDL-Compiler ; Forschungsbericht
Semantic Relation Extraction from Socially-Generated Tags
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
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
VHDL-Komplexitätsanalyse
Scale-Preserving Automatic Concept Extraction (SPACE)
Scale-preserving automatic concept extraction (SPACE)
Μ-VHDL : Implementierungswege für einen VHDL-Compiler ; Forschungsbericht
Semantic Relation Extraction from Socially-Generated Tags
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