| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Symbolic Algebraic Methods and Verification Methods | 978-3-211-83593-7 (3-211-83593-8) | 2001 | Götz Alefeld · Jiri Rohn · Tetsuro Yamamoto |
S R · Siegbert Rampe · Siegfried M. Rump · Siegfried/Rump, Gerd Hildesheim - Josopait