Order Total (1 Item Items):
Shipping Destination:
Creignou Nadia (33 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (33)
- 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 (25)
- As New, Fine or Near Fine (3)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (15)
- Not Print on Demand (26)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications, Series Number 7)
Language: English
Published by Society for Industrial and Appli, 1987
ISBN 10: 0898714796 ISBN 13: 9780898714791
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Good. Ex-library copy with usual markings. Prelim pages are slightly warped.
-
Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications, Series Number 7)
Language: English
Published by Society for Industrial and Applied Mathematics January 1987, 1987
ISBN 10: 0898714796 ISBN 13: 9780898714791
Hardcover. Condition: Used Good. No Jacket.
-
Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications)
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898714796 ISBN 13: 9780898714791
Seller: The Book Bin, Salem, OR, U.S.A.
Association Member: ABAA CBA ILAB
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. In manufacturer's shrink wrap. Spine sunned. 118pp.
-
Complexity Classifications of Boolean Constraint Satisfaction Problems
Language: English
Published by Society For Industrial And Applied Mathematics, 2001
ISBN 10: 0898714796 ISBN 13: 9780898714791
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780898714791.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Complexity of Constraints. An Overview of Current Research Themes.
Language: English
Published by Berlin, Springer Berlin / Heidelberg, 2008
ISBN 10: 3540927999 ISBN 13: 9783540927990
326 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7827 9783540927990 Sprache: Englisch Gewicht in Gramm: 900.
-
International EditionCondition: Brand New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Condition: As New. Unread book in perfect condition.
-
PF. Condition: New.
-
-
Theory and Applications of Satisfiability Testing - Sat 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Theory and Applications of Satisfiability Testing - Sat 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Paperback. Condition: Brand New. 1st edition. 321 pages. 9.37x6.14x0.79 inches. In Stock.
-
Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications, Series Number 7)
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898714796 ISBN 13: 9780898714791
Condition: New. Satisfaction Guaranteed or your money back.
-
Complexity of Constraints
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2008, 2008
ISBN 10: 3540927999 ISBN 13: 9783540927990
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the computational complexity of certain algorithmic tasks related to constraint satisfaction. The complexity-theoretic results of these tasks may have a direct impact on, for instance, the design and processing of database query languages, or strategies in data-mining, or the design and implementation of planners.This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006. A number of speakers were solicited to write surveys presenting the state of the art in their area of expertise. These contributions were peer-reviewed by experts in the field and revised before they were collated to the 9 papers of this volume. In addition, the volume contains a reprint of a survey by Kolaitis and Vardi on the logical approach to constraint satisfaction that first appeared in 'Finite Model Theory and its Applications', published by Springer in 2007.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.
-
Theory and Applications of Satisfiability Testing - SAT 2016
Language: English
Published by Springer International Publishing, Springer International Publishing Jun 2016, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the computational complexity of certain algorithmic tasks related to constraint satisfaction. The complexity-theoretic results of these tasks may have a direct impact on, for instance, the design and processing of database query languages, or strategies in data-mining, or the design and implementation of planners.This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006. A number of speakers were solicited to write surveys presenting the state of the art in their area of expertise. These contributions were peer-reviewed by experts in the field and revised before they were collated to the 9 papers of this volume. In addition, the volume contains a reprint of a survey by Kolaitis and Vardi on the logical approach to constraint satisfaction that first appeared in 'Finite Model Theory and its Applications', published by Springer in 2007.
-
Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers addressdifferent aspects ofSAT, includingcomplexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.
-
Taschenbuch. Condition: Neu. Theory and Applications of Satisfiability Testing - SAT 2016 | 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings | Nadia Creignou (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2016 | Springer | EAN 9783319409696 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Theory and Applications of Satisfiability Testing - Sat 2016: 19th International Conference, Bordeaux, France, July 5-9, 2016, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Paperback. Condition: Brand New. 588 pages. 9.25x6.10x1.33 inches. In Stock.
-
Taschenbuch. Condition: Neu. Complexity of Constraints | An Overview of Current Research Themes | Nadia Creignou (u. a.) | Taschenbuch | vii | Englisch | 2008 | Springer | EAN 9783540927990 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 332 | Sprache: Englisch | Produktart: Bücher | Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the computational complexity of certain algorithmic tasks related to constraint satisfaction. The complexity-theoretic results of these tasks may have a direct impact on, for instance, the design and processing of database query languages, or strategies in data-mining, or the design and implementation of planners.This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006. A number of speakers were solicited to write surveys presenting the state of the art in their area of expertise. These contributions were peer-reviewed by experts in the field and revised before they were collated to the 9 papers of this volume. In addition, the volume contains a reprint of a survey by Kolaitis and Vardi on the logical approach to constraint satisfaction that first appeared in 'Finite Model Theory and its Applications', published by Springer in 2007.
-
Theory and Applications of Satisfiability Testing ż SAT 2016
Language: English
Published by Springer International Publishing Jun 2016, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers addressdifferent aspects ofSAT, includingcomplexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF. 588 pp. Englisch.
-
Complexity of Constraints
Language: English
Published by Springer Berlin Heidelberg Dez 2008, 2008
ISBN 10: 3540927999 ISBN 13: 9783540927990
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the computational complexity of certain algorithmic tasks related to constraint satisfaction. The complexity-theoretic results of these tasks may have a direct impact on, for instance, the design and processing of database query languages, or strategies in data-mining, or the design and implementation of planners.This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006. A number of speakers were solicited to write surveys presenting the state of the art in their area of expertise. These contributions were peer-reviewed by experts in the field and revised before they were collated to the 9 papers of this volume. In addition, the volume contains a reprint of a survey by Kolaitis and Vardi on the logical approach to constraint satisfaction that first appeared in 'Finite Model Theory and its Applications', published by Springer in 2007. 332 pp. Englisch.
-
-
