Journal of the ACM （JOLACM） - Issue 183 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 183 |
| 发布时间： |
| 卷期年份： 1997 |
| 卷期官网： |
本期论文列表
Software reliability via run-time result-checking.
Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to NP.
Compositional refinement of interactive systems.
Contention in shared memory algorithms.