Julia Nieves

Activity Recognition in Pervasive Intelligent Environments

2017

ARM Assembly Language with Har

ARM Assembly Language with Hardware Experiments

2017

Building High Integrity Applic

Building High Integrity Applications with SPARK

2017

Formal Methods Industrial Use

Formal Methods Industrial Use from Model to the Code

2017

Gene Correction Methods and Pr

Gene Correction Methods and Protocols

2017

Introduction to Computing Using Python

2017

Learn Git in a Month of Lunche

Learn Git in a Month of Lunches

2017

New Opportunities for Connecte

New Opportunities for Connected Data

2017