Order Total (1 Item Items):
Shipping Destination:
Gradel Erich (81 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (81)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (66)
- As New, Fine or Near Fine (13)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (37)
- Not Print on Demand (56)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Lectues in Games Theory for Computer Scientists
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Seller: avelibro OHG, Dinkelscherben, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
4°, Gebundene Ausgabe. Condition: Sehr gut. 295 pp. Ausgetragenes Bibliotheksexemplar, mit leichten Gebrauchsspuren DE-10-18 Sprache: Englisch Gewicht in Gramm: 757.
-
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Good. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition.
-
Lectures in Game Theory for Computer Scientists
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Condition: New. pp. xii + 295 Illus.
-
Lectures in Game Theory for Computer Scientists
Language: English
Published by Cambridge University Press CUP, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Condition: New. pp. xii + 295.
-
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) :
Book 27 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Berlin/Heidelberg, Springer, 2007
ISBN 10: 3540004289 ISBN 13: 9783540004288
Seller: avelibro OHG, Dinkelscherben, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
8°, gebundene Ausgabe. Condition: Sehr gut. XI/437 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten B05-03-06A Sprache: Englisch Gewicht in Gramm: 839.
-
Lectures in Game Theory for Computer Scientists
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Condition: New. pp. xii + 295.
-
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science, 2500)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 90.61
US$ 16.05 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Lectures in Game Theory for Computer Scientists
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Lectures in Game Theory for Computer Scientists
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
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.
-
Lectures in Game Theory for Computer Scientists
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
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.
-
US$ 87.68
US$ 20.75 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
-
Condition: As New. Unread book in perfect condition.
-
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Book 27 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 118.65
US$ 16.05 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Finite Model Theory and Its Applications
Book 27 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 118.64
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings (Lecture Notes in Computer Science, 5771)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 132.66
US$ 16.05 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
-
Finite Model Theory and Its Applications
Book 27 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 133.09
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Computer Science Logic : 23rd International Workshop, Csl 2009, 18th Annual Conference of the Eacsl, Coimbra, Portugal, September 7-11, 2009, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 132.65
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Language: English
Published by Springer-Verlag GmbH, 2009
ISBN 10: 3642040268 ISBN 13: 9783642040269
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 565 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
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.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Taschenbuch. Condition: Neu. Automata, Logics, and Infinite Games | A Guide to Current Research | Erich Grädel (u. a.) | Taschenbuch | viii | Englisch | 2002 | Springer | EAN 9783540003885 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Condition: New. pp. xi + 565 2009th edition.
-
Taschenbuch. Condition: Neu. Finite Model Theory and Its Applications | Erich Grädel (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xi | Englisch | 2014 | Springer | EAN 9783642438608 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Finite Model Theory and Its Applications
Book 27 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3642438601 ISBN 13: 9783642438608
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.
-
Finite-model Theory and Its Applications (Texts in Theoretical Computer Science: An EATCS)
Book 27 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540004289 ISBN 13: 9783540004288
US$ 165.86
US$ 16.75 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.
-
Lectures in Game Theory for Computer Scientists
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Condition: New.
