Olaf Beyersdorff – författare

Visar alla böcker från författaren Olaf Beyersdorff. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Theory and Applications of Satisfiability Testing – SAT 2018

   21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

   Av Olaf Beyersdorff, Christoph M. Wintersteiger

   Häftad, 2018

   568 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 …

2. 

   Theory and Applications of Satisfiability Testing - SAT 2018

   21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

   Av Christoph M. Wintersteiger, Olaf Beyersdorff

   E-bok, 2018

   710 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018. The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 …

3. 

   MATHEMATICS FOR COMPUTATION (M4C)

   Av Benini Marco, Marco Benini m. fl.

   Inbunden, 2023

   2122 kr

   Lägg i varukorg

   The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and computation wherever desirable and possible, and …