咨询与建议

限定检索结果

文献类型

  • 81,302 篇 会议
  • 30,391 篇 期刊文献
  • 7,427 册 图书
  • 1,643 篇 学位论文
  • 201 篇 科技报告
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,854 篇 电子文献
  • 212 种 纸本馆藏

日期分布

学科分类号

  • 77,130 篇 工学
    • 66,894 篇 计算机科学与技术...
    • 46,401 篇 软件工程
    • 7,486 篇 控制科学与工程
    • 7,144 篇 电气工程
    • 6,560 篇 信息与通信工程
    • 2,773 篇 机械工程
    • 2,642 篇 电子科学与技术(可...
    • 2,097 篇 生物工程
    • 1,455 篇 生物医学工程(可授...
    • 1,281 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,117 篇 材料科学与工程(可...
    • 1,110 篇 建筑学
    • 1,049 篇 土木工程
    • 1,029 篇 化学工程与技术
    • 771 篇 交通运输工程
  • 27,343 篇 理学
    • 21,251 篇 数学
    • 3,372 篇 系统科学
    • 2,967 篇 物理学
    • 2,956 篇 生物学
    • 2,952 篇 统计学(可授理学、...
    • 1,093 篇 化学
  • 13,188 篇 管理学
    • 8,906 篇 管理科学与工程(可...
    • 4,493 篇 图书情报与档案管...
    • 4,015 篇 工商管理
  • 8,062 篇 教育学
    • 7,916 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,414 篇 经济学
    • 1,358 篇 应用经济学
  • 1,381 篇 医学
    • 1,024 篇 临床医学
    • 807 篇 基础医学(可授医学...
  • 920 篇 农学
  • 375 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,330 篇 computer science
  • 7,418 篇 programming
  • 4,402 篇 computer program...
  • 4,373 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,899 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,081 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,637 篇 software enginee...
  • 2,581 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,026 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,894 篇 optimization

机构

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

作者

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

语言

  • 111,655 篇 英文
  • 6,078 篇 中文
  • 3,036 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120972 条 记 录,以下是401-410 订阅
排序:
Exploring Potential Barrier Estimation Mechanism Based on Quantum Dynamics Framework
收藏 引用
Chinese Journal of Electronics 2025年 第1期34卷 350-364页
作者: Quan Tang Peng Wang Chengdu Institution of Computer Application Chinese Academy of Science University of Chinese Academy of Sciences School of Computer Science and Engineering Southwest Minzu University
Due to the probability characteristics of quantum mechanism, the combination of quantum mechanism and intelligent algorithm has received wide attention. Quantum dynamics theory uses the Schr?dinger equation as a quant... 详细信息
来源: 评论
Implementation of Parallel Applications on Linear Systolic and Star Topologies by Using Multistage Omega Network
Periodica Polytechnica Electrical Engineering and Computer S...
收藏 引用
Periodica Polytechnica Electrical Engineering and computer science 2025年 第1期69卷 33-42页
作者: Alsaffar, Qusay Samir Ayed, Leila Ben National School of Electronics and Telecommunications of Sfax University of Sfax P.O.B. 1169 Sfax3029 Tunisia National School of Computer Science Tunisia University of Manouba Campus Universitaire de La Manouba Manouba2010 Tunisia
Contemporary computer architecture comprises multicomputer settings. Multiple computers provide the facility of high performance to implement multiple threads that are faster and concurrently with different processors... 详细信息
来源: 评论
Edit, Run, Error, Repeat: Learning Analytics to Find Struggling Students in Upper Secondary programming Classes  2023
Edit, Run, Error, Repeat: Learning Analytics to Find Struggl...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Snider, Johan Mattias Uppsala Univ Uppsala Sweden
This dissertation research explores the potential of using learning analytics to improve programming education. The research goals include replicating previous research through studying heterogeneous groups of student... 详细信息
来源: 评论
Developing Future Computational Thinking in Foundational CS Education: A Case Study From a Liberal Education University in India
收藏 引用
IEEE TRANSACTIONS ON EDUCATION 2024年 第6期67卷 944-953页
作者: Kalluri, Balaji Prasad, Prajish Sharma, Prakrati Chippa, Divyaansh FLAME Univ Sch Comp & Data Sci Pune 412115 Maharashtra India
Contribution: This article proposes a new theoretical model with a goal to develop future human computational thinking (CT) in foundational computer science (CS) education. The model blends six critical types of think... 详细信息
来源: 评论
A Worked Example Model for Teaching Dynamic programming  2023
A Worked Example Model for Teaching Dynamic Programming
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Novak, Ed Franklin & Marshall Coll Lancaster PA 17603 USA
How should dynamic programming be taught to students experiencing it for the first time? Dynamic programming is a sophisticated programming technique that exercises many aspects of computer science in concert. Because... 详细信息
来源: 评论
HighP5: programming using Partitioned Parallel Processing Spaces
收藏 引用
Journal of the Brazilian computer Society 2024年 第1期30卷 653-687页
作者: Yanhaona, Muhammad Nur Grimshaw, Andrew Mickey, Shahriar Hasan Brac University Bangladesh University of Virginia United States
HighP5 is a new high-level parallel programming language designed to help software developers to achieve three objectives simultaneously: programmer productivity, program portability, and superior program performance.... 详细信息
来源: 评论
Investigating Students' Usage of Self-regulation of Learning Scaffoldings in a computer-based programming Learning Environment  2024
Investigating Students' Usage of Self-regulation of Learning...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Silva, Leonardo Gomes, Anabela Mendes, Antonio Univ Coimbra Coimbra Portugal Coimbra Polytech ISEC Coimbra Portugal
Learning programming is a multifaceted process shaped by diverse factors, including effectively utilizing self-regulation of learning (SRL) skills. However, students frequently require a certain level of support to ef... 详细信息
来源: 评论
Modeling a Problem-Solving Approach Through Computational Thinking for Teaching programming
收藏 引用
IEEE TRANSACTIONS ON EDUCATION 2024年 第2期67卷 282-291页
作者: Zebel-Al Tareq Yusof, Raja Jamilah Raja Univ Malaya Fac Comp Sci & Informat Technol Dept Software Engn Kuala Lumpur 50306 Malaysia
Contribution: A problem-solving approach (PSA) model derived from major computational thinking (CT) concepts. This model can be utilized to formulate solutions for different algorithmic problems and translate them int... 详细信息
来源: 评论
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear programming  8th
Neuron Pairs in Binarized Neural Networks Robustness Verific...
收藏 引用
8th International Symposium on Combinatorial Optimization (ISCO)
作者: Lubczyk, Dymitr Neto, Jose Univ Amsterdam Sci Pk 904 NL-1098 XH Amsterdam Netherlands Inst Polytech Paris Telecom SudParis Samovar 19 Pl Marguerite Perey F-91120 Palaiseau France
In the context of classification, robustness verification of a neural network is the problem which consists in determining if small changes of inputs lead to a change of their assigned classes. We investigate such a p... 详细信息
来源: 评论
Does generative AI help in learning programming: Students' perceptions, reported use and relation to performance
COMPUTERS IN HUMAN BEHAVIOR REPORTS
收藏 引用
computerS IN HUMAN BEHAVIOR REPORTS 2025年 18卷
作者: Lepp, Marina Kaimre, Joosep Univ Tartu Inst Comp Sci Estonia Narva mnt 18 EE-51009 Tartu Estonia
In 2022, the release of ChatGPT marked a significant advancement in the use of Artificial Intelligence (AI) chatbots, particularly impacting fields like computer science and education. The ability to generate code sni... 详细信息
来源: 评论