The editor Uwe Schöning is a professor of Theoretical Computer Science at the University of Ulm, Germany. He introduced the low and high hierarchies to structural complexity theory to describe the internal structure of the complexity class NP. Later, he invented a much-cited SAT-Algorithm. He has also authored several popular textbooks on Logic in Computer Science.
9 Ebooks bởi Uwe Schoning
Hariolf Betz: A Unified Analytical Foundation for Constraint Handling Rules
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 analysis …
EPUB
Anh
DRM
€29.99
Uwe Schöning & Jacobo Torán: The Satisfiability Problem
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. Th …
PDF
Anh
€9.99
Uwe Schöning & Jacobo Torán: Das Erfüllbarkeitsproblem SAT
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üpfu …
PDF
tiếng Đức
€16.99
Uwe Schöning & Hans A. Kestler: Mathe-Toolbox
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 konsequ …
PDF
tiếng Đức
€9.99
Uwe Schöning: Kryptologie-Kompendium
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 chronologisch …
PDF
tiếng Đức
€9.99
Uwe Schoning: Logic for Computer Scientists
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 mathematic …
PDF
Anh
DRM
€70.52
Uwe Schöning: Ideen der Informatik
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 T …
PDF
tiếng Đức
DRM
€54.95
Randall J. Pruim & Uwe Schoning: Gems of Theoretical Computer Science
While I was visiting Boston University during the 1996-97 academic year, I noticed a small book, written in German, on a shelf in Steve Homer’s office. Curious, I borrowed it for my train ride home a …
PDF
Anh
DRM
€139.73
Arne Meier & Heribert Vollmer: Komplexität von Algorithmen
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 Le …
PDF
tiếng Đức
€14.99
