erich grädel
Finite Model Theory and Its Applications
EbookSofort lieferbarThis book gives a broad overview of core topics of finite model theory: expressive power, descrip...
Computer Science Logic
EbookSofort lieferbarThe annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, w...
Automata, Logics, and Infinite Games
EbookSofort lieferbarA central aim and ever-lasting dream of computer science is to put the development of hardware an...
Automata, Logics, and Infinite Games
TaschenbuchBezug 11-15A central aim and ever-lasting dream of computer science is to put the development of hardware...
Finite Model Theory and Its Applications
BuchBezug 11-15Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...
Lectures in Game Theory for Computer Scientists
BuchBezug 11-15Games provide mathematical models for interaction. Numerous tasks in computer science can be form...
Computer Science Logic
TaschenbuchBezug 11-15The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, w...
Finite Model Theory and Its Applications
TaschenbuchPrint on DemandFinite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...
Schweizerische Strafprozessordnung/Jugendstrafprozessordnung (StPO/JStPO): 2 Bände (Basler Kommentar)
Gebundene AusgabeVerfügbar: 1Sofort lieferbarMängelexemplarSeit der ersten Auflage Anfang 2011, die kurz nach dem Inkrafttreten der Schweizerischen Strafpro...
- 1