Luca Pulina – författare

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

2 produkter

1. 

   Theory and Applications of Satisfiability Testing – SAT 2020

   23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

   Av Luca Pulina, Martina Seidl

   Häftad, 2020

   550 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 …

2. 

   Theory and Applications of Satisfiability Testing - SAT 2020

   23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

   Av Martina Seidl, Luca Pulina

   E-bok, 2020

   718 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 …