Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
Trust and Trustworthy Computing: 4th International Conference, Trust 2011, Pittsburgh, PA, USA, June 22-24, 2011 Proceedings by Jonathan McCune, Boris Balacheff, Adrian Perrig - Paperback
491.58 AED

Trust and Trustworthy Computing: 4th International Conference, Trust 2011, Pittsburgh, PA, USA, June 22-24, 2011 Proceedings by Jonathan McCune, Boris Balacheff, Adrian Perrig - Paperback

Be the first to rate this product 

491.58 AED 

  - You Save -491.58 AED
All prices include VAT  Details
Category Type
Information Technology
ISBN
9783642215988
Author
Jonathan McCune, Boris Balacheff, Adrian Perrig
Publisher
Springer
Description:

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.

The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Sunday, May 6 - Tuesday, May 8 to Dubai

Condition:
New
Sold by:
InternationalBookStore (88% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Information Technology
    ISBN
    9783642215988
    Languages
    English
    Item EAN
    2724437216213
    People
    Author
    Jonathan McCune, Boris Balacheff, Adrian Perrig
    Category Type
    Information Technology
    ISBN
    9783642215988
    Languages
    English
    Item EAN
    2724437216213
    People
    Author
    Jonathan McCune, Boris Balacheff, Adrian Perrig
    People
    Publisher
    Springer
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.

    The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were

    This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.

    The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

    Product Features:
    • Category: Information Technology
    • Binding: Paperback
    • Language of Text: English
    • Author(s): Karem A. Sakallah, Laurent Simon
    • Publisher: Springer
    • ISBN: 9783642215803
    • Number of Pages: 371
    • Dimensions: 9.2 x 6 x 0.7 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

Sponsored products for you

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit