Filtre:

Cărți de Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science, nr. 15698

Editat de Arie Gurfinkel et al.

mai 2025

Preț: 274^.29 lei 342^.87 lei

38-44 zile

-20%

Theory and Applications of Satisfiability Testing -- SAT 2015

Lecture Notes in Computer Science, nr. 9340

Editat de Marijn Heule et al.

4 noi 2015

Preț: 412^.45 lei 515^.56 lei

6-8 săpt.

-20%