R

Rolf Hammer

3 books found

Books by Rolf Hammer
Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von ProgrammteilenRolf Hammer
⏱ 2h 51m

Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen

Rolf Hammer

1992171 pp.
C++ Toolbox for Verified Computing IUlrich Kulisch Rolf Hammer
⏱ 6h 40m

C++ Toolbox for Verified Computing I

Ulrich Kulisch Rolf Hammer

2011400 pp.
C++ toolbox for verified computing IRolf Hammer
⏱ 6h 20m

C++ toolbox for verified computing I

Rolf Hammer

1995380 pp.