for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen für diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten.
Das Buch bietet eine verständliche, kompakte Einführung in die Softwareentwicklung mit Java. Die Konzepte werden durch die Realisierung von Projekten vermittelt. Die im Buch gezeigten Beispiele, Lösungen der Aufgaben und zusätzliches Material werden auf einer Webseite angeboten.
Mit Python 3 steht nun eine Version zur Verfügung, die wesentliche Änderungen zu früheren Versionen enthält. In Python 3 - Intensivkurs gibt der amerikanische Python-Spezialist... Læs mere
Algorithmen bilden das Herzstück jeder nichttrivialen Anwendung von Computern, und die Algorithmik ist ein modernes und aktives Gebiet der Informatik.
Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. My modest goal has been to present the frequently used techniques to analyze images in a common framework–directional image processing.
Poor data quality can seriously hinder the effectiveness of organizations and businesses. This book offers state of the art understanding of the issues surrounding data quality, and sound practical advice for analyzing and improving data quality in the real world.
A survey of the state of the art of deterministic resource-constrained project scheduling with time windows.
Based on their academic and industrial experience with middleware and enterprise application integration systems, they describe the fundamental... Læs mere
Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech nologies.
Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem.
In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited... Læs mere