咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
Detecting AI-Generated Pseudocode in High School Online programming Courses Using an Explainable Approach  2025
Detecting AI-Generated Pseudocode in High School Online Prog...
收藏 引用
56th Technical Symposium on computer science Education
作者: Liu, Zifeng Jiao, Xinyue Xing, Wanli Zhu, Wangda Univ Florida Gainesville FL 32611 USA NYU New York NY USA
Despite extensive research on code plagiarism detection in higher education and for programming languages like Java and Python, limited work has focused on K-12 settings, particularly for pseudocode. This study aims t... 详细信息
来源: 评论
Multi-Label Code Error Classification Using CodeT5 and ML-KNN
收藏 引用
IEEE ACCESS 2024年 12卷 100805-100820页
作者: Amin, Md Faizul Ibne Shirafuji, Atsushi Rahman, Md Mostafizer Watanobe, Yutaka Univ Aizu Grad Dept Comp & Informat Syst Aizu Wakamatsu Fukushima 9658580 Japan Dhaka Univ Engn & Technol Informat & Commun Technol Cell Gazipur 1707 Bangladesh
programming is an essential skill in computer science and in a wide range of engineering-related disciplines. However, occurring errors, often referred to as "bugs" in code, can indeed be challenging to iden... 详细信息
来源: 评论
Architectural Implications of GNN Aggregation programming Abstractions
IEEE COMPUTER ARCHITECTURE LETTERS
收藏 引用
IEEE computer ARCHITECTURE LETTERS 2024年 第1期23卷 125-128页
作者: Qi, Yingjie Yang, Jianlei Zhou, Ao Qiao, Tong Hu, Chunming Beihang Univ Sch Comp Sci & Engn Beijing 100191 Peoples R China
Graph neural networks (GNNs) have gained significant popularity due to the powerful capability to extract useful representations from graph data. As the need for efficient GNN computation intensifies, a variety of pro... 详细信息
来源: 评论
Projective Hedging Algorithms for Multistage Stochastic programming, Supporting Distributed and Asynchronous Implementation
收藏 引用
OPERATIONS RESEARCH 2025年 第1期73卷 iii-vii, 1-582, C2-C3页
作者: Eckstein, Jonathan Watson, Jean-Paul Woodruff, David L. Rutgers State Univ Rutgers Business Sch Newark & New Brunswick Dept Management Sci & Informat Syst Piscataway NJ 08854 USA Lawrence Livermore Natl Lab Ctr Appl Sci Comp & Global Secur Directorate Livermore CA 94550 USA Univ Calif Davis Grad Sch Management Davis CA 95616 USA
We propose a decomposition algorithm for multistage stochastic programming that resembles the progressive hedging method of Rockafellar and Wets but is provably capable of several forms of asynchronous operation. We d... 详细信息
来源: 评论
Cultural Viewpoint Metaphors Resignification to Teach programming
收藏 引用
INTERACTING WITH computerS 2023年 第2期35卷 153-164页
作者: Correa, Joseline Melo Mota, Marcelle Pereira Fed Univ Para R Augusto Correa Belem Para Brazil
Technologies permeate contemporary society, and the ability to use computer science concepts in problem-solving is essential to everyone. This paper presents an epistemic tool of semiotic engineering whose meaning is ... 详细信息
来源: 评论
Laying the foundations of programming and system design
NATURE COMPUTATIONAL SCIENCE
收藏 引用
NATURE COMPUTATIONAL science 2023年 第10期3卷 813-814页
作者: Rastogi, Ananya Nature Computational Sciencehttps://***/natcomputsci/
Dr Barbara Liskov - a mostly retired Institute Professor at the Massachusetts Institute of Technology, a pioneer in object-oriented programming and distributed systems and the winner of the 2008 ACM A. M. Turing Award...
来源: 评论
Embodied design: A framework for teaching practices focused on the early development of computational thinking
收藏 引用
computer APPLICATIONS IN ENGINEERING EDUCATION 2023年 第2期31卷 365-375页
作者: Deng, Wenbo Guo, Xipei Cheng, Weihua Zhang, Wenlan Shaanxi Normal Univ Sch Educ Xian Shaanxi Peoples R China Shaanxi Normal Univ Key Lab Modern Teaching Technol Minist Educ Xian Shaanxi Peoples R China Xian Int Studies Univ Xian Shaanxi Peoples R China Shaanxi Normal Univ Sch Educ 199 Changan South Rd Xian Shaanxi Peoples R China
Computational thinking, as an essential competency for the future development of citizens, is an important goal of computer science instruction. Although studies have shown that early exposure to computer programming ... 详细信息
来源: 评论
Introduction to programming using Clean  2023
Introduction to Programming using Clean
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Kim, Yuri Lee, Chaeyeon Choi, Jihyun Oh, Seoyeon Park, Seongbin Korea Univ Seoul South Korea
In this poster, we report our on-going project that aims to design a good set of course materials for introduction to programming using a functional programming language, Clean[2]. While procedural languages such as C... 详细信息
来源: 评论
Large Language Models in computer science Classrooms: Ethical Challenges and Strategic Solutions
收藏 引用
APPLIED scienceS-BASEL 2025年 第4期15卷 1793-1793页
作者: Azoulay, Rina Hirst, Tirza Reches, Shulamit Jerusalem Coll Technol Dept Comp Sci 21 Havaad Haleumi St IL-9372115 Jerusalem Israel Jerusalem Coll Technol Dept Math 21 Havaad Haleumi St IL-9372115 Jerusalem Israel Jerusalem Michlalah Coll Dept Math IL-9642845 Jerusalem Israel
The integration of large language models (LLMs) into educational settings represents a significant technological breakthrough, offering substantial opportunities alongside profound ethical challenges. Higher education... 详细信息
来源: 评论
FlexPDA:A Flexible programming Framework for Deep Learning Accelerators
收藏 引用
Journal of computer science & Technology 2022年 第5期37卷 1200-1220页
作者: Lei Liu Xiu Ma Hua-xiao Liu Guang-li Li Lei Liu College of Computer Science and Technology Jilin UniversityChangchunChina Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchunChina State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of SciencesBeijingChina University of Chinese Academy of Sciences BeijingChina
There are a wide variety of intelligence accelerators with promising performance and energy efficiency,deployed in a broad range of applications such as computer vision and speech ***,programming productivity hinders ... 详细信息
来源: 评论