|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | About “trivial” software patents: The IsNot case |
Bergstra, Jan A. |
2007 |
64 | 3 |
p. 264-285 22 p. |
artikel |
|
| 2 | A risk analysis of disk backup or repository maintenance |
Burgess, Mark |
2007 |
64 | 3 |
p. 312-331 20 p. |
artikel |
|
| 3 | Author index of Volume 64 |
2007 |
64 | 3 |
p. 375-376 2 p. |
artikel |
||
| 4 | Editorial Board |
2007 |
64 | 3 |
p. CO2- 1 p. |
artikel |
||
| 5 | Editorial comment to ‘About “trivial” software patents: The IsNot case’ |
Broy, Manfred |
2007 |
64 | 3 |
p. 263- 1 p. |
artikel |
|
| 6 | Formal proof of a program: Find |
Filliâtre, Jean-Christophe |
2007 |
64 | 3 |
p. 332-340 9 p. |
artikel |
|
| 7 | Lock-free parallel and concurrent garbage collection by mark&sweep |
Gao, H. |
2007 |
64 | 3 |
p. 341-374 34 p. |
artikel |
|
| 8 | Procedures and parameters in the real-time program refinement calculus |
Hayes, Ian J. |
2007 |
64 | 3 |
p. 286-311 26 p. |
artikel |
8 gevonden resultaten