Taschenbuch. Condition: Neu. Theory and Applications of Satisfiability Testing - SAT 2017 | 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings | Serge Gaspers (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2017 | Springer | EAN 9783319662626 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. SOFSEM 2024: Theory and Practice of Computer Science | 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings | Henning Fernau (u. a.) | Taschenbuch | xv | Englisch | 2024 | Springer | EAN 9783031521126 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.