Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Impeachment in the Nigerian Presidential System
Omololu Fagbadebo
Smart Cities, Artificial Intelligence and Digital Transformation ...
Eylül Erva Akin & Simona Klimbacher & Giovanni Ziccardi
Evidence-Based Physical Diagnosis E-Book
Steven McGee
Decoding the Court: Legal Data Insights from the Supreme Court ...
Wolfgang Alschner & Vanessa MacDonnell & Carissima Mathen