咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 120,833 篇 电子文献
  • 211 种 纸本馆藏

日期分布

学科分类号

  • 77,094 篇 工学
    • 66,860 篇 计算机科学与技术...
    • 46,396 篇 软件工程
    • 7,451 篇 控制科学与工程
    • 7,134 篇 电气工程
    • 6,538 篇 信息与通信工程
    • 2,774 篇 机械工程
    • 2,639 篇 电子科学与技术(可...
    • 2,095 篇 生物工程
    • 1,454 篇 生物医学工程(可授...
    • 1,280 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,115 篇 材料科学与工程(可...
    • 1,109 篇 建筑学
    • 1,048 篇 土木工程
    • 1,028 篇 化学工程与技术
    • 768 篇 交通运输工程
  • 27,336 篇 理学
    • 21,248 篇 数学
    • 3,371 篇 系统科学
    • 2,965 篇 物理学
    • 2,953 篇 生物学
    • 2,948 篇 统计学(可授理学、...
    • 1,091 篇 化学
  • 13,189 篇 管理学
    • 8,913 篇 管理科学与工程(可...
    • 4,488 篇 图书情报与档案管...
    • 4,016 篇 工商管理
  • 8,071 篇 教育学
    • 7,925 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,412 篇 经济学
    • 1,357 篇 应用经济学
  • 1,380 篇 医学
    • 1,024 篇 临床医学
    • 806 篇 基础医学(可授医学...
  • 921 篇 农学
  • 376 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,331 篇 computer science
  • 7,417 篇 programming
  • 4,403 篇 computer program...
  • 4,371 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,082 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,642 篇 software enginee...
  • 2,582 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,025 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,891 篇 optimization

机构

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

作者

  • 77 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 45 篇 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,635 篇 英文
  • 6,088 篇 中文
  • 3,027 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120951 条 记 录,以下是891-900 订阅
排序:
A Blueprint for Q-CS1, an Introductory Quantum programming Course  56
A Blueprint for Q-CS1, an Introductory Quantum Programming C...
收藏 引用
56th Annual SIGCSE Technical Symposium on computer science Education, SIGCSE TS 2025
作者: Adams, Austin J. Borela, Rodrigo Young, Jeffrey S. Conte, Thomas M. Georgia Institute of Technology Atlanta GA United States
Despite the need to build a quantum workforce, current courses that introduce quantum programming are rooted in quantum notation that students may find intimidating. We propose Q-CS1, a quantum equivalent of CS1 that ... 详细信息
来源: 评论
Data-Driven Evidence-Based Syntactic Sugar Design  24
Data-Driven Evidence-Based Syntactic Sugar Design
收藏 引用
44th ACM/IEEE International Conference on Software Engineering, ICSE 2024
作者: Obrien, David Dyer, Robert Nguyen, Tien N. Rajan, Hridesh Iowa State University Dept. of Computer Science AmesIA United States University of Nebraska-Lincoln LincolnNE United States University of Texas at Dallas Computer Science Department DallasTX United States
programming languages are essential tools for developers, and their evolution plays a crucial role in supporting the activities of developers. One instance of programming language evolution is the introduction of synt... 详细信息
来源: 评论
Large Language Models in computer science Education: A Systematic Literature Review  2025
Large Language Models in Computer Science Education: A Syste...
收藏 引用
56th Technical Symposium on computer science Education
作者: Raihan, Nishat Siddiq, Mohammed Latif Santos, Joanna C. S. Zampieri, Marcos George Mason Univ Fairfax VA USA Univ Notre Dame Notre Dame IN USA
Large language models (LLMs) are becoming increasingly better at a wide range of Natural Language Processing tasks (NLP), such as text generation and understanding. Recently, these models have extended their capabilit... 详细信息
来源: 评论
Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages  2023
Mind the Error Message: an Inverted Quiz Format to Direct Le...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Tsunoda, Kazuhiro Masuhara, Hidehiko Cong, Youyou Tokyo Inst Technol Sch Comp Tokyo Japan
Novice learners of programming tend to neglect error messages, even though the messages have a lot of useful information for solving problems. While there exists research that aims to user-friendly error messages by c... 详细信息
来源: 评论
Studying Developer Eye Movements to Measure Cognitive Workload and Visual Effort for Expertise Assessment
收藏 引用
Proceedings of the ACM on Human-computer Interaction 2023年 第ETRA期7卷 1-18页
作者: Aljehane, Salwa D. Sharif, Bonita Maletic, Jonathan I. University of Tabuk Department of Computer Science Tabuk Saudi Arabia Bonita Sharif University of Nebraska Lincoln School of Computing LincolnNE68588 United States Jonathan I. Maletic Kent State University Department of Computer Science KentOH44240 United States
Eye movement data provides valuable insights that help test hypotheses about a software developer's comprehension process. The pupillary response is successfully used to assess mental processing effort and attenti... 详细信息
来源: 评论
Mutating Clingo's AST with clingabomino  36th
Mutating Clingo's AST with clingabomino
收藏 引用
36th International Conference on Testing Software and Systems
作者: Prikler, Liliana Marie Wotawa, Franz Graz Univ Technol Inst Software Technol A-8010 Graz Austria
Although answer set programming has been a tried way of problem-solving for over thirty years, few tools and methodologies exist today to test it rigorously. Previous research suggests that mutation testing is able to... 详细信息
来源: 评论
A study of emergency logistics based on robust optimization in uncertain environments  24
A study of emergency logistics based on robust optimization ...
收藏 引用
5th International Conference on computer science and Management Technology, ICCSMT 2024
作者: Li, Xinyue Guan, Zhongliang Beijing Jiaotong University Beijing China
This paper determines the location of emergency supply points by constructing a multi-stage stochastic programming model with the goal of minimizing rescue costs. and reserves, and considers the robust optimization mo... 详细信息
来源: 评论
Evolving Scheduling Heuristics for Energy-Efficient Dynamic Workflow Scheduling in Cloud via Genetic programming Hyper-Heuristics  20th
Evolving Scheduling Heuristics for Energy-Efficient Dynamic ...
收藏 引用
20th International Conference on Intelligent Computing (ICIC)
作者: Sun, Zaixing Zhang, Fangfang Mei, Yi Huang, Hejiao Gu, Chonglin Qian, Bin Zhang, Mengjie Harbin Inst Technol Shenzhen Shenzhen 518000 Peoples R China Victoria Univ Wellington Wellington 6140 New Zealand Kunming Univ Sci & Technol Kunming 650500 Yunnan Peoples R China
With the rapid development of cloud computing, the issue of how to reduce energy consumption has attracted a great deal of attention. Especially for dynamic workflow scheduling, dependency constraints between tasks an... 详细信息
来源: 评论
Advanced Machine Learning and Gene Expression programming Techniques for Predicting CO_(2)-Induced Alterations in Coal Strength
收藏 引用
computer Modeling in Engineering & sciences 2025年 第4期143卷 153-183页
作者: Zijian Liu Yong Shi ChuanqiLi Xiliang Zhang Jian Zhou Manoj Khandelwal School of Resources and Safety Engineering Central South UniversityChangsha410083China Changsha Institute of Mining Research Co. Ltd.Changsha410012China State Key Laboratory of Safety and Health for Metal Mines Ma’anshan243000China Institute of Innovation Science and SustainabilityFederation University AustraliaBallaratVIC 3350Australia
Given the growing concern over global warming and the critical role of carbon dioxide(CO_(2))in this phenomenon,the study of CO_(2)-induced alterations in coal strength has garnered significant attention due to its im... 详细信息
来源: 评论
Can We Do Better at Teaching Mathematics to Undergraduate Atmospheric science Students?
收藏 引用
BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY 2024年 第3期105卷 E680-E685页
作者: Page, Elizabeth M. Shen, Samuel S. P. Somerville, Richard C. J. Univ Corp Atmospher Res Boulder CO USA San Diego State Univ San Diego CA 92182 USA Univ Calif San Diego Scripps Inst Oceanog La Jolla CA 92093 USA
At the 2019 annual Members Meeting of UCAR, an informal survey was made during a well-attended breakout session organized by the UCAR COMET program. The following polling question was posed to an audience of departmen... 详细信息
来源: 评论