Resultados de búsqueda - Optimizing compilers~

  • Mostrando 1 - 20 Resultados de 20
Limitar resultados
  1. Imagen de Portada

    Virtual Objects: To Be is to Be Perceivable. por Murphy, Alex

    Publicado en Australasian Journal of Philosophy (Jun2026)

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

    Mathematical Explanation in Computer Science. por Curtis-Trudel, André

    Publicado en Philosophy of Science (Dec2023)

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

    The Virtual as the Digital. por Chalmers, David J.


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

    The Social Furniture of Virtual Worlds. por Ludlow, Peter


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

    How to Design an ISA. por Chisnall, David

    Publicado en Communications of the ACM (May2024)

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

    Compiler Research: the next 50 Years. por HALL, MARY, PADUA, DAVID, PINGALI, KESHAV

    Publicado en Communications of the ACM (Feb2009)

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

    Hacker-Proof Coding: Software verification helps find the faults, preventing hacks. por Shein, Esther

    Publicado en Communications of the ACM (Aug2017)

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

    Kode Vicious. por Neville-Neil, George V.

    Publicado en Communications of the ACM (Oct2012)

    Ver este registro en EBSCOhost
    Opinion
  9. Imagen de Portada

    Programming Languages and Systems por Robbert Krebbers

    Publicado 2026
    Ver este registro en EBSCOhost
    Libro
  10. Imagen de Portada

    Beyond Horizons – The Rise of the Edge AI Processing Paradigm por Ovidiu Vermesan, Marcello Coppola, Fabian Chersi

    Publicado 2026
    Ver este registro en EBSCOhost
    Libro
  11. Imagen de Portada

    Programming Languages and Systems por Viktor Vafeiadis

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  12. Imagen de Portada

    The AI Act and The Agile Safety Plan por Thor Myklebust, Tor Stålhane, Dorthea Mathilde Kristin Vatn

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  13. Imagen de Portada

    Tools and Algorithms for the Construction and Analysis of Systems por Arie Gurfinkel, Marijn Heule

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  14. Imagen de Portada

    Computer Aided Verification por Ruzica Piskac, Zvonimir Rakamarić

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  15. Imagen de Portada

    The Roman Cemetery at Lankhills por Giles Clarke

    Publicado 2021
    Ver este registro en EBSCOhost
    Libro
  16. Imagen de Portada

    A Journey of Embedded and Cyber-Physical Systems por Jian-Jia Chen

    Publicado 2020
    Ver este registro en EBSCOhost
    Libro
  17. Imagen de Portada

    Computer Aided Verification por Hana Chockler, Georg Weissenbacher

    Publicado 2018
    Ver este registro en EBSCOhost
    Libro
  18. Imagen de Portada

    Technical Perspective: Transactional Memory in the Operating System. por Moir, Mark

    Publicado en Communications of the ACM (Sep2008)

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

    Digital System Design - Use of Microcontroller por Shenouda Dawoud, R. Peplow

    Publicado 2010
    Ver este registro en EBSCOhost
    Libro
  20. Imagen de Portada

    Stadtwachstum, Industrialisierung, Sozialer Wandel. : Beiträge zur Erforschung der Urbanisierung im 19. und 20. Jahrhundert. por Hans-Jürgen Teuteberg

    Publicado 1986
    Ver este registro en EBSCOhost
    Libro

Herramientas de búsqueda: