 |
|
Verfasser |
Titel |
Jahr |
|
Signatur |
|
URL |
| 1 |
|
Manna, Zohar |
|
2010 |
|
|
|
|
| 2 |
|
Grumberg, Orna |
|
2009 |
|
|
|
|
| 3 |
|
|
|
1997 |
|
|
|
|
| 4 |
|
Wegener, Ingo |
|
1996 |
|
|
|
|
| 5 |
|
|
|
1996 |
|
|
|
|
| 6 |
|
Chaitin, Gregory J. |
|
1992 |
|
|
|
|
| 7 |
|
Naur, Peter |
|
1992 |
|
|
|
|
| 8 |
|
Feijen, Wim H. J. |
|
1990 |
|
|
|
|
| 9 |
|
Krallmann, Hermann |
|
1990 |
|
|
|
|
| 10 |
|
Dewdney, Alexander K. |
|
1989 |
|
|
|
|
| 11 |
|
Haykin, Simon S. |
|
1989 |
|
|
|
|
| 12 |
|
Hoare, Charles A. R. |
|
1989 |
|
|
|
|
| 13 |
|
Association for Computing Machinery |
|
1987 |
|
|
|
|
| 14 |
|
Turing, Alan Mathison |
|
1987 |
|
|
|
|
| 15 |
|
Seibt, Dietrich |
|
1985 |
|
|
|
|
| 16 |
|
Winner, Robert I. |
|
1985 |
|
|
|
|
| 17 |
|
Dijkstra, Edsger W. |
|
1982 |
|
|
|
|
| 18 |
|
Elgot, Calvin C. |
|
1982 |
|
|
|
|
| 19 |
|
Zuse, Konrad |
|
1976 |
|
|
|
|
