uwe schöning

Grid   List

  1. Taschenbuch
    Sofort lieferbar
    Dieses in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentlichen Grundzügen der Theoretischen Informatik vertraut. Der erste und größte Teil behandelt Formale S...
    39,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    Sofort lieferbar
    Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedür...
    32,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    Sofort lieferbar
    The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. ...
  4. Taschenbuch
    Sofort lieferbar
    Dieses Lehrbuch, entstanden aus einer Anfängervorlesung aus dem Informatik-Studiengang an der Leibniz Universität Hannover, bietet einen ersten Einstieg in den Bereich der Komplexitätstheorie.Der L...
  5. Ebook
    Sofort lieferbar
    Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitäten mit der ganzen dahinter steckenden...
    59,95 €
    Alle Preise inkl. MwSt
  6. Ebook
    Sofort lieferbar
    This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents app...
    64,19 €
    Alle Preise inkl. MwSt
  7. Ebook
    Sofort lieferbar
    Der größte Stolperstein in den ersten Semestern eines Informatik- oder Ingenieurstudiums ist für viele Studienanfänger die Mathematik. Die zunächst ungewohnte mathematische Notation sowie die konse...
    9,99 €
    Alle Preise inkl. MwSt
  8. Ebook
    Sofort lieferbar
    Das Kompendium - im Rahmen einer Vorlesung an der Universität Ulm entstanden - ist kein Vorlesungsskript im eigentlichen Sinne; das heißt, man findet hier nicht den Ablauf der Vorlesung chronologis...
    9,99 €
    Alle Preise inkl. MwSt
  9. Ebook
    Sofort lieferbar
    The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. ...
    9,99 €
    Alle Preise inkl. MwSt
  10. Ebook
    Sofort lieferbar
    SAT (für satisfiability) ist der Name des bekanntesten NP-vollständigen Problems, des Erfüllbarkeitsproblems der Aussagenlogik. Gegeben ist hierbei eine Formel mit Boole'schen Variablen und Verknüp...
    16,99 €
    Alle Preise inkl. MwSt
  11. Ebook
    Sofort lieferbar
    Dieses Lehrbuch, entstanden aus einer Anfängervorlesung aus dem Informatik-Studiengang an der Leibniz Universität Hannover, bietet einen ersten Einstieg in den Bereich der Komplexitätstheorie.Der L...
    14,99 €
    Alle Preise inkl. MwSt
  12. Ebook
    Sofort lieferbar
    This book introduces some of the most important results in theoretical computer science. The 'gems' are central problems and their solutions from the areas of computability, logic, circuit theory, ...
    117,69 €
    Alle Preise inkl. MwSt
  1. 1
  2. 2
<%--for search--%>