Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · 2008
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2008
- שפה
- German
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 226
- ISBN
- 9783540777281
מקור הנתונים: 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
Handbook of SatisfiabilityArmin Biere
Handbook of Satisfiability
Armin Biere · 2009