4 电子书 Erich Gradel
Krzysztof R. Apt & Erich Gradel: Lectures in Game Theory for Computer Scientists
…
PDF
英语
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
英语
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
英语
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
英语
DRM
€86.67
