|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Formal Framework for Interactive Agents |
Talcott, Carolyn L. |
2008 |
203 | 3 |
p. 95-106 12 p. |
artikel |
|
| 2 | AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System |
Dragoi, Cezara |
2008 |
203 | 3 |
p. 69-94 26 p. |
artikel |
|
| 3 | Interaction in Time and Space |
Ciobanu, Gabriel |
2008 |
203 | 3 |
p. 5-18 14 p. |
artikel |
|
| 4 | Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects |
Dovland, Johan |
2008 |
203 | 3 |
p. 19-34 16 p. |
artikel |
|
| 5 | Preface |
Goldin, Dina |
2008 |
203 | 3 |
p. 1-3 3 p. |
artikel |
|
| 6 | Programming Languages For Interactive Computing |
Perera, Roly |
2008 |
203 | 3 |
p. 35-52 18 p. |
artikel |
|
| 7 | Validating for Liveness in Hidden Adversary Systems |
Mukherjee, Saikat |
2008 |
203 | 3 |
p. 53-67 15 p. |
artikel |
7 gevonden resultaten