Daniel Le Berre – författare

Visar alla böcker från författaren Daniel Le Berre. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Theory and Applications of Satisfiability Testing – SAT 2016

   19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

   Av Nadia Creignou, Daniel Le Berre

   Häftad, 2016

   569 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and …

2. 

   Theory and Applications of Satisfiability Testing - SAT 2016

   19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

   Av Daniel Le Berre, Nadia Creignou

   E-bok, 2016

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and …