Master Course
Type Systems


WebHome
- Education Page
- Description?
- Schedule?
- Assignments?

Center
Master Program

Web Statistics

Ts
Oct 2002 50 3 0  10 WebHome
  5 CourseSchedule?
  4 EducationPage
  3 WebStatistics
  3 WebSearch
  3 CourseDescription?
  2 WebTopicList
  2 WebTools
  2 WebPreferences
  2 WebNotify
  2 WebNews
  3 EelcoVisser
Nov 2002 41 3 0  13 WebHome
  4 LabAssignments?
  3 WebTools
  3 WebStatistics
  2 WebChanges
  2 EducationPage
  2 CourseSchedule?
  2 CourseDescription?
  1 WebTopicList
  1 WebSearch
  1 WebPreferences
  3 EelcoVisser
Dec 2002 27 0 0   6 WebHome
  4 WebStatistics
  4 EducationPage
  2 WebChanges
  1 WebTopicList
  1 WebTools
  1 WebSearch
  1 WebPreferences
  1 WebNotify
  1 WebNews
  1 WebIndex
 
Jan 2003 87 40 1  16 LabAssignments?
 14 WebChanges
 12 TigerProfiler?
 12 CourseSchedule?
  6 UnderstandingStrategies?
  6 EducationPage
  5 SimplifyingExpressions?
  4 CourseDescription?
  3 WebHome
  2 WebPreferences
  2 WebNotify
 29 EelcoVisser
 12 MartinBravenboer
Feb 2003 44 17 3   6 LabAssignments?
  5 ExerciseResults?
  4 WebHome
  4 WebChanges
  4 UnfoldingFunctionCalls?
  4 CopyPropagation?
  2 WebStatistics
  2 CourseSchedule?
  2 ConstantRecordPropagation?
  1 WebTopicList
  1 WebTools
 13 MartinBravenboer
  7 EelcoVisser
Mar 2003 6 0 0   4 WebHome
  2 WebStatistics
 
Apr 2003 9 0 0   4 WebHome
  2 WebStatistics
  1 WebSearch
  1 WebPreferences
  1 WebChanges
 
May 2003 23 8 0   8 WebHome
  4 WebContents?
  3 WebPreferences
  2 WebChanges
  2 EducationPage
  1 WebTools
  1 WebSearch
  1 WebNews
  1 SiteMap
  7 EelcoVisser
  1 DoaitseSwierstra
Jun 2003 30 0 0  14 WebHome
  3 EducationPage
  2 WebStatistics
  1 WebTopicList
  1 WebTools
  1 WebSearch
  1 WebPreferences
  1 WebNotify
  1 WebNews
  1 WebIndex
  1 WebContents?
 
Jul 2003 4 0 0   3 WebHome
  1 EducationPage
 
Aug 2003 7 0 0   3 WebHome
  2 WebSearch
  1 WebPreferences
  1 WebChanges
 
Sep 2003 3 0 0   3 WebHome  
Oct 2003 3 0 0   2 WebHome
  1 EducationPage
 
Nov 2003 8 0 0   7 WebHome
  1 EducationPage
 
Dec 2003 9 0 0   7 WebHome
  2 EducationPage
 
Jan 2004 12 0 0   4 WebHome
  1 WebTools
  1 WebSearch
  1 WebPreferences
  1 WebNews
  1 WebIndex
  1 WebChanges
  1 EducationPage
 
Feb 2004 24 0 0   8 WebHome
  2 WebSearch
  2 WebPreferences
  2 WebChanges
  2 EducationPage
  1 WebTopicList
  1 WebTools
  1 WebNotify
  1 WebNews
  1 WebIndex
  1 WebContents?
 
Mar 2004 48 0 0  11 WebHome
  6 WebPreferences
  5 WebSearch
  5 WebChanges
  4 WebStatistics
  4 EducationPage
  3 WebContents?
  2 WebTools
  2 WebNotify
  2 UpdateWebPages?
  1 WebTopicList
 
Apr 2004 173 0 0  48 WebHome
 17 WebPreferences
 16 EducationPage
 15 WebSearch
 12 WebChanges
 10 SiteMap
  9 WebIndex
  9 WebContents?
  8 WebNotify
  7 WebTools
  7 WebNews
 
May 2004 278 0 0  49 WebHome
 29 WebPreferences
 26 WebChanges
 25 WebSearch
 23 EducationPage
 16 WebIndex
 16 SiteMap
 15 WebTools
 15 WebNotify
 14 WebTopicList
 14 WebStatistics
 
Jun 2004 295 0 0  63 WebHome
 31 WebChanges
 30 WebPreferences
 29 WebSearch
 25 EducationPage
 17 WebTopicList
 14 WebStatistics
 14 WebContents?
 13 WebTools
 13 WebNotify
 13 WebNews
 
