Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)
by
ISBN 13: 9783642040269
Format: Paperback (567 pages) Publisher: Springer Published: 28 Aug 2009
Save for later
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)
ISBN 13: 9783540003885
Format: Paperback (396 pages) Publisher: Springer Published: 13 Dec 2002
Lectures in Game Theory for Computer Scientists
ISBN 13: 9780521198660
Format: Hardcover (308 pages) Publisher: Cambridge University Press Published: 06 Jan 2011
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein
ISBN 13: 9783540004288
Format: Hardcover (437 pages) Publisher: Springer Published: 24 Apr 2007