ERSA 2013 : proceedings of the 2013 International Conference on Engineering of Reconfigurable System

International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA) (2013 : Las Vegas, Nevada)
[United States] : CSREA Press, [2013]

Handbook of satisfiability

Amsterdam ; Washington, DC : IOS Press, [2009]

Handbook of satisfiability

Amsterdam : IOS Press, 2021.
Second edition.

Mining massive data sets for security : advances in data mining, search, social networks and text mi

NATO Advanced Study Institute on Mining Massive Data Sets for Security (2007 : Gazzada, Italy)
Amsterdam : IOS Press, 2008.

New trends and applications of computer-aided material and engineering : selected, peer reviewed pap

International Conference on Computer-aided Material and Engineering (2011 : Hangzhou, China)
Stafa-Zurich, Switzerland : Trans Tech Publications, Ltd., 2011.

Parallel computing : architectures, algorithms, and applications

ParCo (Conference) (2007 : Jülich, Germany; Aachen, Germany)
Amsterdam ; Washington, DC : IOS Press, [2008]

Progress in new materials and mechanics research : selected, peer reviewed papers from the 2012 Inte

International Conference on Computer-aided Material and Engineering (2012 : Hangzhou, China)
Durnten-Zurich, Switzerland ; Enfield, NH : Trans Tech Publications, [2012]