Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Structural Analysis 1
Salah Khalfallah
Chapter 1
Frank Columbus
Cholera Control in 2021
David Nalin
Law, Technology and Dispute Resolution
Riikka Koulu