咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是281-290 订阅
From Monitors to Monitors: A Primitive History
收藏 引用
MINDS AND MACHINES 2024年 第SUPPL 1期34卷 51-71页
作者: Astarte, Troy K. Swansea Univ Dept Comp Sci Swansea Wales
As computers became multi-component systems in the 1950s, handling the speed differentials efficiently was identified as a major challenge. The desire for better understanding and control of 'concurrency' spre... 详细信息
来源: 评论
Linguistic Pedagogical Approaches to Transfer in computer science  2024
Linguistic Pedagogical Approaches to Transfer in Computer Sc...
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Owen, Rosalind WestEd San FranciscoCA United States
More students are encountering computer science at multiple grade levels and so are learning more than one programming language. There is an ever-growing body of research describing how students transfer knowledge fro... 详细信息
来源: 评论
Pseudocode vs. Compile-and-Run Prompts Comparing Measures of Student programming Ability in CS1 and CS2  2023
Pseudocode vs. Compile-and-Run Prompts Comparing Measures of...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Rheault, Benjamin Dougherty, Alexis Blanchard, Jeremiah Univ Florida Comp & Informat Sci & Engn Gainesville FL 32611 USA Univ Florida Elect & Comp Engn Gainesville FL USA
In college-level introductory computer science courses, the programming ability of students is often evaluated using pseudocode responses to prompts. However, this does not necessarily reflect modern programming pract... 详细信息
来源: 评论
Computational methods for Dynamic Answer Set programming  40
Computational methods for Dynamic Answer Set Programming
收藏 引用
40th International Conference on Logic programming (ICLP)
作者: Hahn, Susana Univ Potsdam Potsdam Germany
来源: 评论
CSEPrompts: A Benchmark of Introductory computer science Prompts  1
收藏 引用
27th International Symposium on Methodologies for Intelligent Systems (ISMIS)
作者: Raihan, Nishat Goswami, Dhiman Puspo, Sadiya Sayara Chowdhury Newman, Christian Ranasinghe, Tharindu Zampieri, Marcos George Mason Univ Fairfax VA 22030 USA Rochester Inst Technol Rochester NY USA Aston Univ Birmingham AL USA
Recent advances in AI, machine learning, and NLP have led to the development of a new generation of Large Language Models (LLMs) that are trained on massive amounts of data and often have trillions of parameters. Comm... 详细信息
来源: 评论
Algebraic Connection Between Logic programming and Machine Learning (Extended Abstract)  17th
Algebraic Connection Between Logic Programming and Machine L...
收藏 引用
17th International Symposium on Functional and Logic programming (FLOPS)
作者: Inoue, Katsumi Natl Inst Informat 2-1-2 HitotsubashiChiyoda Ku Tokyo 1018430 Japan
There have been attempts to connect machine learning and symbolic reasoning, providing interfaces between them. This work focuses on our original approach to integrate machine learning and symbolic reasoning, in the c... 详细信息
来源: 评论
Use of AI-driven Code Generation Models in Teaching and Learning programming: a Systematic Literature Review  2024
Use of AI-driven Code Generation Models in Teaching and Lear...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Cambaz, Doga Zhang, Xiaoling Delft Univ Technol Delft Netherlands
The recent emergence of LLM-based code generation models can potentially transform programming education. To pinpoint the current state of research on using LLM-based code generators to support the teaching and learni... 详细信息
来源: 评论
programming Workbook: A Collaborative Coding Fusion (Print and Digital) for Mastering programming Fundamentals  29
Programming Workbook: A Collaborative Coding Fusion (Print a...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Servin, Christian El Paso Community Coll El Paso TX 79998 USA
Nowadays, educators face the challenge of students developing their own work and acquiring problem-solving skills, especially with the widespread use of AI tools. This includes issues like excessive dependence on AI, ... 详细信息
来源: 评论
Self-Regulation, Self-Efficacy, and Fear of Failure Interactions with How Novices Use LLMs to Solve programming Problems  29
Self-Regulation, Self-Efficacy, and Fear of Failure Interact...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Margulieux, Lauren E. Prather, James Reeves, Brent N. Becker, Brett A. Uzun, Gozde Cetin Loksa, Dastyni Leinonen, Juho Denny, Paul Georgia State Univ Atlanta GA 30303 USA Abilene Christian Univ Abilene TX 79699 USA Univ Coll Dublin Dublin Ireland Towson Univ Towson MD USA Aalto Univ Espoo Finland Univ Auckland Auckland New Zealand
We explored how undergraduate introductory programming students naturalistically used generative AI to solve programming problems. We focused on the relationship between their use of AI to their self-regulation strate... 详细信息
来源: 评论
Using practical programming tasks to enhance combinatorial understanding
收藏 引用
TEACHING STATISTICS 2024年 第2期46卷 113-120页
作者: Levy, Sigal Stukalin, Yelena Guttmann-Beck, Nili Acad Coll Tel Aviv Yaffo Stat Educ Unit Tel Aviv Israel Acad Coll Tel Aviv Yaffo Stat Educ Unit Tel Aviv Israel Acad Coll Tel Aviv Yaffo Tel Aviv Israel
Probability theory has extensive applications across various domains, such as statistics, computer science, and finance. In probability education, students are introduced to fundamental principles which may include ma... 详细信息
来源: 评论