Armin Biere – författare
782 kr
Skickas inom 5-8 vardagar
838 kr
Skickas inom 5-8 vardagar
716 kr
Skickas inom 3-6 vardagar
782 kr
Skickas inom 5-8 vardagar
Handbook of Satisfiability
Second Edition
3 746 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
445 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
445 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 101 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
538 kr
Skickas inom 10-15 vardagar
305 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
511 kr
Skickas inom 10-15 vardagar