Cărți de Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science

Editat de Arie Gurfinkel et al.

mai 2025

Preț: 274^.19 lei 342^.75 lei

39-44 zile

-20%

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9340

Editat de Marijn Heule et al.

4 noi 2015

Preț: 409^.39 lei 511^.74 lei

6-8 săpt.

-20%