000			02199nam a22003258i 4500
001			CR9780511973468
003			UkCbUP
005			20170526205632.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			101011s2011||||enk o ||1 0|eng|d
020			_a9780511973468 (ebook)
020			_z9780521198660 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA269 _b.L43 2011
082	0	0	_a004.015193 _222
245	0	0	_aLectures in Game Theory for Computer Scientists / _cedited by Krzysztof R. Apt, Erich Grädel.
264		1	_aCambridge : _bCambridge University Press, _c2011.
300			_a1 online resource (308 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
500			_aTitle from publisher's bibliographic system (viewed on 28 Feb 2017).
520			_aGames provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also interest researchers working in mathematical logic, computer science and game theory.
650		0	_aGame theory
700	1		_aApt, Krzysztof R., _eeditor.
700	1		_aGrädel, Erich, _eeditor.
776	0	8	_iPrint version: _z9780521198660
856	4	0	_uhttps://doi.org/10.1017/CBO9780511973468
999			_c123887 _d123887