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...
    37,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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...
    54,95 €
    Alle Preise inkl. MwSt
  3. 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
  4. Ebook
    Sofort lieferbar
    The non-deterministic rule-based programming language of Constraint Handling Rules (CHR) features a remarkable combination of desirable properties: a foundation in classical logic, powerful analysi...
    29,99 €
    Alle Preise inkl. MwSt
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Taschenbuch
    Bezug 11-15
    By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathemat...
    61,82 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Taschenbuch
    Print on Demand
    Dieses Lehrbuch der Algorithmik stellt die grundlegenden Algorithmen dar und vermittelt die Prinzipien von Algorithmusanalyse und -entwurf.In einem einführenden Kapitel werden die benötigten ...
    44,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2
<%--for search--%>