Skip to contents
-
Dagstuhl Seminar Proceedings. 08021 - Numerical Validation in Current Hardware Architectures, 2008
-
Dagstuhl Seminar Proceedings. 08021 - Numerical Validation in Current Hardware Architectures, 2008
-
University of Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online), 2007
-
Berlin; Heidelberg: Springer, 2004
-
Halle; Wittenberg, [2019?]
-
HilPub - Publikationsserver der Universität Hildesheim, 2011-04-21
-
Halle; Wittenberg, [2021?]
-
Halle; Wittenberg, [2021?]
-
Halle; Wittenberg, [2020?]
-
Halle; Wittenberg, [2019?]
-
Halle; Wittenberg, [2019?]
-
Halle; Wittenberg, [2019?]
-
Halle; Wittenberg, [2019?]
-
[Augsburg (?)], 1540 ; Online-Ausg.: Heidelberg: Univ-Bibl., Bibliotheca Palatina - digital, 2009
-
Halle; Wittenberg, [2019?]
-
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl Reports. Dagstuhl Reports, Volume 1, Issue 9, 2011
-
Dagstuhl Seminar Proceedings. 09471 - Computer-assisted proofs - tools, methods and applications, 2010
-
Dagstuhl Seminar Proceedings. 06021 - Reliable Implementation of Real Number Algorithms: Theory and Practice, 2006
-
Dagstuhl Seminar Proceedings. 06021 - Reliable Implementation of Real Number Algorithms: Theory and Practice, 2006
-
Dagstuhl Seminar Proceedings. 05391 - Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2006