EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: van Eekelen, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2011

Benvenuti, L. and van der Vet, P.E. and van der Veer, G.C. (2011) Sciences, computing, informatics: who is the keeper of the real faith? In: Computer Science Education Research Conference, CSERC 2011, 7-8 April 2011, Heerlen, the Netherlands. pp. 73-78. Open Universiteit. ISBN 978-90-358-1987-0

2007

Kattenbelt, M. and Ruys, T.C. and Rensink, A. (2007) An Object-Oriented Framework for Explicit-State Model Checking. In: Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), 23 March 2007, Eindhoven, The Netherlands. pp. 84-92. TUE Computer Science Reports (07-04). Computer Science Department, Eindhoven University of Technology (TUE). ISSN 0926-4515

2005

Oosterhof, N.N. and Hölzenspies, P.K.F. and Kuper, J. (2005) Application Patterns. In: Trends in Functional Programming, 23-24 Sep 2005, Tallinn, Estonia. pp. 370-382. Tartu University Press. ISBN 9985-894-88-X

This list was generated on Mon May 29 00:08:59 CEST 2017.