Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International

Ø 0.0

0 Bewertungen

68,59 €

Invited Talks. - SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms. - Symbolic Techniques in Propositional Satisfiability Solving. - Applications of SAT. - Finding Lean Induced Cycles in Binary Hypercubes.

Jetzt bei Ebay:

ISBN-13:

9783642027765
Book Title:

Theory and Applications of Satisfiability Testing - SAT 2009
ISBN:

9783642027765

None:

International Standard : tracked-no signature (7 to 15 business days) 31,92 EUR - Lieferung zwischen 19. May 2025 und 27. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , ... und weitere