Stefan Szeider – författare
Visar alla böcker från författaren Stefan Szeider. Handla med fri frakt och snabb leverans.
4 produkter
Parameterized and Exact Computation
8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Av Gregory Gutin, Stefan Szeider
Häftad, 2013
550 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Parameterized and Exact Computation, IPEC 2013, in Sophia Antipolis, France, in September 2013.The 29 revised full papers presented were carefully reviewed and selected from 58 …
Parameterized and Exact Computation
8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Av Stefan Szeider, Gregory Gutin
E-bok, 2013
710 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Parameterized and Exact Computation, IPEC 2013, in Sophia Antipolis, France, in September 2013. The 29 revised full papers presented were carefully reviewed and selected from 58 …
Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Av Ofer Strichman, Stefan Szeider
Häftad, 2010
566 kr
Lägg i varukorg
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 Federated Logic Conference (FLoC) and was hosted by the School of Informatics at the University of Edinburgh, Scotland. …
Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Av Stefan Szeider, Ofer Strichman
E-bok, 2010
739 kr
Lägg i varukorg