Jul 2004 344 0 0  68 WebHome
 36 WebPreferences
 33 WebSearch
 33 WebChanges
 27 EducationPage
 19 SiteMap
 18 WebNotify
 18 WebIndex
 17 WebTopicList
 17 WebStatistics
 17 WebNews
 
Aug 2004 451 0 0  68 WebHome
 43 WebSearch
 43 WebPreferences
 41 WebChanges
 41 EducationPage
 30 WebNotify
 28 WebNews
 25 WebTopicList
 25 WebTools
 24 WebStatistics
 23 WebIndex
 
Sep 2004 455 0 0  69 WebHome
 54 WebPreferences
 47 WebChanges
 46 WebSearch
 44 EducationPage
 25 WebNews
 24 WebTopicList
 24 WebContents?
 23 WebTools
 22 WebIndex
 21 SiteMap
 
Oct 2004 654 0 0  91 WebHome
 72 EducationPage
 69 WebChanges
 68 WebSearch
 67 WebPreferences
 36 WebNews
 36 WebContents?
 35 WebTopicList
 35 WebTools
 35 WebStatistics
 34 WebIndex
 
Nov 2004 617 0 0  71 WebHome
 67 WebSearch
 67 EducationPage
 62 WebPreferences
 60 WebChanges
 38 WebNotify
 38 SiteMap
 36 WebIndex
 35 WebContents?
 34 WebTopicList
 34 WebStatistics
 
Dec 2004 59 0 0  17 WebHome
  7 WebPreferences
  5 EducationPage
  4 WebNews
  4 WebSearch
  4 SiteMap
  4 WebChanges
  3 WebTopicList
  3 WebIndex
  2 WebStatistics
  2 WebNotify
 
Apr 2005 337 0 0  59 WebHome
 37 WebStatistics
 31 WebPreferences
 31 WebChanges
 27 WebSearch
 23 WebNews
 22 WebNotify
 22 EducationPage
 19 WebIndex
 14 WebTopicList
 13 SiteMap
 
Jun 2005 929 0 0 172 WebHome
 91 WebSearch
 91 WebNotify
 89 WebChanges
 74 WebIndex
 72 EducationPage
 71 WebNews
 65 WebStatistics
 43 WebPreferences
 36 SiteMap
 34 WebTools
 
Jul 2005 906 0 0 174 WebHome
 90 WebSearch
 89 WebNotify
 85 WebChanges
 84 WebIndex
 68 WebNews
 67 WebStatistics
 67 EducationPage
 41 WebPreferences
 29 SiteMap
 29 WebLeftBar
 
Oct 2005 742 0 0 158 WebStatistics
 97 WebHome
 64 WebIndex
 58 WebChanges
 57 WebSearch
 55 WebNotify
 51 WebPreferences
 46 EducationPage
 44 WebNews
 27 WebLeftBar
 21 WebTopicList
 
Nov 2005 1059 0 0 148 WebHome
130 WebStatistics
106 WebNotify
 98 WebIndex
 85 WebSearch
 82 EducationPage
 79 WebChanges
 67 WebPreferences
 62 WebNews
 50 WebLeftBar
 39 WebTopicList
 
Dec 2005 1314 0 0 217 WebHome
179 WebStatistics
123 WebNotify
108 WebChanges
104 WebSearch
101 WebIndex
 87 WebLeftBar
 85 WebPreferences
 75 EducationPage
 52 WebTopicList
 52 WebNews
 
Jan 2006 1471 0 0 376 WebStatistics
208 WebHome
123 WebChanges
104 WebNotify
102 WebIndex
 86 WebPreferences
 85 WebSearch
 83 EducationPage
 77 WebLeftBar
 63 WebNews
 44 WebTools
 
Feb 2006 1506 0 0 405 WebStatistics
227 WebHome
122 WebNotify
113 WebChanges
101 WebPreferences
 88 WebSearch
 82 WebLeftBar
 75 WebIndex
 60 EducationPage
 51 WebNews
 49 WebTopicList
 
Mar 2006 2137 0 0 392 WebStatistics
273 WebHome
255 WebChanges
201 WebNotify
146 EducationPage
140 WebSearch
126 WebIndex
123 WebPreferences
114 WebLeftBar
 96 WebTools
 72 WebNews
 
Apr 2006 2153 0 0 863 WebStatistics
183 WebHome
168 WebChanges
131 WebNotify
109 WebIndex
105 WebSearch
 92 WebPreferences
 92 WebLeftBar
 80 EducationPage
 69 SiteMap
 67 WebNews
 
May 2006 2171 0 0 942 WebStatistics
209 WebHome
129 WebChanges
113 WebNotify
100 WebLeftBar
 91 EducationPage
 90 WebIndex
 88 WebSearch
 86 WebPreferences
 70 WebTools
 68 SiteMap
 
Jun 2006 1927 0 0 698 WebStatistics
209 WebHome
119 WebLeftBar
116 WebChanges
100 WebPreferences
 98 WebIndex
 98 EducationPage
 89 WebNotify
 86 WebSearch
 64 WebTools
 62 WebNews
 
