Resources

Introduction to Continuum Biomechanics

Author : Athanasiou 

Springer

Access online

Introduction to Cryptography

Author : Delfs 

Springer

Access online

Interactive Theorem Proving

Author : Klein 

Springer

Access online

Interactive Theorem Proving

Author : Urban 

Springer

Access online

Interactive Theorem Proving

Author : Blanchette 

Springer

Access online

Introduction to Discrete Event Systems

Author : Cassandras 

Springer

Access online

Interactive Theorem Proving

Author : Ayala-Rincón 

Springer

Access online

Interactive Theorem Proving

Author : Avigad 

Springer

Access online

Introduction to E-commerce

Author : Zheng 

Springer

Access online

Interactive Theorem Proving

Author : Kaufmann 

Springer

Access online

Interactive Theorem Proving

Author : Eekelen 

Springer

Access online

Introduction to Embedded Systems

Author : Russell 

Springer

Access online

Interactive Theorem Proving

Author : Beringer 

Springer

Access online