Skip to contents Isychev, Anastasia [Author] ; Seidl, Helmut [Degree supervisor]; Darulova, Eva [Other]; Seidl, Helmut [Other]; Tatlock, Zachary [Other] Improving Analysis and Optimization of Finite-Precision Programs Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Universitätsbibliothek der TU München, 2023 Isychev, Anastasia [Author] ; Seidl, Helmut [Degree supervisor]; Darulova, Eva [Other]; Seidl, Helmut [Other]; Tatlock, Zachary [Other] Improving Analysis and Optimization of Finite-Precision Programs Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Universitätsbibliothek der TU München, 2023 Isychev, Anastasia; Darulova, Eva Static Analysis: Scaling up Roundoff Analysis of Functional Data Structure Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2023 Published in: Static Analysis (2023), Seite 371-402
Isychev, Anastasia [Author] ; Seidl, Helmut [Degree supervisor]; Darulova, Eva [Other]; Seidl, Helmut [Other]; Tatlock, Zachary [Other] Improving Analysis and Optimization of Finite-Precision Programs Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Universitätsbibliothek der TU München, 2023
Isychev, Anastasia [Author] ; Seidl, Helmut [Degree supervisor]; Darulova, Eva [Other]; Seidl, Helmut [Other]; Tatlock, Zachary [Other] Improving Analysis and Optimization of Finite-Precision Programs Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Universitätsbibliothek der TU München, 2023
Isychev, Anastasia; Darulova, Eva Static Analysis: Scaling up Roundoff Analysis of Functional Data Structure Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2023 Published in: Static Analysis (2023), Seite 371-402
> Media type Skip to next facet Books (2) Wert ausschließen Articles (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (1) Wert ausschließen Show more show less
> Language Skip to next facet English (2) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Creator Skip to next facet Darulova, Eva (3) Wert ausschließen Isychev, Anastasia (3) Wert ausschließen Seidl, Helmut (2) Wert ausschließen Tatlock, Zachary (2) Wert ausschließen Show more show less
> Collection Skip to next facet Diss online (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen Show more show less