Xishun (33 results)
More images- Softcover
Seller: Bookbot, Prague, Czech RepublicBookbot
Contact seller5-star sellerCondition: Used - Fine
£ 7.72
£ 18.10 shippingShips from Czech Republic to U.S.A.Quantity: 1 available
Other. Condition: Fine. Abnutzung / Risse - leicht; Vergilbt / ausgeblichen. This volume features papers from the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008), which has evolved from a workshop in 1996 to an annual international conference. It serves as a platform for researchers…exploring various aspects of the propositional satisfiability problem and its applications. For the first time, the conference took place in Asia, specifically at the Zhudao Guest House near Sun Yat-Sen University in Guangzhou, P. R. China. Many complex combinatorial problems can be represented as SAT problems, leading to advancements in both practical heuristics and theoretical insights applicable to a wide array of real-world challenges. Notably, significant verification issues in hardware and software can be reformulated as SAT problems, making SAT a crucial technology for ensuring secure and reliable systems. The conference topics encompass both practical and theoretical research on SAT and its applications, including proof systems, proof complexity, search algorithms, heuristics, algorithm analysis, hard instances, randomized formulas, problem encodings, industrial applications, solvers, tools, case studies, and empirical results. SAT is broadly defined, encompassing not only propositional satisfiability but also quantified Boolean formulas (QBF) and satisfiability modulo theories (SMT).
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 21.69
£ 5.31 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Hardcover
Seller: suffolkbooks, center moriches, NY, U.S.A.suffolkbooks
Contact seller5-star sellerCondition: Used - Very good
£ 26.77
£ 3.03 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week.
Published by Ke xue pu ji chu ban she, Beijing 1988
- Softcover
Seller: Bolerium Books Inc., San Francisco, CA, U.S.A.Bolerium Books Inc.
Contact seller5-star seller102p. slender paperback, neatly ex-library with rubberstamp and time card on title page. Treatise on AIDS, discussing its possible entry into China as a future possibility to be prevented, rather than something that had already happened. (The first acknowledged spread of the disease within China was in the following year, among…intravenous drug users on the southern border).
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 38.91
£ 3.03 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 324.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 36.21
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 324 Illus.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 45.07
Free ShippingShips within U.S.A.Quantity: 1 available
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.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 45.07
Free ShippingShips within U.S.A.Quantity: 3 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 36.91
£ 8.58 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 324.
- Softcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
£ 46.80
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Published by Shanxi ren min chu ban she
- Hardcover
Seller: Mullen Books, ABAA, Marietta, PA, U.S.A.Mullen Books, ABAA
Contact seller4-star sellerCondition: Used - Very good
£ 23.45
£ 9.87 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: VG/VG. Navy blue cloth/blue DJ. 134 pp. 191 color plates. The entire text of this book is in Chinese except for the title, which is in English as well as Chinese. Beautiful illustrations.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.82
£ 2.01 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 46.72
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.81
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.33
£ 2.01 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.96
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.97
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 305 pages. 9.00x6.00x0.80 inches. In Stock.
Proceedings of the 13th Asian Logic Conference
Zhao, Xishun (EDT); Feng, Qi (EDT); Kim, Byunghan (EDT); Yu, Liang (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 101.04
£ 2.01 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 103.11
Free ShippingShips within U.S.A.Quantity: 15 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.51
£ 53.88 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is ability Testing (SAT) has evo…lved from a rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the rst time, the conference venue was in Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University in Guangzhou, P. R. China. Many hard combinatorial problems can be encoded into SAT. Therefore - provementsonheuristics onthe practicalside,as wellastheoreticalinsightsinto SAT apply to a large range of real-world problems. More speci cally, many - portant practical veri cation problems can be rephrased as SAT problems. This applies to veri cation problems in hardware and software. Thus SAT is bec- ing one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, s- pli ers, tools, case studies, and empirical results. SAT is interpreted in a rather broad sense: besides propositional satis ability, it includes, for example, the - main of quanti ed Boolean formulae (QBF) and satis ability modulo theories (SMT).
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.73
£ 60.37 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theory and Applications of Satisfiability Testing - SAT 2008 | 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings | Hans Kleine Büning (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2008 | Springer | EAN 9783540797180 | Verantwortliche Person für…die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Proceedings of the 13th Asian Logic Conference
Zhao, Xishun (EDT); Feng, Qi (EDT); Kim, Byunghan (EDT); Yu, Liang (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 106.22
£ 2.01 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 106.11
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Proceedings of the 13th Asian Logic Conference
Zhao, Xishun (EDT); Feng, Qi (EDT); Kim, Byunghan (EDT); Yu, Liang (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 102.77
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 28.19
£ 90.56 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 324 | Sprache: Englisch | Produktart: Bücher | This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing… (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the ?rst time, the conference venue was in Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University in Guangzhou, P. R. China. Many hard combinatorial problems can be encoded into SAT. Therefore - provementsonheuristics onthe practicalside,as wellastheoreticalinsightsinto SAT apply to a large range of real-world problems. More speci?cally, many - portant practical veri?cation problems can be rephrased as SAT problems. This applies to veri?cation problems in hardware and software. Thus SAT is bec- ing one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, s- pli?ers, tools, case studies, and empirical results. SAT is interpreted in a rather broad sense: besides propositional satis?ability, it includes, for example, the - main of quanti?ed Boolean formulae (QBF) and satis?ability modulo theories (SMT).
Proceedings of the 13th Asian Logic Conference
Zhao, Xishun (EDT); Feng, Qi (EDT); Kim, Byunghan (EDT); Yu, Liang (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 104.24
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Proceedings of the 13th Asian Logic Conference
Zhao, Xishun (Editor)/ Feng, Qi (Editor)/ Kim, Byunghan (Editor)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 141.83
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 242 pages. 9.50x6.25x0.75 inches. In Stock.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.51
£ 19.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is ability Testi…ng (SAT) has evolved from a rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the rst time, the conference venue was in Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University in Guangzhou, P. R. China. Many hard combinatorial problems can be encoded into SAT. Therefore - provementsonheuristics onthe practicalside,as wellastheoreticalinsightsinto SAT apply to a large range of real-world problems. More speci cally, many - portant practical veri cation problems can be rephrased as SAT problems. This applies to veri cation problems in hardware and software. Thus SAT is bec- ing one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, s- pli ers, tools, case studies, and empirical results. SAT is interpreted in a rather broad sense: besides propositional satis ability, it includes, for example, the - main of quanti ed Boolean formulae (QBF) and satis ability modulo theories (SMT). 324 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.97
£ 42.25 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory… and Applications of S- is?ability Testing (SAT) has evolved from.
