Wolfgang Thomas studierte BWL mit Schwerpunkt Marketing und Wirtschaftsinformatik. Nach Stationen bei der Ganske Verlagsgruppe und Lycos Europe gründete er Anfang 2007 eine Online-Marketing-Agentur in Hamburg.
Ludger Stammermann war nach dem Studium der Geographie zunächst bei Data Becker und den Vereinigten Verlagsanstalten (VVA) tätig. 2003 gründete er eine Agentur für In-Game Advertising.
10 Ebooks de Wolfgang Thomas
H.-D. Ebbinghaus & J. Flum: Mathematical Logic
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical proofs? Only in this century has there been succe …
PDF
Inglés
DRM
€69.24
Erich Gradel & Wolfgang Thomas: Automata, Logics, and Infinite Games
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundat …
PDF
Inglés
DRM
€76.78
Susanne Albers & Alberto Marchetti-Spaccamela: Automata, Languages and Programming
…
PDF
Inglés
DRM
€115.04
Susanne Albers & Alberto Marchetti-Spaccamela: Automata, Languages and Programming
ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. ICALP is a series of annual conferences of the …
PDF
Inglés
DRM
€115.15
Heinz-Dieter Ebbinghaus & Jorg Flum: Einführung in die mathematische Logik
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Compute …
PDF
Alemán
DRM
€33.37
Heinz-Dieter Ebbinghaus & Jorg Flum: Mathematical Logic
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? A …
PDF
Inglés
DRM
€57.60
