検索結果 - "System programming (Computer science)"

結果の絞り込み
  1. 表紙画像

    Principled Parallel Composition and the Separation of Concerns 著者: Rioux, Nicholas

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  2. 表紙画像

    A New Architecture for Choreographic Programming Languages 著者: Bates, Mako

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  3. 表紙画像

    Investigation of Generative AI Adoption in IT-Focused Vocational Secondary School Programming Education 著者: Annuš Norbert

    出版年 Education Sciences (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    お気に入りに追加
    保存先:
  4. 表紙画像

    Practical Programming Exams with Automated Assessment Improve Student Engagement and Learning Outcomes 著者: Žiga, Rojec

    出版年 Education Sciences (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    お気に入りに追加
    保存先:
  5. 表紙画像

    The Monitor Calculus: Modular Metatheories for Contract Systems Flexible Specification With Annotations and Reusable Metatheories With Transition Systems 著者: You, Shu-Hung

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  6. 表紙画像

    Automated Reasoning for Agile and Robust Chip Design 著者: Sisco, Zachary David

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  7. 表紙画像

    Developing Code Reading Skills in Entry-Level Computer Science Courses 著者: Banweer, Keerti

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  8. 表紙画像

    Code in Context: Keeping Developer Context and Interfaces on Evolving Software 著者: Misback, Edward L.

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  9. 表紙画像

    Source-to-Source Approach for MISRA-C 著者: Gouveia, Milena Luísa Pereira

    出版年 PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  10. 表紙画像

    Resilience-Focused Stochastic Programming for Optimizing Power System Investments 著者: Rossmann, Ramsey

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  11. 表紙画像

    Detecting Credit-Seeking Behavior with Programmed Instruction Framesets in a Formal Languages Course 著者: Elnady Yusuf

    出版年 Education Sciences (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    お気に入りに追加
    保存先:
  12. 表紙画像

    El sistema de gestión administrativo SIGEAD y la optimización en los trámites de los trabajadores de la UGEL Ilo - 2024 著者: Vidal Quispe, Ruben

    出版年 PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Full text outside of ProQuest
    お気に入りに追加
    保存先:
  13. 表紙画像

    Development of the Cognitive Programming Engagement (CPE) Scale: A Learning Strategy 著者: Mahatanankoon, Pruthikrai

    Citation/Abstract
    Full Text
    Full Text - PDF
    お気に入りに追加
    保存先:
  14. 表紙画像

    From Weberian Rationalization to JavaScript Components: Modularism in Academic Library Software 著者: Eaton, Mark E

    Citation/Abstract
    Full Text
    Full Text - PDF
    お気に入りに追加
    保存先:
  15. 表紙画像

    Abstractions for Code Migration From CPU to GPU in Simulation Domain 著者: Wadhwa, Avikant

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  16. 表紙画像

    Toward Open-Source Cloud-Based Visual Machine Learning Platform: A Human-Interface Usability Study 著者: ElSaid, AbdElRahman

    Citation/Abstract
    Full Text
    Full Text - PDF
    お気に入りに追加
    保存先:
  17. 表紙画像

    Data-Aware Complexity Analysis and Program Optimization 著者: Deeds, Kyle

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  18. 表紙画像

    Dialogue Management for On-Demand API Documentation 著者: Eberhart, Zachary

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  19. 表紙画像

    Multi-Feature GNSS Spoofing Detection on Android Smartphones Using Raw Measurements 著者: Argo, Robert, II

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:
  20. 表紙画像

    Software Virtualization and Resource Allocation in Quantum Networks 著者: Madhu, Raj Kamleshkumar

    Citation/Abstract
    Full Text - PDF
    お気に入りに追加
    保存先:

検索ツール: