Foundations of Probabilistic Logic Programming Languages, Semantics, Inference and Learning, Second Edition
Requirements Engineering for Safety-Critical Systems
Engineering Agile Big-Data Systems
Foundations of Probabilistic Logic Programming Languages, Semantics, Inference and Learning
Cybernetics in C++