Wolfgang Thomas – författare
Visar alla böcker från författaren Wolfgang Thomas. Handla med fri frakt och snabb leverans.
22 produkter
Mathematical Logic
Av Wolfgang Thomas, J. Flum m. fl.
E-bok, 2013
880 kr
Lägg i varukorg
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 success in obtaining substantial and satisfactory answers. The present book contains a systematic …
Mathematical Logic
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Inbunden, 2021
768 kr
Lägg i varukorg
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? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In …
Mathematical Logic
Av Wolfgang Thomas, Jorg Flum m. fl.
E-bok, 2021
734 kr
Lägg i varukorg
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? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In …
Mathematical Logic
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Häftad, 2022
551 kr
Lägg i varukorg
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? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In …
Automata, Logics, and Infinite Games
A Guide to Current Research
Av Erich Grädel, Wolfgang Thomas m. fl.
Häftad, 2002
791 kr
Lägg i varukorg
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 foundation is needed especially for the construction of reactive programs, like communication protocols or …
STACS 2006
23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
Av Wolfgang Thomas, Bruno Durand
E-bok, 2006
1427 kr
Lägg i varukorg
STACS 2006
23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
Av Bruno Durand, Wolfgang Thomas
Häftad, 2006
1127 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the …
Automata, Logics, and Infinite Games
A Guide to Current Research
Av Thomas Wilke, Wolfgang Thomas m. fl.
E-bok, 2003
1007 kr
Lägg i varukorg
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 foundation is needed especially for the construction of reactive programs, like communication protocols or …
Foundations of Software Science and Computation Structures
Second International Conference, FOSSACS''99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS''99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
E-bok, 2003
739 kr
Lägg i varukorg
Computer Science Logic
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Av Mogens Nielsen, Wolfgang Thomas
Häftad, 1998
567 kr
Lägg i varukorg
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 …
Foundations of Software Science and Computation Structures
Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
Häftad, 1999
567 kr
Lägg i varukorg
The International Conference "Foundations of Software Science and Compu- tion Structures" (FOSSACS) is a constituent of the "Joint European Conferences on Theoryand Practice of Software" (ETAPS). The present volume contains the contributions to FOSSACS'99, the second conference in this series, …
STACS 2007
24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings
Av Wolfgang Thomas, Pascal Weil
Häftad, 2007
1127 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007. The 56 revised full papers presented together with 3 invited papers address the whole range of theoretical computer science …
STACS 2007
24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings
Av Pascal Weil, Wolfgang Thomas
E-bok, 2007
1502 kr
Lägg i varukorg
Automata, Languages and Programming
36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Av Susanne Albers, Alberto Marchetti-Spaccamela m. fl.
Häftad, 2009
1094 kr
Lägg i varukorg
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 European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This …
Automata, Languages and Programming
36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Av Wolfgang Thomas, Sotiris Nikoletseas m. fl.
E-bok, 2009
1459 kr
Lägg i varukorg
Automata, Languages and Programming
36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II
Av Susanne Albers, Alberto Marchetti-Spaccamela m. fl.
Häftad, 2009
1127 kr
Lägg i varukorg
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 European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This …
Automata, Languages and Programming
36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II
Av Wolfgang Thomas, Sotiris Nikoletseas m. fl.
E-bok, 2009
1459 kr
Lägg i varukorg
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 European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This …
Einführung in die mathematische Logik
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Häftad, 2018
464 kr
Lägg i varukorg
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 Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende …
Einführung in die mathematische Logik
Av Wolfgang Thomas, Jorg Flum m. fl.
E-bok, 2018
489 kr
Lägg i varukorg
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 Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende …
In-Game Advertising - Werbung in Computerspielen
Strategien und Konzepte
Av Wolfgang Thomas, Ludger Stammermann
Häftad, 2007
480 kr
Lägg i varukorg
Werbung in Computerspielen - In-Game Advertising genannt - ist ein viel versprechender Ansatz für die gebeutelte Werbebranche. Denn Spieler zappen nicht. Aktive Spieler finden sich nicht nur unter Kindern und Jugendlichen, sondern auch unter den 20- bis 40-Jährigen. Für Werbetreibende eröffnet sich …
In-Game Advertising - Werbung in Computerspielen
Strategien und Konzepte
Av Ludger Stammermann, Wolfgang Thomas
E-bok, 2007
560 kr
Lägg i varukorg
Mathematical Logic
Av H.-D. Ebbinghaus, J. Flum m. fl.
Inbunden, 1994
895 kr
Tillfälligt slut
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 success in obtaining substantial and satisfactory answers. The present book contains a systematic …
