|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A comparison of three authentication properties |
Focardi, Riccardo |
2003 |
291 | 3 |
p. 285-327 43 p. |
artikel |
|
| 2 | A new logic for electronic commerce protocols |
Adi, Kamel |
2003 |
291 | 3 |
p. 223-283 61 p. |
artikel |
|
| 3 | Author index |
2003 |
291 | 3 |
p. 387-388 2 p. |
artikel |
||
| 4 | Coalgebras and monads in the semantics of Java |
Jacobs, Bart |
2003 |
291 | 3 |
p. 329-349 21 p. |
artikel |
|
| 5 | Preface |
Tinelli, Cesare |
2003 |
291 | 3 |
p. 219-221 3 p. |
artikel |
|
| 6 | Specification languages in algebraic compilers |
Van Wyk, Eric |
2003 |
291 | 3 |
p. 351-385 35 p. |
artikel |
6 gevonden resultaten