![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/pdf.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Size | Description |
|---|---|---|---|
| Airport2004.pdf | 158K | |
| BRefinement.pdf | 154K | |
| BinarySearch.pdf | 138K | |
| Derivation1.pdf | 171K | |
| Derivation2.pdf | 129K | |
| Derivation3.pdf | 164K | |
| DutchNationalFlag.pdf | 127K | |
| FDSOL1.pdf | 81K | |
| FDSOL2.pdf | 115K | |
| FDSOL3.pdf | 121K | |
| Functions.pdf | 144K | |
| Handbook.pdf | 375K | |
| HotelSol.pdf | 103K | |
| HpexSol.pdf | 117K | |
| LinzProject2011.pdf | 14K | |
| Move.pdf | 206K | |
| Notation.pdf | 114K | |
| OperationsOnSchemas.pdf | 147K | |
| PredicateLogic.pdf | 164K | |
| PropositionalLogic.pdf | 162K | |
| Relations.pdf | 168K | |
| SchemaLanguage.pdf | 144K | |
| Sequences.pdf | 150K | |
| Sets.pdf | 179K | |
| TextEditor.pdf | 148K | |
| Warehouse.pdf | 149K | |
| ZED_____.TTF | 30K | |