![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| arrows.pdf | 2013-02-23 21:12 | 279K | |
| arrows.ps.gz | 2001-04-11 17:20 | 112K | |
| automatic-grading.pdf | 2017-10-24 10:26 | 717K | |
| beginners-luck.pdf | 2017-10-24 10:25 | 472K | |
| branching-processes.pdf | 2019-06-08 12:31 | 825K | |
| expressive-mocking.pdf | 2021-08-22 13:03 | 223K | |
| lists.djvu | 2005-09-08 19:06 | 682K | |
| lists.pdf | 2005-09-08 19:03 | 1.3M | |
| pretty.ps.gz | 2001-02-19 12:53 | 92K | |
| quick.pdf | 2012-09-04 14:20 | 190K | |
| quick.ps | 2001-07-18 17:33 | 262K | |
| quickspec.pdf | 2011-03-22 20:22 | 272K | |
| quviq-testing.pdf | 2016-06-21 19:19 | 707K | |
| rank-journal.pdf | 2011-03-23 18:50 | 534K | |
| rank-programs.pdf | 2011-03-22 20:01 | 148K | |
| rawfp.pdf | 2011-04-07 18:23 | 113K | |
| whyfp.pdf | 2011-04-07 16:13 | 182K | |
| whyfp.ps.gz | 2000-03-27 18:10 | 50K | |