Armin Biere - Böcker
1 019 kr
Skickas inom 5-8 vardagar
1 089 kr
Skickas inom 5-8 vardagar
939 kr
Skickas inom 5-8 vardagar
1 019 kr
Skickas inom 5-8 vardagar
Handbook of Satisfiability
Second Edition
5 189 kr
Skickas
Tools and Algorithms for the Construction and Analysis of Systems
26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
579 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
579 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
1 429 kr
Skickas inom 10-15 vardagar
Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
699 kr
Skickas inom 10-15 vardagar
389 kr
Skickas inom 10-15 vardagar
Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
659 kr
Skickas inom 10-15 vardagar