Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
4°, Gebundene Ausgabe. Condition: Sehr gut. 295 pp. Ausgetragenes Bibliotheksexemplar, mit leichten Gebrauchsspuren DE-10-18 Sprache: Englisch Gewicht in Gramm: 757.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Salish Sea Books, Bellingham, WA, U.S.A.
Condition: Like New. Like New; Hardcover; Close to new condition; Covers are still glossy with âstraight" edge-corners; Unblemished textblock edges; The endpapers and all text pages are bright and unmarked; Binding is tight with a straight spine; This book will be stored and delivered in a sturdy cardboard box with foam padding; Medium-Large Format (Quatro, 9.75" - 10.75" tall); Black covers with photo of two foxes, and title in white lettering; 2011, Cambridge University Press; 308 pages; "Lectures in Game Theory for Computer Scientists," by Krzysztof R. Apt & Erich Gradel.
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Condition: New.
Language: English
Published by Springer (edition 2009), 2009
ISBN 10: 3642040268 ISBN 13: 9783642040269
Seller: BooksRun, Philadelphia, PA, U.S.A.
Paperback. Condition: Very Good. 2009. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 90.14
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: ALLBOOKS1, Direk, SA, Australia
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Condition: New.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 118.60
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 132.19
Quantity: Over 20 available
Add to basketCondition: New. In English.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 133.57
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Cambridge University Press CUP, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Books Puddle, New York, NY, U.S.A.
Condition: Used. pp. xii + 295.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Majestic Books, Hounslow, United Kingdom
US$ 148.71
Quantity: 1 available
Add to basketCondition: Used. pp. xii + 295 Illus.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Language: English
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540003886 ISBN 13: 9783540003885
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.
Language: English
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3642438601 ISBN 13: 9783642438608
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,'thebranchof mathematical logic which deals with the relation between a formal language and its interpretations'. No wonder, then, that mathematical logic, and nite model theory in particular, should nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti cial intelligence, es- cially constraint databases and constraint satisfaction problems. The nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with nite model theory.
Condition: New. pp. xi + 565 2009th edition.
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: Used. pp. xii + 295.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: California Books, Miami, FL, U.S.A.
Condition: New.