Vel - ory of Convex Structures - New hardback or cased book - X555z

Schratz - ory and Practice of Knowledge Management - New paperback or - X555z

Eckhaus - ory and Applications of Singular Perturbations Proceedings - X555z

ory and Applications of Neural Networks Proceedings of the First Bri - X555z

Gaspers - ory and Applications of Satisfiability Testing - SAT 2017 - X555z

Cimatti - ory and Applications of Satisfiability Testing -- SAT 2012 - X555z

Beyersdorff - ory and Applications of Satisfiability Testing - SAT 201 - X555z

Ogihara - ory and Applications of Models of Computation 8th Annual C - X555z