-
Deutschland
Land International
Theory and Applications of Satisfiability Testing - S.A.T. 2009: 12th International Conference, S.A.T. 2009, Swansea, U.K., June 30 - July 3, 2009. . ... Notes in Computer Science, 5584, Band 5584)
Ein Sammelband der 12. S.A.T.-Konferenz in Swansea, der neueste Stand von SAT‑Algorithmen, deren theoretische Grundlagen und vielfältige Anwendunge ...
Gesponsert
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 15:37:32
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-11-2026 06:07:35
Gesponsert
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 11-11-2026 23:45:34
Allgemein
Marke
Oliver Kullmann
ISBN
Oliver Kullmann 9783642027765
MPN
Oliver Kullmann biography
