Bookbot

Uwe Schöning

    28. december 1955
    Theoretische Informatik kurzgefasst
    Algorithmik
    Ideen der Informatik
    Logic for Computer Scientists
    Gems of theoretical computer science
    The Satisfiability Problem. Das Erfüllbarkeitsproblem SAT, englische Ausgabe