Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Inglese 02.07.2024 Tascabile Fr. 102.00 1-2 settimane (il titolo viene stampato sull'ordine)
Marij Heule, Marijn Heule, Weaver, Weaver, Sean Weaver - Theory and Applications of Satisfiability Testing -- SAT 2015
Marij Heule, Marijn Heule, Weaver, Weaver, Sean Weaver Theory and Applications of Satisfiability Testing -- SAT 2015 Inglese 01.01.2015 Tascabile Fr. 89.00 6-7 settimane
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Inglese 05.09.2024 Tascabile Fr. 56.90 6-7 settimane
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems Inglese 27.05.2025 Tascabile Fr. 56.90 6-7 settimane
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems Inglese 27.05.2025 Tascabile Fr. 56.90 6-7 settimane
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems Inglese 27.05.2025 Tascabile Fr. 56.90 6-7 settimane