Hakutulokset: Kirjoja kirjailijalta Uwe Schöning
yhteensä 14 hakutulosta
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 …
Restart Strategies
Restarting is a technique employed by many algorithms. For some problems, restarts improve the runtimes by orders of magnitude. This thesis considers several aspects of restarts. …
Innovationsmanagement für technische Produkte
Ideen allein führen nicht zum Erfolg: Produktinnovation in der Industrie ist die Umsetzung von Know-how in neue, erfolgreiche Produkte. Diese Umsetzung ist nicht mehr allein …
Algorithmik
Dieses Lehrbuch der Algorithmik stellt die grundlegenden Algorithmen dar und vermittelt die Prinzipien von Algorithmusanalyse und -entwurf. In einem einführenden Kapitel werden …
Complexity and Structure
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 …
Analysis of Cognitive Models in Constraint Handling Rules
Computational cognitive modeling explores cognition by building computational models for cognitive processes, mechanisms and representations. Currently, implementations of …
Komplexität von Algorithmen
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 …
Logik für Informatiker
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert …
Innovationsmanagement für technische Produkte
Ideen allein führen nicht zum Erfolg: Produktinnovation in der Industrie ist die Umsetzung von Know-how in neue, erfolgreiche Produkte. Diese Umsetzung ist nicht mehr allein …
Theoretische Informatik - kurz gefasst
Dieses in der 5. Auflage vorliegende Standardwerk macht Studierende in kompakter Form mit den wesentlichen Grundzugen der Theoretischen Informatik vertraut. Der erste und grote …