Practical OCaml
Software Reliability
Interactive Multimedia Learning
Programming in Prolog : Using the ISO Standard
Performance Analysis of Computer Networks
Security,Privacy and Anonymity in Computation, Communication and Storage : SpaCCS 2016 International Workshops, TrustData, TSP, NOPE, DependSys, BigD
Security,Privacy, and Anonymity in Computation, Communication, and Storage : SpaCCS 2019 International Workshops, Atlanta, GA, USA, July 14-17, 2019
Ways of Knowing in HCI
Expert F#
Atomic and Quantum Physics
Term Indexing
A Beginners Guide to R