Resultados de búsqueda - "Computer programs."

Limitar resultados
  1. Imagen de Portada

    A Decade of Software Model Checking with SLAM. por BALL, THOMAS, LEVIN, VLADIMIR, RAJAMANI, SRIRAM K.

    Publicado en Communications of the ACM (Jul2011)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

    Speculative Parallelization. por González-Escribano, Arturo, Lianos, Diego R.

    Publicado en Computer (00189162) (Dec2006)

    Ver este registro en EBSCOhost
    Artículo
  3. Imagen de Portada

    AI is upending the porn industry.

    Publicado en Economist (11/29/2025)

    Ver este registro en EBSCOhost
    Artículo
  4. Imagen de Portada

    Mozilla mania and the mother of all upgrades.

    Publicado en Architects' Journal (7/22/2004)

    Ver este registro en EBSCOhost
    Artículo
  5. Imagen de Portada

    Lilypond Music-Notation Software in the Digital-Humanities Toolbox. por Cashner, Andrew A.

    Publicado en DHQ: Digital Humanities Quarterly (2024)

    Ver este registro en EBSCOhost
    Artículo
  6. Imagen de Portada

    More balls through Windows.

    Publicado en Economist (4/17/2004)

    Ver este registro en EBSCOhost
    Artículo
  7. Imagen de Portada

    Signal When Through.


    Ver este registro en EBSCOhost
    Artículo
  8. Imagen de Portada

    Computer, January 1967 and 1992. por Neuhold, Erich

    Publicado en Computer (00189162) (Jan2017)

    Ver este registro en EBSCOhost
    Proceedings
  9. Imagen de Portada

    Contiendas discursivas, contiendas doctrinales. La inserción de fragmentos del discurso litúrgico en La fazienda de Ultramar. por LAURA MARTI, MELISA

    Publicado en Scripta Mediaevalia (2023)

    Ver este registro en EBSCOhost
    Artículo
  10. Imagen de Portada

    A New Class of Mixed-Valence Systems with Orbitally Degenerate Organic Redox Centers. Examples Based on Hexa-Rhenium Molecular Prisms. por Dinolfo, Peter H., Coropceanu, Veaceslav, Brédas, Jean-Luc, Hupp, Joseph T.

    Publicado en Journal of the American Chemical Society (10/4/2006)

    Ver este registro en EBSCOhost
    Artículo
  11. Imagen de Portada

    APIs, standards, and enabling infrastructure. por Cerf, Vinton G.

    Publicado en Communications of the ACM (May2019)

    Ver este registro en EBSCOhost
    Artículo
  12. Imagen de Portada

    Is it possible to create a very large wordnet in 100 days? An evaluation. por Lindén, Krister, Niemi, Jyrki

    Publicado en Language Resources & Evaluation (Jun2014)

    Ver este registro en EBSCOhost
    Artículo
  13. Imagen de Portada

    Computer Games Development Class with Appreciative Learning Approach: From the Perspective of Bloom's Taxomony. por Ali, Wan Zah Wan, Eow Yee Leng, Mahmud, Rosnaini, Baki, Roselan


    Ver este registro en EBSCOhost
    Artículo
  14. Imagen de Portada

    Teaching Biblical Studies Online. por Delamarter, Stephen, Gravett, Sandra L., Ulrich, Daniel W., Nysse, Richard W., Polaski, Sandra Hack

    Publicado en Teaching Theology & Religion (Jul2011)

    Ver este registro en EBSCOhost
    Artículo
  15. Imagen de Portada

    LEADING BY EXAMPLE: AUTOMATIC TRANSLATION OF SUBTITLES VIA EBMT. por Armstrong, Stephen, Way, Andy, Caffrey, Colm, Flanagan, Marian, Kenny, Dorothy, O'Hagan, Minako


    Ver este registro en EBSCOhost
    Artículo
  16. Imagen de Portada

    High-Performance Computing on Wall Street. por Spiers, Brad, Wallez, Denis

    Publicado en Computer (00189162) (12/01/2010)

    Ver este registro en EBSCOhost
    Artículo
  17. Imagen de Portada

    Textual Authority in the Vita Nova's Nineteenth-Century Editions. por TODOROVIĆ, JELENA

    Publicado en Romanic Review (May2021)

    Ver este registro en EBSCOhost
    Artículo
  18. Imagen de Portada

    50 & 25 Years Ago. por Neuhold, Erich

    Publicado en Computer (00189162) (Oct2020)

    Ver este registro en EBSCOhost
    Artículo
  19. Imagen de Portada

    Analyzing Krazy Kode. por Neville-Neil, George V.

    Publicado en Communications of the ACM (Jun2025)

    Ver este registro en EBSCOhost
    Artículo
  20. Imagen de Portada

    MadMax: Analyzing the Out-of-Gas World of Smart Contracts. por Grech, Neville, Kong, Michael, Jurisevic, Anton, Brent, Lexi, Scholz, Bernhard, Smaragdakis, Yannis

    Publicado en Communications of the ACM (Oct2020)

    Ver este registro en EBSCOhost
    Artículo

Herramientas de búsqueda: