Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
67,40 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
68,48 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Produktform: Buch / Einband - flex.(Paperback)
ca. 70,61 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand
vorbestellbar
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Produktform: Buch / Einband - flex.(Paperback)
42,79 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Produktform: Buch / Einband - flex.(Paperback)
79,17 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage