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 door 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
Engels
DRM
€69.34
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
Engels
DRM
€77.04
Susanne Albers & Alberto Marchetti-Spaccamela: Automata, Languages and Programming
…
PDF
Engels
DRM
€114.75
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
Engels
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
Duits
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
Engels
DRM
€57.60
