Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Studies in Contract Law
Ian Ayres & Gregory Klass
Public Actors in International Investment Law
Catharine Titi
Intelligence and Information Policy for National Security
Jan Goldman & Susan Maret
Multivariate Statistics and Machine Learning
Daniel J. Denis