booktheque

Theory and applications of satisfiability testing -- SAT 2006

Armin Biere · 2006

איפה לקנות

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

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

פרטי הספר

שנה
2006
שפה
English
הוצאה
Springer
מהדורות
2
עמודים
438
ISBN
9783540372066

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

עוד של Armin Biere

Hardware and Software: Verification and Testing
Armin Biere · 2013
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere · 2020
Computer Aided Verification
Armin Biere · 2014
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Armin Biere · 2009
Handbook of Satisfiability
Armin Biere · 2009
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere · 2008