लेखक: Wolfgang Thomas

समर्थन
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 द्वारा ईबुक 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
अंग्रेज़ी
DRM
€69.24
Bruno Durand & Wolfgang Thomas: STACS 2006
PDF
अंग्रेज़ी
DRM
€114.31
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
अंग्रेज़ी
DRM
€76.78
Wolfgang Thomas & Pascal Weil: STACS 2007
PDF
अंग्रेज़ी
DRM
€114.90
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
अंग्रेज़ी
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
जर्मन
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
अंग्रेज़ी
DRM
€57.60