|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A contract-based approach to adaptivity |
Schroeder, Andreas |
2011 |
3-5 |
p. 180-193 14 p. |
artikel |
||
| 2 | A precongruence format for should testing preorder |
Huang, Xiaowei |
2010 |
3-5 |
p. 245-263 19 p. |
artikel |
||
| 3 | Building Distributed Controllers for Systems with Priorities |
Ben-Hafaiedh, Imene |
2011 |
3-5 |
p. 194-218 25 p. |
artikel |
||
| 4 | Contents |
2010 |
3-5 |
p. iii- 1 p. |
artikel |
|||
| 5 | Contents |
2011 |
3-5 |
p. v- 1 p. |
artikel |
|||
| 6 | Contracts for security adaptation |
Martín, J.A. |
2011 |
3-5 |
p. 154-179 26 p. |
artikel |
||
| 7 | Editorial Board |
2010 |
3-5 |
p. IFC- 1 p. |
artikel |
|||
| 8 | Editorial Board |
2011 |
3-5 |
p. IFC- 1 p. |
artikel |
|||
| 9 | Guest Editors’ Foreword |
Pace, Gordon |
2011 |
3-5 |
p. 137-138 2 p. |
artikel |
||
| 10 | Passage retrieval in legal texts |
Rosso, Paolo |
2011 |
3-5 |
p. 139-153 15 p. |
artikel |
||
| 11 | Relating fair testing and accordance for service replaceability |
Mooij, Arjan J. |
2010 |
3-5 |
p. 233-244 12 p. |
artikel |
||
| 12 | Reversing computation in membrane systems |
Agrigoroaiei, Oana |
2010 |
3-5 |
p. 278-288 11 p. |
artikel |
||
| 13 | Stronger compositions for retrenchments |
Banach, R. |
2010 |
3-5 |
p. 215-232 18 p. |
artikel |
||
| 14 | The proof monad |
Kirchner, Florent |
2010 |
3-5 |
p. 264-277 14 p. |
artikel |
14 gevonden resultaten