Erich Gradel – författare
Visar alla böcker från författaren Erich Gradel. Handla med fri frakt och snabb leverans.
3 produkter
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 …
Finite Model Theory and Its Applications
Av Scott Weinstein, Yde Venema m. fl.
E-bok, 2007
1141 kr
Lägg i varukorg
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 complexity and database theory. One of the fundamental insights of mathematical logic is that our …
Computer Science Logic
23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Av Reinhard Kahle, Erich Gradel
E-bok, 2009
1416 kr
Lägg i varukorg
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 International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- …
