Filter
Sökt på: Böcker av Stefan Strich
Filter
totalt 3 träffar
Theory and Applications of Satisfiability Testing - SAT 2010
häftad,
2010,
Engelska,
ISBN 9783642141850
This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2010 was held as part of the 2010 …
Objektorientierte Programmierung
inbunden,
2021,
Tyska,
ISBN 9783836283175
Theory and Applications of Satisfiability Testing - SAT 2010
E-bok,
2010,
Engelska,
ISBN 9783642141867