← Catalogus

A. van Hulst

3 titels in de boekenbase · Auteur · 2016
Regionale cultuurTheoretische informatica
Over A. van Hulst
A. van Hulst staat met 3 titels in de boekenbase als auteur. Bekend van de series ‘In vroeger tijden’ en ‘Proefschriftenreeks TU Eindhoven’. Het werk valt vooral onder regionale cultuur en theoretische informatica. Verschenen in 2016 bij Deboektant, Uitgeverij en Technische Universiteit Eindhoven.
Control synthesis using modal logic and partial bisimilarity
A. van Hulst
Control synthesis using modal logic and partial bisimilarity
A. van Hulst
Hardback · 2016
2
A. van Hulst
2
A. van Hulst
Hardback
3
A. van Hulst
3
A. van Hulst
Hardback