Jul 2006 1185 0 0 280 WebStatistics
134 WebHome
104 WebChanges
 90 EducationPage
 76 WebLeftBar
 74 WebPreferences
 73 WebNotify
 67 WebSearch
 56 WebIndex
 50 SiteMap
 46 WebNews
 
Aug 2006 1000 0 0 255 WebStatistics
154 WebHome
 83 WebChanges
 62 WebNotify
 61 WebSearch
 59 EducationPage
 50 WebLeftBar
 48 WebIndex
 46 WebPreferences
 45 SiteMap
 39 WebNews
 
Sep 2006 1156 0 0 456 WebStatistics
106 WebHome
 66 WebChanges
 60 WebLeftBar
 52 WebSearch
 47 WebPreferences
 43 EducationPage
 41 WebIndex
 39 WebNotify
 38 WebCustomMenus
 31 SiteMap
 
Oct 2006 1044 0 0 346 WebStatistics
118 WebHome
 66 WebChanges
 65 EducationPage
 60 WebIndex
 59 WebPreferences
 57 WebNotify
 54 WebLeftBar
 53 WebSearch
 37 WebNews
 30 WebTools
 
Nov 2006 1203 0 0 279 WebStatistics
161 WebHome
 97 WebNotify
 85 WebChanges
 79 EducationPage
 78 WebLeftBar
 75 WebSearch
 71 WebIndex
 68 WebPreferences
 47 WebNews
 44 WebTools
 
Dec 2006 1107 0 0 183 WebHome
178 WebStatistics
 99 WebPreferences
 86 WebNotify
 81 EducationPage
 78 WebLeftBar
 76 WebIndex
 70 WebChanges
 60 WebSearch
 42 WebNews
 41 WebTools
 
Jan 2007 1098 0 0 286 WebStatistics
150 WebHome
 81 WebNotify
 67 WebPreferences
 65 WebLeftBar
 64 WebSearch
 64 WebChanges
 61 EducationPage
 59 WebIndex
 45 WebNews
 45 SiteMap
 
Feb 2007 1222 0 0 436 WebStatistics
129 WebHome
105 WebNotify
 79 WebChanges
 78 WebLeftBar
 70 WebSearch
 57 EducationPage
 56 WebIndex
 48 WebPreferences
 39 WebNews
 35 WebTools
 
Mar 2007 1126 0 0 231 WebStatistics
149 WebHome
 82 WebNotify
 80 WebChanges
 78 WebIndex
 75 WebLeftBar
 74 WebSearch
 65 EducationPage
 54 WebNews
 53 WebPreferences
 52 WebTopicList
 
Apr 2007 1057 0 0 257 WebStatistics
156 WebHome
 85 WebChanges
 70 EducationPage
 69 WebNotify
 66 WebIndex
 63 WebSearch
 57 WebPreferences
 52 WebLeftBar
 47 WebTools
 45 WebNews
 
May 2007 1061 0 0 213 WebStatistics
108 WebHome
 97 WebChanges
 76 WebNotify
 72 WebIndex
 69 WebSearch
 66 EducationPage
 66 WebLeftBar
 65 WebPreferences
 49 WebNews
 43 WebTopicList
 
Jun 2007 1322 0 0 327 WebStatistics
104 WebHome
101 WebIndex
100 WebNotify
 92 WebLeftBar
 89 WebPreferences
 81 WebChanges
 73 EducationPage
 67 WebSearch
 62 WebNews
 55 WebTopicList
 
Jul 2007 1183 0 0 362 WebStatistics
120 WebHome
 89 WebLeftBar
 84 WebIndex
 83 WebNotify
 72 WebChanges
 67 WebPreferences
 59 EducationPage
 55 WebNews
 50 WebSearch
 45 WebTopicList
 
Aug 2007 228 0 0  62 WebStatistics
 41 WebHome
 20 WebTopicList
 20 WebNotify
 16 WebChanges
 16 WebLeftBar
 15 WebNews
 10 WebSearch
  9 EducationPage
  6 WebCustomMenus
  5 WebIndex
 
Sep 2007 148 0 0  36 WebHome
 26 WebStatistics
 17 WebNotify
 16 WebChanges
 10 WebSearch
  8 EducationPage
  8 WebLeftBar
  7 WebTopicList
  6 WebIndex
  5 WebNews
  4 SiteMap
 
Oct 2007 135 0 0  34 WebHome
 15 EducationPage
 11 WebNotify
 11 WebStatistics
 11 WebPreferences
 11 WebChanges
 10 WebTopicList
  6 WebNews
  6 WebIndex
  6 WebSearch
  5 SiteMap
 
Nov 2007 72 0 0  15 WebHome
 11 WebNotify
 10 WebSearch
  7 EducationPage
  6 WebTools
  5 WebStatistics
  5 WebLeftBar
  3 WebNews
  3 SiteMap
  3 WebChanges
  2 WebIndex