|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Fault-Tolerance Model for Multiprocessor Real-Time Systems |
Cheng, Sheng-Tzong |
2000 |
61 | 3 |
p. 457-477 21 p. |
artikel |
|
| 2 | Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems |
Bollig, Beate |
2000 |
61 | 3 |
p. 558-579 22 p. |
artikel |
|
| 3 | Author Index for Volume 61 |
2000 |
61 | 3 |
p. 581- 1 p. |
artikel |
||
| 4 | AVL Trees with Relaxed Balance |
Larsen, Kim S. |
2000 |
61 | 3 |
p. 508-522 15 p. |
artikel |
|
| 5 | On the Difference of Horn Theories |
Eiter, Thomas |
2000 |
61 | 3 |
p. 478-507 30 p. |
artikel |
|
| 6 | On the No-Z-Cycle Property in Distributed Executions |
Quaglia, Francesco |
2000 |
61 | 3 |
p. 400-427 28 p. |
artikel |
|
| 7 | Papers to Appear in Forthcoming Issues |
2000 |
61 | 3 |
p. 580- 1 p. |
artikel |
||
| 8 | Separating NP-Completeness Notions under Strong Hypotheses |
Ambos-Spies, Klaus |
2000 |
61 | 3 |
p. 335-361 27 p. |
artikel |
|
| 9 | Testing Problems with Sublearning Sample Complexity |
Kearns, Michael |
2000 |
61 | 3 |
p. 428-456 29 p. |
artikel |
|
| 10 | The Lob–Pass Problem |
Takeuchi, Jun-ichi |
2000 |
61 | 3 |
p. 523-557 35 p. |
artikel |
|
| 11 | The Security of the Cipher Block Chaining Message Authentication Code |
Bellare, Mihir |
2000 |
61 | 3 |
p. 362-399 38 p. |
artikel |
11 gevonden resultaten