Armin Biere - Böcker
782 kr
Skickas inom 5-8 vardagar
838 kr
Skickas inom 5-8 vardagar
726 kr
Skickas inom 5-8 vardagar
782 kr
Skickas inom 5-8 vardagar
Handbook of Satisfiability
Second Edition
3 995 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
446 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
446 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 099 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
540 kr
Skickas inom 10-15 vardagar
306 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
512 kr
Skickas inom 10-15 vardagar