Note: this thesis repository might be incomplete for certain programmes.

5 entries found.


PhD Computer Science



1990
Student Thesis
J. ZuidwegConcurrent System Verification with Process Algebra
G. LeihGraph Grammers and Petri Nets with References
P. van OosteromReactive Data Structures for Geographic Information Systems
H.J. SchoutenGraphical Interaction in a User Interface Management System
I. HermanThe use of Projective Geometry in Computer Graphics