咨询与建议

限定检索结果

文献类型

  • 81,383 篇 会议
  • 28,528 篇 期刊文献
  • 7,410 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 118,397 篇 电子文献
  • 205 种 纸本馆藏

日期分布

学科分类号

  • 75,569 篇 工学
    • 65,638 篇 计算机科学与技术...
    • 45,655 篇 软件工程
    • 7,347 篇 控制科学与工程
    • 7,046 篇 电气工程
    • 6,502 篇 信息与通信工程
    • 2,734 篇 机械工程
    • 2,590 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,443 篇 生物医学工程(可授...
    • 1,242 篇 仪器科学与技术
    • 1,179 篇 动力工程及工程热...
    • 1,089 篇 建筑学
    • 1,067 篇 材料科学与工程(可...
    • 1,030 篇 土木工程
    • 996 篇 化学工程与技术
    • 745 篇 交通运输工程
  • 26,749 篇 理学
    • 21,017 篇 数学
    • 3,330 篇 系统科学
    • 2,888 篇 统计学(可授理学、...
    • 2,880 篇 物理学
    • 2,818 篇 生物学
    • 1,061 篇 化学
  • 12,963 篇 管理学
    • 8,751 篇 管理科学与工程(可...
    • 4,441 篇 图书情报与档案管...
    • 3,962 篇 工商管理
  • 7,914 篇 教育学
    • 7,786 篇 教育学
  • 1,445 篇 法学
    • 1,227 篇 社会学
  • 1,357 篇 经济学
    • 1,313 篇 应用经济学
  • 1,326 篇 医学
    • 1,018 篇 临床医学
    • 773 篇 基础医学(可授医学...
  • 849 篇 农学
  • 353 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 101 篇 哲学
  • 27 篇 历史学

主题

  • 9,905 篇 computer science
  • 7,316 篇 programming
  • 4,410 篇 programming prof...
  • 4,334 篇 linear programmi...
  • 4,030 篇 software enginee...
  • 3,868 篇 dynamic programm...
  • 3,699 篇 computer program...
  • 3,313 篇 logic programmin...
  • 2,878 篇 artificial intel...
  • 2,817 篇 application soft...
  • 2,582 篇 genetic programm...
  • 2,575 篇 object oriented ...
  • 2,531 篇 software enginee...
  • 2,180 篇 computer languag...
  • 2,115 篇 parallel program...
  • 2,108 篇 computer archite...
  • 2,048 篇 computational mo...
  • 1,968 篇 programming tech...
  • 1,931 篇 computer program...
  • 1,883 篇 optimization

机构

  • 201 篇 massachusetts in...
  • 87 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 50 篇 school of comput...
  • 48 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of el...
  • 46 篇 东南大学
  • 43 篇 college of compu...
  • 43 篇 department of co...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 41 篇 tsinghua univers...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 54 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 40 篇 bernhard steffen
  • 39 篇 bing xue
  • 34 篇 yao xin
  • 30 篇 niyato dusit
  • 29 篇 kumar amruth n.
  • 29 篇 wang lei
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 28 篇 mengjie zhang
  • 27 篇 jin zhi
  • 26 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 22 篇 zhang tao
  • 22 篇 meseguer josé
  • 22 篇 li yang

语言

  • 107,747 篇 英文
  • 6,127 篇 中文
  • 4,549 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118512 条 记 录,以下是1261-1270 订阅
排序:
Exploring the Impact of Assessment Policies on Marginalized Students' Experiences in Post-Secondary programming Courses  24
Exploring the Impact of Assessment Policies on Marginalized ...
收藏 引用
20th Annual Conference on International Computing Education Research (ICER)
作者: Sherif, Eman Everson, Jayne Kivuva, F. Megumi Kirdani-Ryan, Mara Ko, Amy J. Univ Washington Seattle WA 98195 USA
Objectives: Assessments play a crucial role in computer science courses by providing insights into student learning. While previous research has explored various aspects of assessments, little attention has been given... 详细信息
来源: 评论
An Efficient Local Search Solver for Mixed Integer programming  30
An Efficient Local Search Solver for Mixed Integer Programmi...
收藏 引用
30th International Conference on Principles and Practice of Constraint programming, CP 2024
作者: Lin, Peng Zou, Mengchuan Cai, Shaowei State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing China
Mixed integer programming (MIP) is a fundamental model in operations research. Local search is a powerful method for solving hard problems, but the development of local search solvers for MIP still needs to be explore... 详细信息
来源: 评论
Run, Llama, Run: A Computational Thinking Game for K-5 Students Designed to Support Equitable Access  2023
Run, Llama, Run: A Computational Thinking Game for K-5 Stude...
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Koornneef, Stacey A. Bradbury, Jeremy S. Miljanovic, Michael A. Ontario Tech Univ Oshawa ON Canada
Computational thinking is now included in K-5 classrooms and this has led to a demand for new interactive and collaborative learning tools that engage a younger audience. Block-based programming and educational games ... 详细信息
来源: 评论
Kind Inference for the FreeST programming Language  14
Kind Inference for the FreeST Programming Language
收藏 引用
14th Workshop on programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)
作者: Almeida, Bernardo Mordido, Andreia Vasconcelos, Vasco T. Univ Lisbon LASIGE Fac Ciencias Lisbon Portugal
We present a kind inference algorithm for the FREEST programming language. The input to the algorithmis FREEST source code with (possibly part of) kind annotations replaced by kind variables. The algorithm infers conc... 详细信息
来源: 评论
A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation  27th
A Weighted Bipolar Argumentation Framework and Its ASP-Base...
收藏 引用
27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025
作者: Yan, Yan Li, Junru Liu, Fangzhou Wang, Zerong Zhang, Zhizheng School of Cyber Science and Engineering Southeast University Nanjing211189 China School of Computer Science and Engineering Southeast University Nanjing211189 China Ministry of Education Nanjing China
A novel Weighted Bipolar Argumentation Framework (WBAF) is proposed in this paper, which deals with attack and support relations equally and takes into account the weight of arguments and relations, and is a more... 详细信息
来源: 评论
Validation of a Secure programming Concept Inventory  2023
Validation of a Secure Programming Concept Inventory
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Ngambeki, Ida Bishop, Matthew Dai, Jun Univ Maryland Baltimore Cty Informat Syst Baltimore MD 21250 USA Univ Calif Davis Dept Comp Sci Davis CA USA Calif State Univ Dept Comp Sci Sacramento CA USA
Security failures in software arising from failures to practice secure programming are commonplace. Improving this situation requires that practitioners have a clear understanding of the foundational concepts in secur... 详细信息
来源: 评论
Embedding Functional Logic programming in Haskell via a Compiler Plugin  25th
Embedding Functional Logic Programming in Haskell via a Comp...
收藏 引用
25th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Prott, Kai-Oliver Teegen, Finn Christiansen, Jan Univ Kiel Kiel Germany Flensburg Univ Appl Sci Flensburg Germany
We present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the functional logic semantics explicitly. Using a GHC plugin, we get m... 详细信息
来源: 评论
A Method to Localize Defects in Source Codes Using Segments in programming Exercises
Computer Software
收藏 引用
computer Software 2023年 第4期40卷 29-36页
作者: Sawada, Yuki Umeda, Yuichiro Hachisu, Yoshinari Yoshida, Atsushi Kuwabara, Hiroaki Graduate School of Science and Engineering Nanzan University Japan Faculty of Science and Engineering Nanzan University NTT DATA MSE CORPORATION Japan Faculty of Science and Technology Nanzan University Japan
In programming exercises, we propose a method to localize defects based on automatic program repair. Localizing defects is accomplished by comparing a learner’s program and model answers using program segments, which... 详细信息
来源: 评论
Using Large Language Models to Enhance programming Error Messages  2023
Using Large Language Models to Enhance Programming Error Mes...
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Leinonen, Juho Hellas, Arto Sarsa, Sami Reeves, Brent Denny, Paul Prather, James Becker, Brett A. Aalto Univ Espoo Finland Abilene Christian Univ Abilene TX 79699 USA Univ Auckland Auckland New Zealand Univ Coll Dublin Dublin Ireland
A key part of learning to program is learning to understand programming error messages. They can be hard to interpret and identifying the cause of errors can be time-consuming. One factor in this challenge is that the... 详细信息
来源: 评论
Investigating Student Errors in Code Refactoring  2023
Investigating Student Errors in Code Refactoring
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Oliveira, Eduardo Univ Utrecht Utrecht Netherlands
Learning to develop code of good quality is challenging. One way to improve code quality is through code refactoring. Students make several mistakes when refactoring code. This research project aims to comprehend stud... 详细信息
来源: 评论