1
0
0
(1 - 19 von 21
)
Lectures in Game Theory for Computer Scientists von Apt, Krzysztof...
www.buch24.de
A collection of lectures on various aspects of game theory relevant for computer scientists. An excellent introduction to various aspects of game theory...
Solving the Sabotage Game is PSPACE-hard - Christof Löding, Philipp...
books.google.de
Title, Solving the Sabotage Game is PSPACE-hard. Aachener Informatik-Berichte. Authors, Christof Löding, Philipp Rohde. Publisher, RWTH, Department of Computer Science, Length, 56 pages. Export Citation, BiBTeX EndNote RefMan ...
Compiler Construction: 24th International Conference, CC ...
books.google.de
... Jens Knoop (Vienna), Christof Löding (Aachen), Ina Schäfer (Braunschweig), Pasquale Malacaria (London), Tiziana Margaria (Limerick), Andrew Myers ...
[Lecture Notes in Computer Science] Compiler Construction Volume ...
ur.booksc.eu
... Bart Jacobs (Nijmegen), Paul Klint (Amsterdam), Jens Knoop (Vienna), Christof Löding (Aachen), Ina Schäfer (Braunschweig), Pasquale Malacaria (London), ... › book
Fundamental Approaches to Software Engineering: 18th ...
books.google.de
... Paul Klint (Amsterdam), Jens Knoop (Vienna), Christof Löding (Aachen), Ina Schäfer (Braunschweig), Pasquale Malacaria (London), Tiziana Margaria ...
Automata, Logics, and Infinite Games: A Guide to Current Research -...
books.google.de
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...
Compiler Construction: 24th International Conference, CC 2015, Held...
books.google.de
This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on...
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th...
books.google.de
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of...
Descriptional Complexity of Formal Systems: 14th International...
books.google.de
... Szabolcs Iván Sebastian Jakobi Daniel Kirsten Peter Leupold Baiyu Li Christof Löding Violetta Lonati Andreas Malcher Florin Manea Tomáˇs Masopust Katja ...
Developments in Language Theory: 22nd International Conference, DLT...
books.google.de
This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September...
FST TCS 2003: Foundations of Software Technology and Theoretical...
books.google.de
Model Checking and Satisfiability for Sabotage Modal Logic Christof Löding and Philipp Rohde Lehrstuhl für Informatik VII, RWTH Aachen {loeding ...
Foundations of Software Technology and Theoretical Computer Science:...
books.google.de
... for Transformations of ω-Automata Christof Löding Lehrstuhl für Informatik VII, RWTH Aachen, D Aachen -aachen.de Abstract.
Developments in Language Theory: 17th International Conference, DLT...
books.google.it
This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallée, France, in...
Lectures in Game Theory for Computer Scientists - Google Books
books.google.de
Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way...
Mathematical Foundations of Computer Science 2012: 37th International...
books.google.de
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in...
Principles of Security and Trust: 4th International Conference, POST...
books.google.de
This book constitutes the refereed proceedings of the 4th International Conference on Principles of Security and Trust, POST 2015, held as part of the European...
Programming Languages and Systems: 24th European Symposium on...
books.google.de
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015,...
sortiert nach Relevanz / Datum