Related Work (Englisch)
- Neue Suche nach: Schnieber, Martha
- Neue Suche nach: Schnieber, Martha
In:
Polynomial Formal Verification of Approximate Functions
;
Kapitel: 3
;
15-16
;
2023
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Related Work
-
Weitere Titelangaben:BestMasters
-
Beteiligte:Schnieber, Martha ( Autor:in )
-
Erschienen in:Polynomial Formal Verification of Approximate Functions ; Kapitel: 3 ; 15-16BestMasters ; 15-16
-
Verlag:
- Neue Suche nach: Springer Fachmedien Wiesbaden
-
Erscheinungsort:Wiesbaden
-
Erscheinungsdatum:23.07.2023
-
Format / Umfang:2 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
IntroductionSchnieber, Martha et al. | 2023
- 2
-
PreliminariesSchnieber, Martha et al. | 2023
- 3
-
Related WorkSchnieber, Martha et al. | 2023
- 4
-
Polynomial VerificationSchnieber, Martha et al. | 2023
- 5
-
ExperimentsSchnieber, Martha et al. | 2023
- 6
-
ConclusionSchnieber, Martha et al. | 2023