Autor: Wolfgang Thomas

Ajutor
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 …
PDF
Engleză
DRM
€69.35
Bruno Durand & Wolfgang Thomas: STACS 2006
PDF
Engleză
DRM
€113.68
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 …
PDF
Engleză
DRM
€76.26
Wolfgang Thomas & Pascal Weil: STACS 2007
PDF
Engleză
DRM
€114.14
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
Engleză
DRM
€113.39
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 …
PDF
Germana
DRM
€32.92
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? …
PDF
Engleză
DRM
€57.04