- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2016
- Classification
-
Informatik
- Keyword
-
Verteilte Hash-Tabelle ; Verifikation
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2017
- Creator
-
Azmy, Noran
- Contributor
-
Weidenbach, Christoph
- URN
-
urn:nbn:de:bsz:291-scidok-67309
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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.
Object type
- Hochschulschrift
Associated
- Azmy, Noran
- Weidenbach, Christoph
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2017
Other Objects (12)
Design and proof of multipliers by correctness-preserving transformation
Integrity and Correctness of Machine Learning Data
A new correctness proof for prim's algorithm
A general semiunification algorithm and its correctness proof
Optimizing proof search by machine learning techniques
Correctness of services and their composition
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Complexity and correctness of a super-pipelined processor
The correctness of a distributed real-time system
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Design and proof of multipliers by correctness-preserving transformation
Integrity and Correctness of Machine Learning Data
A new correctness proof for prim's algorithm
A general semiunification algorithm and its correctness proof
Optimizing proof search by machine learning techniques
Correctness of services and their composition
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Complexity and correctness of a super-pipelined processor
The correctness of a distributed real-time system
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Design and proof of multipliers by correctness-preserving transformation
Integrity and Correctness of Machine Learning Data
A new correctness proof for prim's algorithm
A general semiunification algorithm and its correctness proof
Optimizing proof search by machine learning techniques
Correctness of services and their composition
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Complexity and correctness of a super-pipelined processor
The correctness of a distributed real-time system
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions