Handbook of SatisfiabilityArmin Biere

Handbook of Satisfiability

Armin Biere, Hans van Maaren, Toby Walsh · 2009

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2009
שפה: English
הוצאה: IOS Press, Incorporated
מהדורות: 1
עמודים: 980
ISBN: 9781607503767

מקור הנתונים: Wikidata

עוד של Armin Biere

Hardware and Software: Verification and TestingArmin Biere

Hardware and Software: Verification and Testing

Armin Biere · 2013

Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere · 2020

Computer Aided VerificationArmin Biere

Computer Aided Verification

Armin Biere · 2014

Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Armin Biere · 2009

Theory and applications of satisfiability testing -- SAT 2006Armin Biere

Theory and applications of satisfiability testing -- SAT 2006

Armin Biere · 2006

Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere · 2008