咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是701-710 订阅
Incorporating Coding into the Classroom: An Important Component of Modern Bioinformatics Instruction
收藏 引用
Journal of College science Teaching 2025年 第1期54卷 69-77页
作者: Orench-Rivera, Nichole Bednarski, April Craig, Paul Talbot, Austin School of Health Sciences Lasell University Auburndale MA United States Washington University in St. Louis St. Louis MO United States School of Chemistry & Materials Science Rochester Institute of Technology Rochester NY United States Pillar Diagnostics Natick MA United States
Advancements in computation and machine learning have revolutionized science, enabling researchers to address once insurmountable challenges. Bioinformatics, a field that heavily relies on computer-driven analysis of ... 详细信息
来源: 评论
Efficient diagonalization of symmetric matrices associated with graphs of small treewidth
收藏 引用
THEORETICAL computer science 2025年 1040卷
作者: Furer, Martin Hoppen, Carlos Trevisan, Vilmar Penn State Univ Dept Comp Sci & Engn State Coll PA 16802 USA Univ Fed Rio Grande Do Sul Inst Matemat & Estat Porto Alegre Brazil
Let M = (m(ij)) be a symmetric matrix of order n whose elements lie in an arbitrary field F, and let G be the graph with vertex set {1,& mldr;, n} such that distinct vertices i and j are adjacent if and only if m(... 详细信息
来源: 评论
"Even Though I Went Through Everything, I Didn't Feel Like I Learned a Lot": Insights From Experiences of Non-computer science Students Learning to Code  25
"Even Though I Went Through Everything, I Didn't Feel Like I...
收藏 引用
2025 CHI Conference on Human Factors in Computing Systems, CHI 2025
作者: Ali, Murtaza Dasgupta, Sayamindu Human-Centered Design and Engineering University of Washington SeattleWA United States
programming education is increasingly seen as an important curricular component of non-computer science (CS) disciplines at the undergraduate level. While existing research has studied non-CS majors' experiences i... 详细信息
来源: 评论
A Unified programming Model For Heterogeneous Computing With CPU And Accelerator Technologies: An Axiomatic Approach  17
A Unified Programming Model For Heterogeneous Computing With...
收藏 引用
17th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2024
作者: Xiong, Yuqing Shanghai Institute of Technology Computer Science Department Shanghai China
A new theory for computer science based on an axiomatic approach is created in this paper. We take it as a postulate that an accelerator and a program executting on it can be regarded as a general printer. From it, we... 详细信息
来源: 评论
TA Role Change towards Guiding Students' Self-directed Learning through Automation of Instruction for CS-Novices  2023
TA Role Change towards Guiding Students' Self-directed Learn...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Faessler, Lukas Dahinden, Markus ETH Zuerich Dept Comp Sci Zurich Switzerland
Introductory programming courses at university level often face the challenge of having to initiate learning to large student groups with a wide range of prior knowledge. We present a teaching concept that supports in... 详细信息
来源: 评论
A Peer Grading Approach for Open-ended programming Projects Based on Binary System and Swiss System  2024
A Peer Grading Approach for Open-ended Programming Projects ...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Zhang, Liang Chen, Tianyi Zong, Yue Gao, Xiaopeng Beihang Univ Beijing Peoples R China
Peer grading is widely used in high education as effective active learning but still faces challenges. We present the peer grading approach for Open-ended programming Projects based on the binary and Swiss systems. Fi... 详细信息
来源: 评论
Web-Based Application for GUI programming Learning Through Reverse Engineering Method
Web-Based Application for GUI Programming Learning Through R...
收藏 引用
2024 International Conference on Information Technology Systems and Innovation, ICITSI 2024
作者: Tunardi, Yovita Yulianto, Budi Layona, Rita Bina Nusantara University School of Computer Science Computer Science Department Jakarta Indonesia
GUI (Graphical User Interface) programming is the process of developing (coding) a graphical interface application. GUI-based application, which replaces TUI (Textual User Interface), allows users to interact with a p... 详细信息
来源: 评论
Lexicographic Ranking Supermartingales with Lazy Lower Bounds  36th
Lexicographic Ranking Supermartingales with Lazy Lower Bound...
收藏 引用
36th International Conference on computer-Aided Verification (CAV)
作者: Takisaka, Toru Zhang, Libo Wang, Changjiang Liu, Jiamou Univ Elect Sci & Technol China Chengdu Peoples R China Univ Auckland Auckland New Zealand
Lexicographic Ranking SuperMartingale (LexRSM) is a probabilistic extension of Lexicographic Ranking Function (LexRF), which is a widely accepted technique for verifying program termination. In this paper, we are the ... 详细信息
来源: 评论
Exploring intrinsic cognitive load in the programming process: a two dimensional approach based on element interactivity
收藏 引用
INTERACTIVE LEARNING ENVIRONMENTS 2024年 第5期32卷 2045-2063页
作者: Cakiroglu, Unal Bilgi, Seval Trabzon Univ Fatih Fac Educ Comp Educ & Instruct Dept Trabzon Turkiye
The aim of this explanatory study is to identify the causes of intrinsic cognitive load in programming process. For this purpose, a method based on two dimensions;programming knowledge types (syntactic, semantic, and ... 详细信息
来源: 评论
Tree-Based Genetic programming for Evolutionary Analog Circuit with Approximate Shapley Value  44th
Tree-Based Genetic Programming for Evolutionary Analog Circ...
收藏 引用
44th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, SGAI 2024
作者: Shi, Xinming Minku, Leandro L. Yao, Xin School of Electronics Electrical Engineering and Computer Science Queen’s University Belfast Belfast United Kingdom School of Computer Science University of Birmingham Birmingham United Kingdom School of Data Science Lingnan University China
The automated design of analog circuits presents a significant challenge due to the complexity of circuit topology and parameter selection. Traditional evolutionary algorithms, such as Genetic programming (GP), have s... 详细信息
来源: 评论