Shinpan Kōbunshi jiten

Women Defying Hitler

Nathan Stoltzfus, Mordecai Paldiel, Judy Baumel-Schwartz

L'immoraliste

Boundary Element Programming in Mechanics

Xiao-Wei Gao, Trevor G. Davies

Theory and Applications of Satisfiability Testing - SAT 2014

Carsten Sinz, Uwe Egly