|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Case Study in the Specification and Analysis of Design Alternatives for a User Interface |
Duke, David |
1999 |
11 | 2 |
p. 107-131 |
artikel |
|
| 2 | Analysing Cognitive Behaviour using LOTOS and Mexitl |
Bowman, Howard |
1999 |
11 | 2 |
p. 132-159 |
artikel |
|
| 3 | Formalising a Value-Passing Calculus in HOL |
Nesi, Monica |
1999 |
11 | 2 |
p. 160-199 |
artikel |
|
| 4 | Generalised folds for nested datatypes |
Bird, Richard |
1999 |
11 | 2 |
p. 200-222 |
artikel |
4 gevonden resultaten