C. Pronk

info

Please Note

<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>

Conference paper (2)

Journal article (3)

5 records found

The Esiac-10 Algebraic Computer

A theoretical decomposition by the Historic Collection

Journal article (2022) - C. Pronk , P.J. Trimp

A description of the working pricciples of the Esiac-10 Algebraic Computer

Displaying Decimal Numbers

Journal article (2022) - C. Pronk

Over the years engineers have dearched for means to display decimal numbers on measuring equipment. This paper presents an overview.

Measurements on (standard) Capacitors

Journal article (2020) - Kees Pronk , Piet Trimp

EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax

Conference paper (2011) - B Vos de , LCL Kats , C Pronk

RAFFS: Model Checking a Robust Abstract Flash File Store

Conference paper (2009) - P Taverne , C Pronk