Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Mechanical Fastening, Joining, and Assembly
James A. Speck
Human Rights Law and Counter Terrorism Strategies
Diane Webber
Technology-Enabled Motion Sensing and Activity Tracking for ...
Wenbing Zhao
Tax Law, Religion, and Justice
Allen Calhoun