Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Bremen"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1288533810 |
Art des Inhalts | Hochschulschrift |
Titel | Polynomial formal verification of approximate functions / Martha Schnieber |
Person(en) | Schnieber, Martha (Verfasser) |
Organisation(en) | Springer Fachmedien Wiesbaden (Verlag) |
Verlag | Wiesbaden, Germany : Springer Vieweg |
Zeitliche Einordnung | Erscheinungsdatum: [2023] |
Umfang/Format | x, 79 Seiten : Illustrationen ; 21 cm, 136 g |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Schnieber, Martha: Polynomial Formal Verification of Approximate Functions |
Hochschulschrift | Masterarbeit, Universität Bremen, 2021 |
ISBN/Einband/Preis |
978-3-658-41887-8 Broschur : circa EUR 106.99 (DE) (freier Preis), circa EUR 109.99 (AT) (freier Preis), circa CHF 118.00 (freier Preis), circa EUR 99.99 3-658-41887-7 |
Bestellnummer(n) | Bestellnummer: 89217357 |
EAN | 9783658418878 |
Sprache(n) | Englisch (eng) |
Beziehungen |
BestMasters Research |
Sachgruppe(n) | 510 Mathematik ; 620 Ingenieurwissenschaften und Maschinenbau |
Weiterführende Informationen |
Inhaltstext Auszug Inhaltsverzeichnis |
Frankfurt |
Signatur: 2023 AA 43942 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2023 AA 73558 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
