Del 12078Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020446 kr
Del 12079Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020446 kr
Theory and Applications of Satisfiability Testing - SAT 2006Armin Biere, Carla P. GomesHäftad, 2006540 kr
Digitaltechnik - Eine praxisnahe EinführungArmin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel KröningHäftad, 2008306 kr
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020775 kr
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerInbunden, 2020826 kr
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020715 kr
Del 12078Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020446 kr
Del 12079Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020446 kr
Theory and Applications of Satisfiability Testing - SAT 2006Armin Biere, Carla P. GomesHäftad, 2006540 kr
Digitaltechnik - Eine praxisnahe EinführungArmin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel KröningHäftad, 2008306 kr