Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
at the Institute of Medicine Committee on the Robert Wood Johnson ...
Unknown
Bringing Public Health into Urban Revitalization
Institute of Medicine & Board on Population Health and Public Health Practice & National Academies of Sciences, Engineering, and Medicine & Roundtable on Environmental Health Sciences, Research, and Medicine
Time and Narrative in Intelligence Analysis
Joshua Yaphe
Data Science Foundations
Stephen Mariadas & Ian Huke