Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:08:23 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||