-
1
Semantic Web
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Mobile Edge Computing
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
-
5
Elements of Causal Inference Foundations and Learning Algorithms
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
Scientific Programming and Computer Architecture
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
Mobile Edge Computing
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
8