Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Cardiovascular Outcomes Research
Kevin C. Maki & Don P. Wilson
The Palgrave Handbook of Environmental Policy and Law
Robert C. Brears & Jade Lindley
Mathematics for Business Analysis
Paul Turner & Justine Wood
Direct Natural Gas Conversion to Value-Added Chemicals
Jianli Hu & Dushyant Shekhawat