Showing 22,531 - 22,540 results of 25,981 for search '"Computing."', 查询时间: 0.07s Refine Results
  1. 22531

    Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP. 由 Hemaspaandra, Edith

    发表在 Journal of the ACM
    文件

    Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP.
  2. 22532

    Software reliability via run-time result-checking. 由 Wasserman, Hal

    发表在 Journal of the ACM
    文件

    Software reliability via run-time result-checking.
  3. 22533

    Compositional refinement of interactive systems. 由 Broy, Manfred

    发表在 Journal of the ACM
    文件

    Compositional refinement of interactive systems.
  4. 22534

    Applications of a logic of knowledge to motion planning under uncertainty. 由 Brafman, Ronen I.

    发表在 Journal of the ACM
    文件

    Applications of a logic of knowledge to motion planning under uncertainty.
  5. 22535

    Sparsification-a technique for speeding up dynamic graph algorithms. 由 Eppstein, David

    发表在 Journal of the ACM
    文件

    Sparsification-a technique for speeding up dynamic graph algorithms.
  6. 22536

    Learning to reason. 由 Khardon, Roni

    发表在 Journal of the ACM
    文件

    Learning to reason.
  7. 22537

    2009 CWESANS top 25 most dangerous programming errors. 由 Liao, Jerry

    发表在 Manila bulletin
    文件

    2009 CWESANS top 25 most dangerous programming errors.
  8. 22538

    After a breakthrough 2008, will cloud computing go mainstream this year?. 由 Calimag, Melvin G.

    发表在 Manila bulletin
    文件

    After a breakthrough 2008, will cloud computing go mainstream this year?.
  9. 22539

    After slow start, e-books find fans. 由 Stone, Brad

    发表在 Manila bulletin
    文件

    After slow start, e-books find fans.
  10. 22540

    AMD releases Dragon platform technology.

    发表在 Manila bulletin
    文件

    AMD releases Dragon platform technology.

检索工具: