Résultat(s) 22 521 - 22 530 résultats de 25 968 pour la requête '"Computer"', Temps de recherche: 0,05s Affiner les résultats
  1. 22521

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

    Publié dans Journal of the ACM
    Article

    Software reliability via run-time result-checking.
  2. 22522

    Compositional refinement of interactive systems. par Broy, Manfred

    Publié dans Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  3. 22523

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

    Publié dans Journal of the ACM
    Article

    Applications of a logic of knowledge to motion planning under uncertainty.
  4. 22524

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

    Publié dans Journal of the ACM
    Article

    Sparsification-a technique for speeding up dynamic graph algorithms.
  5. 22525

    Learning to reason. par Khardon, Roni

    Publié dans Journal of the ACM
    Article

    Learning to reason.
  6. 22526

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

    Publié dans Manila bulletin
    Article

    2009 CWESANS top 25 most dangerous programming errors.
  7. 22527

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

    Publié dans Manila bulletin
    Article

    After a breakthrough 2008, will cloud computing go mainstream this year?.
  8. 22528

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

    Publié dans Manila bulletin
    Article

    After slow start, e-books find fans.
  9. 22529

    AMD releases Dragon platform technology.

    Publié dans Manila bulletin
    Article

    AMD releases Dragon platform technology.
  10. 22530

    Build, share and download fonts.

    Publié dans Manila bulletin
    Article

    Build, share and download fonts.

Outils de recherche: