咨询与建议

限定检索结果

文献类型

  • 81,498 篇 会议
  • 30,394 篇 期刊文献
  • 7,359 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,328 篇 电子文献
  • 198 种 纸本馆藏

日期分布

学科分类号

  • 77,128 篇 工学
    • 66,891 篇 计算机科学与技术...
    • 46,380 篇 软件工程
    • 7,517 篇 控制科学与工程
    • 7,171 篇 电气工程
    • 6,611 篇 信息与通信工程
    • 2,784 篇 机械工程
    • 2,644 篇 电子科学与技术(可...
    • 2,091 篇 生物工程
    • 1,456 篇 生物医学工程(可授...
    • 1,293 篇 仪器科学与技术
    • 1,212 篇 动力工程及工程热...
    • 1,118 篇 材料科学与工程(可...
    • 1,111 篇 建筑学
    • 1,054 篇 土木工程
    • 1,039 篇 化学工程与技术
    • 784 篇 交通运输工程
  • 27,367 篇 理学
    • 21,273 篇 数学
    • 3,372 篇 系统科学
    • 2,985 篇 物理学
    • 2,954 篇 统计学(可授理学、...
    • 2,947 篇 生物学
    • 1,110 篇 化学
  • 13,212 篇 管理学
    • 8,942 篇 管理科学与工程(可...
    • 4,497 篇 图书情报与档案管...
    • 4,012 篇 工商管理
  • 8,105 篇 教育学
    • 7,957 篇 教育学
  • 1,482 篇 法学
    • 1,257 篇 社会学
  • 1,411 篇 经济学
    • 1,356 篇 应用经济学
  • 1,397 篇 医学
    • 1,032 篇 临床医学
    • 809 篇 基础医学(可授医学...
  • 919 篇 农学
  • 378 篇 文学
  • 198 篇 艺术学
  • 110 篇 军事学
  • 109 篇 哲学
  • 27 篇 历史学

主题

  • 10,168 篇 computer science
  • 7,423 篇 programming
  • 4,382 篇 linear programmi...
  • 4,364 篇 programming prof...
  • 4,197 篇 computer program...
  • 4,164 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,325 篇 logic programmin...
  • 3,021 篇 artificial intel...
  • 2,804 篇 application soft...
  • 2,613 篇 software enginee...
  • 2,592 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,156 篇 computer languag...
  • 2,122 篇 computer archite...
  • 2,116 篇 parallel program...
  • 2,034 篇 computational mo...
  • 2,021 篇 computer program...
  • 1,976 篇 programming tech...
  • 1,899 篇 optimization

机构

  • 202 篇 massachusetts in...
  • 78 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 47 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of co...
  • 46 篇 东南大学
  • 45 篇 department of el...
  • 45 篇 school of comput...
  • 44 篇 tsinghua univers...
  • 43 篇 college of compu...
  • 43 篇 school of comput...
  • 41 篇 institute of inf...
  • 41 篇 univ michigan an...
  • 41 篇 department of co...
  • 39 篇 huazhong univers...
  • 39 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 77 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 43 篇 bing xue
  • 40 篇 bernhard steffen
  • 33 篇 yao xin
  • 32 篇 niyato dusit
  • 30 篇 wang lei
  • 30 篇 mengjie zhang
  • 29 篇 kumar amruth n.
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 27 篇 jin zhi
  • 27 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 23 篇 zhang tao
  • 22 篇 fahringer thomas
  • 22 篇 meseguer josé

语言

  • 108,343 篇 英文
  • 6,159 篇 中文
  • 5,910 篇 其他
  • 87 篇 日文
  • 71 篇 德文
  • 30 篇 法文
  • 29 篇 西班牙文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 3 篇 斯洛文尼亚文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120441 条 记 录,以下是111-120 订阅
排序:
Examining the Role of Parental Support on Youth's Interest in and Self-Efficacy of computer programming
收藏 引用
ACM TRANSACTIONS ON COMPUTING EDUCATION 2024年 第3期24卷 1-23页
作者: Shehzad, Umar Clarke-Midura, Jody Recker, Mimi Utah State Univ Logan UT 84322 USA
Objectives. The increasing demand for computing skills has led to a rapid rise in the development of new computer science (CS) curricula, many with the goal of equitably broadening the participation of underrepresente... 详细信息
来源: 评论
Computational transformations of early childhood education: Pathways toward child-centred computing in two educational change projects
收藏 引用
BRITISH JOURNAL OF EDUCATIONAL TECHNOLOGY 2025年 第4期56卷 1573-1592页
作者: Samuelsson, Robin Maldardalen Univ Dept Early Childhood Educ Univ Plan 1 S-72123 Vasteras Sweden
programming is becoming a key subject in early education globally, with surging problems of how computer science can become a subject for children of all ages and backgrounds. Problems of implementing new technologies... 详细信息
来源: 评论
Coverage-Based Fault Localization in Haskell
收藏 引用
计算机科学技术学报(英文版) 2025年 第1期40卷 158-177页
作者: 李丰 王国庆 王萌 郝丹 1Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of Education Beijing 100871China 2Department of Computer Science University of Bristol Bristol BS81UB U.K.
Fault localization is to identify faulty program *** a large number of fault localization ap-proaches in the literature,coverage-based fault localization,especially spectrum-based fault localization(SBFL),has been int... 详细信息
来源: 评论
Explaining Algorithms with the Visual programming Language Algot  29
Explaining Algorithms with the Visual Programming Language A...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Thorgeirsson, Sverrir Graf, Oliver Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland
Algot is a visual, live programming language for computer science education that uses a novel implementation of programming by demonstration. Recent experimental studies indicate that Algot is effective for teaching f... 详细信息
来源: 评论
Preface for "Quantum programming for Software Engineering (QP4SE)"
收藏 引用
science of computer programming 2025年 243卷
作者: Pecorelli, Fabiano Santa Barletta, Vita Serrano, Manuel A. Pegaso Digital Univ Pegaso Italy Univ Bari Aldo Moro Bari Italy Univ Castilla La Mancha La Mancha Spain
来源: 评论
"Content Is Meaningless, and Structure Is All-Important": Defining the Nature of computer science in the Age of High Modernism, c. 1950-c. 1965
收藏 引用
IEEE ANNALS OF THE HISTORY OF COMPUTING 2023年 第2期45卷 29-42页
作者: Nofre, David Univ Autonoma Barcelona Hist Sci Barcelona Spain
The purpose of this article is to historize the definition of computer science, particularly the characteristic ambiguity of the discipline toward the computer. This ambiguity is foundational to computer science and h... 详细信息
来源: 评论
Comparing Large Language Models and Human Programmers for Generating programming Code
收藏 引用
ADVANCED science 2025年 第8期12卷 e2412279页
作者: Hou, Wenpin Ji, Zhicheng Columbia Univ Mailman Sch Publ Hlth Dept Biostat New York NY 10032 USA Duke Univ Sch Med Dept Biostat & Bioinformat Durham NC 27702 USA
The performance of seven large language models (LLMs) in generating programming code using various prompt strategies, programming languages, and task difficulties is systematically evaluated. GPT-4 substantially outpe... 详细信息
来源: 评论
On the comparability of different programming language routes through A-level computer science
On the comparability of different programming language route...
收藏 引用
作者: Harrison, E. University of Oxford
学位级别:硕士
Fairness in assessment is as important as validity and reliability. When question or paper choice is used in an assessment it is important that the various routes are comparable so that fairness to all students is mai...
来源: 评论
Laszlo Kalmar and the First University-Level programming and computer science Training in Hungary
Laszlo Kalmar and the First University-Level Programming and...
收藏 引用
IFIP WG 9.7 International Workshop on the History of Computing (HC) held at the 24th IFIP World computer Congress (WCC)
作者: Szabo, Mate Univ Lorraine Arch Henri Poincare UMR 7117 Nancy France Univ Paris 1 Pantheon Sorbonne IHPST UMR 8590 Paris France
The aim of this case study is to provide a detailed description of the first university-level programming and computer science training in Hungary, which started in 1957 at the University of Szeged. The program began ... 详细信息
来源: 评论
The Role of Artificial Intelligence in computer science Education: A Systematic Review with a Focus on Database Instruction
收藏 引用
APPLIED scienceS-BASEL 2025年 第7期15卷 3960-3960页
作者: Gaitantzi, Alkmini Kazanidis, Ioannis Democritus Univ Thrace Dept Informat Kavala 65404 Greece
The integration of artificial intelligence (AI) into computer science (CS) education is evolving, yet its specific application in database instruction remains underexplored. This systematic review analyzes 31 empirica... 详细信息
来源: 评论