Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)
(9783319085869 / 101 black & white illustrations, biograp)
(9783319085869 / 101 black & white illustrations, biograp)
(9783540278290 / Illustrations) | Applications of Satisfiability Testing
Oxford University ELT / Oxford University Press (9780194790512 / 26815087) | Alice's Adventures
Aluminium lüfterlose CPU-Kühler Design Stilvolle Frontplatte Diamant-Effekt Bietet eine Serial Port für zusätzliche Verbindung hinten4 Front USB-Ports Schlankes Design mit einer Höhe von 39 mm
Oxford University ELT / Oxford University Press (9780194790512 / 26815087) | Alice's Adventures
Oxford University ELT / Oxford University Press (9780194790512 / 26815087) | Alice's Adventures