Del 12078Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020450 kr
Del 12079Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020450 kr
Theory and Applications of Satisfiability Testing - SAT 2006Armin Biere, Carla P. GomesHäftad, 2006545 kr
Theory and Applications of Satisfiability Testing - SAT 2006Carla P. Gomes, Armin Biere E-bok2006687 kr
Digitaltechnik - Eine praxisnahe EinführungArmin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel KröningHäftad, 2008309 kr
Digitaltechnik - Eine praxisnahe EinführungChristoph M. Wintersteiger, Georg Weissenbacher, Daniel Kroning, Armin Biere E-bok2008264 kr
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerInbunden, 2020778 kr
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerInbunden, 2020856 kr
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020742 kr
Del 12078Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020450 kr
Del 12079Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere, David ParkerHäftad, 2020450 kr
Theory and Applications of Satisfiability Testing - SAT 2006Armin Biere, Carla P. GomesHäftad, 2006545 kr
Digitaltechnik - Eine praxisnahe EinführungChristoph M. Wintersteiger, Georg Weissenbacher, Daniel Kroning, Armin Biere E-bok2008264 kr