Zoekresultaten
Resultaat 1 - 10 (van 10)
G. Alberts | S.F.M. van Vlijmen Computerpioniers
het begin van het computertijdperk in Nederland
Geschiedenis van computers in Nederland.
Non-fictie
Nederlands | 327 pagina's | AUP, Amsterdam | 2017
Gedrukt boek
G. Alberts | S.F.M. van Vlijmen Computerpioniers
het begin van het computertijdperk in Nederland
Geschiedenis van computers in Nederland.
Non-fictie
Nederlands | 275 pagina's (ePub2, 44 MB) | Amsterdam University Press, Amsterdam | 2017
E-book
J.A. Bergstra | S.F.M. van Vlijmen Theoretische software-engineering
kenmerken, faseringen en classificaties
Non-fictie
Nederlands | 147 pagina's | Zeno, The Leiden-Utrecht Research Institute of Philosophy, Utrecht | 1998
Gedrukt boek
S.F.M. van Vlijmen Algebraic specification in action
Non-fictie
Engels | 330 pagina's | Zeno, the Leiden-Utrecht Research Institute for Philosophy, Utrecht | 1998
Gedrukt boek
J.F. Groote | S.F.M. van Vlijmen Modal logic for →m⇋CRL
Non-fictie
Engels | 17 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek
J.F. Groote | J.W.C. Koorn | S.F.M. van Vlijmen The safety guaranteeing system at station Hoorn-Kersenboogerd
Non-fictie
Engels | 46 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek
S.F.M. van Vlijmen | A. van Waveren On generating synchronous interworkings from PSF process traces
Non-fictie
Engels | 14 pagina's | University of Amsterdam, Faculty of Mathematics and Computer Science, Programming Research Group, Amsterdam | 1993
Gedrukt boek
S.F.M. van Vlijmen | J.J. van Wamel A semantic approach to protocold using process algebra
Non-fictie
Engels | 28 pagina's | University of Amsterdam, Faculty of Mathematics and Computer Science, Programming Research Group, Amsterdam | 1993
Gedrukt boek
A.S. Klusener | S.F.M. van Vlijmen | A. van Waveren Service independent building blocks-I; concepts, examples and formal specifications
Non-fictie
Engels | 63 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
S.F.M. van Vlijmen | A. van Waveren An algebraic specification of a model factory
Engels | 32 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek