Model Theory Computer Science (60 results)
- Softcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Good
US$ 13.44
US$ 11.23 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Language: English
Published by Berlin/Heidelberg, Springer, 2007
Series: Book 27 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG
Contact seller5-star sellerAssociation member: BOEV
Condition: Used - Fine
US$ 56.70
US$ 11.23 shippingShips from Germany to U.S.A.Quantity: 1 available
8°, gebundene Ausgabe. Condition: Sehr gut. XI/437 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten B05-03-06A Sprache: Englisch Gewicht in Gramm: 839.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2010
Series: Book 14 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: thebookforest.com, San Rafael, CA, U.S.A.thebookforest.com
Contact seller4-star sellerCondition: Used - As new
US$ 71.22
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Like New. Text block, wraps and binding are in like new condition, without markings of any kind. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
Language: English
Published by Springer, 2007
Series: Book 27 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Fine
US$ 73.72
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Fine.
Language: English
Published by Springer, 2004
Series: Book 14 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 80.70
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 90.98
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 231.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 92.39
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 221.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 89.54
US$ 13.48 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 200 pages. 9.25x6.10x0.46 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 90.42
US$ 13.48 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2015 edition. 231 pages. 9.25x6.10x0.56 inches. In Stock.
Language: English
Published by Springer July 2004, 2004
Series: Book 14 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Bartleby's Books, Wilmington, VT, U.S.A.Bartleby's Books
Contact seller4-star sellerCondition: Used - Very good
US$ 100.00
US$ 9.74 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Used - Very Good. Dust Jacket Condition: Very Good.
Language: English
Published by Springer, 2021
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 110.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 121.64
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. x + 278 2010th edition.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 124.94
US$ 8.76 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. x + 278 Illus.
Language: English
Published by Springer, 2021
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 132.91
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Language: English
Published by Springer, 2004
Series: Book 14 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 139.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2004
Series: Book 14 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 149.32
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Language: English
Published by Springer, 2007
Series: Book 27 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 152.10
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 148.53
US$ 33.69 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 148.53
US$ 33.69 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer-Verlag New York Inc, 2007
Series: Book 27 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 165.93
US$ 16.85 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.
Language: English
Published by Springer, 2004
Series: Book 14 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 123.81
US$ 71.17 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Neu. Neu Neuware, auf Lager - Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable; in other words, completeness fails over finite models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions. …
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 162.41
US$ 33.69 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 165.19
US$ 33.69 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Model Theory, Computer Science and Graph Polynomials : Festschrift in Honor of Johann A. Makowsky
Meer, Klaus (EDT); Rabinovich, Alexander (EDT); Ravve, Elena (EDT); Villaveces, Andrés (EDT)
Language: English
Published by Birkhäuser, 2025
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 198.27
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
Model Theory, Computer Science and Graph Polynomials : Festschrift in Honor of Johann A. Makowsky
Meer, Klaus (EDT); Rabinovich, Alexander (EDT); Ravve, Elena (EDT); Villaveces, Andrés (EDT)
Language: English
Published by Birkhäuser, 2025
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 201.33
US$ 20.22 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
