Kategorien
Handverlesen
Alice Munro
Paul Auster
Über Mütter
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)
Stichwort auswählen
Alle Stichworte
Algorithms (2)
Algorithmus (2)
Resolution (2)
Artificial Intelligence (1)
Aussagenlogik (1)
Automated Deduction (1)
Automatic Reduction (1)
Combinatorics (1)
Complexity (1)
Complexity Theory (1)
Computability (1)
Computer Science (1)
Formal Logic (1)
Kolmogorov Complexity (1)
Logic (1)
Logic Programming (1)
Mathematical Logic (1)
Mathematics of Computing (1)
Oracle (1)
Predicate Logic (1)
Program Verification (1)
Programming Language (1)
Sat (1)
Semantics (1)
Sets (1)
Strukturtheorie (1)
Theorem Proving (1)
Theoretischeinformatik (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Algorithmen und Datenstrukturen (1)
Diskrete Mathematik (1)
Informationstheorie (1)
Logik (1)
Mathematik: Logik (1)
Theoretische Informatik (1)
Sprache auswählen
Sprachen
Englisch (4)
Deutsch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (6)
Nur mit
-Notizen
Auf Lager
Alles
Nur Personen
Nur Titel
ähnliche Begriffe
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Sie haben nach
Schöning, Uwe
gesucht
Uwe Schöning
Logik für Informatiker
Spektrum-Akademischer Vlg
2015
Taschenbuch
190 Seiten
29,99
€
Auf Lager
eng
Uwe Schöning / Jacobo Torán
The Satisfiability Problem
Algorithms and Analyses
Lehmanns Media GmbH
2013
Taschenbuch
184 Seiten
19,95
€
Auf Lager
The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the corne…
eng
Uwe Schöning / Randall J. Pruim
Gems of Theoretical Computer Science
Springer Berlin Heidelberg
2011
Taschenbuch
336 Seiten
128,39
€
in Kürze
This book assembles some of the most important problems and solutions in theoretical computer science-from computability, logic, circuit theory, and …
Uwe Schöning
Ideen der Informatik
Grundlegende Modelle und Konzepte der Theoretischen Informatik
De Gruyter Oldenbourg
2008
Taschenbuch
272 Seiten
54,95
€
in Kürze
Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den …
eng
Uwe Schöning
Logic for Computer Scientists
Birkhäuser Boston
2008
Taschenbuch
180 Seiten
64,19
€
in Kürze
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and f…
eng
Uwe Schöning
Complexity and Structure
Springer Berlin Heidelberg
1986
Taschenbuch
112 Seiten
24,60
€
in Kürze