4 Ebooks tarafından Erich Gradel
Krzysztof R. Apt & Erich Gradel: Lectures in Game Theory for Computer Scientists
…
PDF
İngilizce
DRM
€143.92
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
İngilizce
DRM
€77.04
Erich Gradel & Reinhard Kahle: Computer Science Logic
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of I …
PDF
İngilizce
DRM
€114.94
Erich Gradel & Phokion G. Kolaitis: Finite Model Theory and Its Applications
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexi …
PDF
İngilizce
DRM
€86.67