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.
5 หนังสืออิเล็กทรอนิกส์โดย Marko van Eekelen
Marko Van Eekelen: Trends in Functional Programming Volume 6
This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programm …
EPUB
อังกฤษ
DRM
€37.99
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 presen …
PDF
อังกฤษ
DRM
€58.04
Marko van Eekelen & Olha Shkaravska: Foundational and Practical Aspects of Resource Analysis
…
PDF
อังกฤษ
DRM
€57.64
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 fu …
PDF
อังกฤษ
DRM
€57.94
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. T …
PDF
อังกฤษ
DRM
€51.58
