Siegfried M. Rump
Identifiers
- Open LibraryOL7855035A
Top Subjects
- Computer science, mathematics (1)
Books by Siegfried M. Rump
Total count: 3
-
Symbolic Algebraic Methods and Verification MethodsSpringer2011-09-07
Rechnerorientierte VerfahrenVieweg+Teubner Verlag2013-01-03-
Mathematical Aspects of Computer and Information Sciences6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected PapersSpringer London, Limited2016-01-01