Theory and Applications of Satisfiability Testing ¿ SAT 2018
53.49 EUR
Ein kompakter Leitfaden, der die neuesten Erkenntnisse aus der SAT‑2018-Konferenz zusammenfasst, von algorithmischen Fortschritten bis zu realen Einsatzszenarien in der Logikverifikation und Optimierung.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Theory and Applications of Satisfiability Testing – SAT 2018 (Lecture Notes in Computer Science, Band 10929)
Medimops DE
30-04-2026 12:18:49
Gesponsert
SpringerLink DE
Theory and Applications of Satisfiability Testing – SAT 2018
SpringerLink DE
01-05-2026 08:29:09
Gesponsert
Galaxus.de
Theory and Applications of Satisfiability Testing - SAT 2018, Fachbücher von Christoph M. Wintersteiger, Olaf Beyersdorff
Galaxus.de
30-04-2026 12:48:34
