Dr. Marko van Eekelen is an associate professor in the Security of Systems Department of the Institute for Computing and Information Sciences, Radboud University, Nijmegen.
4 Ebooks tarafından Marko van Eekelen
Marko van Eekelen & Ugo Dal Lago: Foundational and Practical Aspects of Resource Analysis
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers …
PDF
İngilizce
DRM
€57.27
Marko van Eekelen & Olha Shkaravska: Foundational and Practical Aspects of Resource Analysis
…
PDF
İngilizce
DRM
€57.61
Marko Van Eekelen & Herman Geuvers: Interactive Theorem Proving
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised …
PDF
İngilizce
DRM
€57.66
Marko van Eekelen & Ricardo Pena: Foundational and Practical Aspects of Resource Analysis
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. …
PDF
İngilizce
DRM
€50.90
