Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
AI Systems Performance Engineering
Chris Fregly
The Art of Cyber Warfare
Peter Kestner
A Commentary on the Council of Europe Convention on Action against ...
Julia Planitzer & Helmut Sax
System Programming in Linux
Stewart Weiss