Uwe Schöning – författare
Visar alla böcker från författaren Uwe Schöning. Handla med fri frakt och snabb leverans.
7 produkter
Logic for Computer Scientists
Av Uwe Schöning
Häftad, 2008
715 kr
Lägg i varukorg
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 mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This …
Gems of Theoretical Computer Science
Av Uwe Schöning, Randall J. Pruim
Häftad, 2011
1353 kr
Lägg i varukorg
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 and began reading one of the chapters. I liked the style and format of the book so much that over the …
Logik für Informatiker
Av Uwe Schöning
Häftad, 2000
353 kr
Lägg i varukorg
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ürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete …
Algorithmik
Av Uwe Schöning
Häftad, 2011
531 kr
Lägg i varukorg
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 Grundbegriffe aus der Theoretischen Informatik, der Stochastik und der Komplexitätsanalyse bereitgestellt. …