Armin Biere – författare
1 009 kr
Skickas inom 3-6 vardagar
1 069 kr
Skickas inom 5-8 vardagar
929 kr
Skickas inom 3-6 vardagar
1 009 kr
Skickas inom 5-8 vardagar
Handbook of Satisfiability
Second Edition
5 119 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
699 kr
Skickas inom 10-15 vardagar
399 kr
Skickas inom 10-15 vardagar
669 kr
Skickas inom 10-15 vardagar