咨询与建议

限定检索结果

文献类型

  • 81,383 篇 会议
  • 28,673 篇 期刊文献
  • 7,421 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 118,552 篇 电子文献
  • 205 种 纸本馆藏

日期分布

学科分类号

  • 75,684 篇 工学
    • 65,722 篇 计算机科学与技术...
    • 45,707 篇 软件工程
    • 7,356 篇 控制科学与工程
    • 7,058 篇 电气工程
    • 6,524 篇 信息与通信工程
    • 2,740 篇 机械工程
    • 2,602 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,445 篇 生物医学工程(可授...
    • 1,243 篇 仪器科学与技术
    • 1,180 篇 动力工程及工程热...
    • 1,092 篇 建筑学
    • 1,070 篇 材料科学与工程(可...
    • 1,032 篇 土木工程
    • 996 篇 化学工程与技术
    • 746 篇 交通运输工程
  • 26,786 篇 理学
    • 21,027 篇 数学
    • 3,332 篇 系统科学
    • 2,887 篇 统计学(可授理学、...
    • 2,883 篇 物理学
    • 2,828 篇 生物学
    • 1,062 篇 化学
  • 12,987 篇 管理学
    • 8,769 篇 管理科学与工程(可...
    • 4,446 篇 图书情报与档案管...
    • 3,965 篇 工商管理
  • 7,929 篇 教育学
    • 7,800 篇 教育学
  • 1,449 篇 法学
    • 1,230 篇 社会学
  • 1,361 篇 经济学
    • 1,317 篇 应用经济学
  • 1,329 篇 医学
    • 1,018 篇 临床医学
    • 775 篇 基础医学(可授医学...
  • 856 篇 农学
  • 355 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 102 篇 哲学
  • 26 篇 历史学

主题

  • 9,921 篇 computer science
  • 7,322 篇 programming
  • 4,408 篇 programming prof...
  • 4,335 篇 linear programmi...
  • 4,041 篇 software enginee...
  • 3,870 篇 dynamic programm...
  • 3,721 篇 computer program...
  • 3,318 篇 logic programmin...
  • 2,885 篇 artificial intel...
  • 2,816 篇 application soft...
  • 2,583 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,541 篇 software enginee...
  • 2,187 篇 computer languag...
  • 2,123 篇 parallel program...
  • 2,100 篇 computer archite...
  • 2,046 篇 computational mo...
  • 1,977 篇 programming tech...
  • 1,955 篇 computer program...
  • 1,886 篇 optimization

机构

  • 202 篇 massachusetts in...
  • 80 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 49 篇 school of comput...
  • 48 篇 department of co...
  • 47 篇 东南大学
  • 46 篇 北京科技大学
  • 45 篇 department of el...
  • 44 篇 department of co...
  • 44 篇 tsinghua univers...
  • 43 篇 college of compu...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 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
  • 29 篇 kumar amruth n.
  • 29 篇 wang lei
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 28 篇 mengjie zhang
  • 27 篇 jin zhi
  • 26 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 22 篇 zhang tao
  • 22 篇 meseguer josé
  • 22 篇 li yang

语言

  • 107,877 篇 英文
  • 6,137 篇 中文
  • 4,564 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118667 条 记 录,以下是1181-1190 订阅
排序:
dcc --help: Transforming the Role of the Compiler by Generating Context-Aware Error Explanations with Large Language Models  2024
dcc --help: Transforming the Role of the Compiler by Generat...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Taylor, Andrew Vassar, Alexandra Renzella, Jake Pearce, Hammond Univ New South Wales Sydney NSW 2052 Australia
In the challenging field of introductory programming, high enrolments and failure rates drive us to explore tools and systems to enhance student outcomes, especially automated tools that scale to large cohorts. This p... 详细信息
来源: 评论
UNSUPERVISED SAMPLE SELECTION FOR ACTIVE LEARNING WITH QUADRATIC programming
Journal of Applied and Numerical Optimization
收藏 引用
Journal of Applied and Numerical Optimization 2024年 第3期6卷 339-350页
作者: Wang, Yunbin Song, Na Wang, Shiping College of Computer and Data Science Fuzhou University Fuzhou350108 China School of Mechanical Electrical and Information Engineering Putian University Putian351100 China
Graph Neural Networks (GNNs), which gained popularity recently, is facing the problem of reducing the cost of acquiring large datasets. Although a portion of the work combining GNN with active learning has been modera... 详细信息
来源: 评论
ChartCode: A Flowchart-Based Tool for Introductory programming Courses  56
ChartCode: A Flowchart-Based Tool for Introductory Programmi...
收藏 引用
56th Annual SIGCSE Technical Symposium on computer science Education, SIGCSE TS 2025
作者: Xing, Guangming Salem, Tawfiq Liang, Gongbo Western Kentucky University Bowling Green KY United States Purdue University West Lafayette IN United States Texas A&M University - San Antonio San Antonio TX United States
This poster introduces ChartCode, a cloud-based tool designed for introductory programming courses that enables students to code by interacting with flowcharts. With a simple web interface, ChartCode allows users to c... 详细信息
来源: 评论
K-12 teachers' programming attitudes among different disciplines: Analysis of influential factors
收藏 引用
JOURNAL OF computer ASSISTED LEARNING 2024年 第2期40卷 538-556页
作者: Sun, Lihui Zhou, Danhua Minzu Univ China Sch Educ Beijing Peoples R China Beijing Normal Univ Fac Educ Beijing Peoples R China Minzu Univ China Sch Educ 27 Zhongguancun South Ave Beijing Beijing 100081 Peoples R China Beijing Normal Univ Fac Educ 19 Xin Jie Kou Wai St Beijing 100875 Peoples R China
Background Integrating programming in K-12 curriculum has become a global consensus. Teachers are central figures in programming instruction. But the majority of current research focuses on teachers' external teac... 详细信息
来源: 评论
programming Plagiarism Detection with Learner Data  2024
Programming Plagiarism Detection with Learner Data
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Song, Yifan Wang, Yuanxin An, Marshall Bogart, Christopher Sakr, Majd University of Illinois Urbana-Champaign United States Carnegie Mellon University PittsburghPA United States
Courses with programming assignments have long faced the issue of academic integrity violations (AIV) where cheating could harm the outcome of student learning. Checking code similarity in students' final submissi... 详细信息
来源: 评论
An Approach for Detecting Gaming the System Behavior in programming Problem-Solving  19th
An Approach for Detecting Gaming the System Behavior in Prog...
收藏 引用
19th International Conference on Augmented Intelligence and Intelligent Tutoring Systems (ITS)
作者: Barbosa Rocha, Hemilis Joyse de Azevedo Restelli Tedesco, Patricia Cabral Costa, Evandro de Barros Rocha, Julios Suruagi Univ Fed Pernambuco Comp Ctr Cin Recife PE Brazil Univ Fed Alagoas Inst Comp IC Maceio Alagoas Brazil
In ITS, for students' success in carrying out their activities, it is essential to provide scaffolding, such as hints and feedback. Although using the ITS has increased student engagement and effort in the classro... 详细信息
来源: 评论
Local Spaces in Soft Concurrent Constraint programming Oriented to Security  12th
Local Spaces in Soft Concurrent Constraint Programming Orien...
收藏 引用
12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
作者: Bistarelli, Stefano Santini, Francesco Univ Perugia Dipartimento Matemat & Informat Perugia Italy
Concurrent Constraint programming (CCP) originated in the late '80s with Vijay A. Saraswat's work. In the first '00s, a "soft" perspective of the constraint store based on a parametric algebraic ... 详细信息
来源: 评论
Uncovering the skillsets required in computer science jobs using social network analysis
收藏 引用
EDUCATION AND INFORMATION TECHNOLOGIES 2024年 第10期29卷 12759-12780页
作者: Maghsoudi, Mehrdad Shahid Beheshti Univ Fac Management & Accounting Dept Ind & Informat Management Tehran Iran
The rapid growth of technology and computer science, which has led to a surge in demand for skilled professionals in this field. The skill set required for computer science jobs has evolved rapidly, creating challenge... 详细信息
来源: 评论
A novel implicit FEM-MPM coupling framework using convex cone programming for elastoplastic problems
收藏 引用
computer METHODS IN APPLIED MECHANICS AND ENGINEERING 2024年 429卷
作者: Zhou, Xi -Wen Jin, Yin -Fu He, Kai -Yuan Yin, Zhen-Yu Liu, Feng- Tao Shenzhen Univ State Key Lab Intelligent Geotech & Tunnelling Shenzhen 518060 Guangdong Peoples R China Shenzhen Univ Natl Engn Res Ctr Deep Shaft Construct Shenzhen 518060 Guangdong Peoples R China Shenzhen Univ Coll Civil & Transportat Engn Shenzhen 518060 Guangdong Peoples R China Hong Kong Polytech Univ Dept Civil & Environm Engn Kowloon Hong Kong Peoples R China Guilin Univ Technol Sch Civil Engn & Architecture Guilin 541004 Peoples R China
Most existing Finite Element Method and the Material Point Method (FEM-MPM) coupling is designed for explicit solvers. By contrast, implicit schemes offer the advantage of substantially larger time steps while maintai... 详细信息
来源: 评论
Optimizing Wearable Technology Selection for Injury Prevention in Ice and Snow Athletes Using Interval-Valued Bipolar Fuzzy programming
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED computer science AND APPLICATIONS 2024年 第11期15卷 1156-1163页
作者: Li, Aichen Jilin Inst Chem Technol Dept Phys Educ Jilin 132022 Peoples R China
The growing importance of wearable technology in ice and snow sports highlights its role in injury prevention, where environmental hazards elevate injury risks. To address this, we propose a decision-making model usin... 详细信息
来源: 评论