Mostrar 22,521 - 22,530 resultats de 25,968 per cerca '"Computer."', hora de la petició: 0.07sec Refinar resultats
  1. 22521

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

    Publicat a Journal of the ACM
    Article

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

    Compositional refinement of interactive systems. per Broy, Manfred

    Publicat a Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  3. 22523

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

    Publicat a 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. per Eppstein, David

    Publicat a Journal of the ACM
    Article

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

    Learning to reason. per Khardon, Roni

    Publicat a Journal of the ACM
    Article

    Learning to reason.
  6. 22526

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

    Publicat a Manila bulletin
    Article

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

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

    Publicat a Manila bulletin
    Article

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

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

    Publicat a Manila bulletin
    Article

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

    AMD releases Dragon platform technology.

    Publicat a Manila bulletin
    Article

    AMD releases Dragon platform technology.
  10. 22530

    Build, share and download fonts.

    Publicat a Manila bulletin
    Article

    Build, share and download fonts.

Eines de cerca: