Beyersdorff, Olaf books & textbook
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Computer Science and General Issues)
Beyersdorff, Olaf Wintersteiger, Christoph M.
Springer /2018-06-26 Paperback / 471 Pages
isbn-10: 3319941437 / isbn-13: 9783319941431
Mathematics For Computation (m4c)
Benini, Marco Beyersdorff, Olaf Rathjen, Michael Schuster, Peter Michael
WSPC /2023-03-22 Hardcover / 476 Pages
isbn-10: 9811245215 / isbn-13: 9789811245213
