咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
Construction and Preliminary Validation of a Dynamic programming Concept Inventory  2025
Construction and Preliminary Validation of a Dynamic Program...
收藏 引用
56th Technical Symposium on computer science Education
作者: Ferland, Matthew Rao, Varun Nagaraj Arora, Arushi van der Poel, Drew Luu, Michael Huynh, Randy Reiber, Frederick Ossman, Sandra Poulsen, Seth Shindler, Michael Dickinson Coll Carlisle PA 17013 USA Princeton Univ Princeton NJ USA Univ Calif Irvine Irvine CA USA Northeastern Univ Boston MA USA Boston Univ Boston MA USA Utah State Univ Logan UT USA
Concept inventories are standardized assessments that evaluate student understanding of key concepts within academic disciplines. While prevalent across STEM fields, their development lags for advanced computer scienc... 详细信息
来源: 评论
On Program Synthesis and Large Language Models
收藏 引用
Communications of the ACM 2025年 第1期68卷 33-35页
作者: Hüttel, Hans University of Copenhagen Department of Computer Science Denmark
Why it is unlikely new developments in machine intelligence will eventually make programming obsolete. © 2025 ACM.
来源: 评论
Computing Trajectories: Pathways into computer science and programming Experience in the First Year
Computing Trajectories: Pathways into Computer Science and P...
收藏 引用
作者: Darren K. Maczka Virginia Polytechnic Institute and State University
学位级别:博士
Universities across the United States have been experiencing an increased demand for com- puter science majors. Adjusting curriculum to meet demand runs the risk of hindering ongoing efforts to broaden participation i... 详细信息
来源: 评论
Incentivizing Good programming Practices: The Impact of Early Program Submission on Student Course and Exam Performance  2025
Incentivizing Good Programming Practices: The Impact of Earl...
收藏 引用
56th Technical Symposium on computer science Education
作者: Shirazi, Shirin Haji Amin Pang, Ashley Knight, Allan Salloum, Mariam Univ Calif Riverside Comp Sci Riverside CA 92521 USA
Motivating students to engage with a course, encouraging positive behavior, and inspiring them to take an active role in their educational process - particularly at the beginning of the course are universal challenges... 详细信息
来源: 评论
The Impact of Connecting Worked Examples and Completion Problems for Introductory programming Practice  19th
The Impact of Connecting Worked Examples and Completion Prob...
收藏 引用
19th European Conference on Technology Enhanced Learning (EC-TEL)
作者: Akhuseyinoglu, Kamil Klasnja-Milicevic, Aleksandra Brusilovsky, Peter Univ Pittsburgh Pittsburgh PA 15260 USA Univ Novi Sad Novi Sad Serbia
Worked examples have consistently demonstrated their value in education, serving as the model solutions for solving specific problem types. Past studies indicate that combining worked examples with practice problems i... 详细信息
来源: 评论
Predicting Rough Error Causes in Novice Programmers Using Cognitive Level  20th
Predicting Rough Error Causes in Novice Programmers Using Co...
收藏 引用
20th International Conference on Intelligent Tutoring Systems (ITS)
作者: Kim, Deok Yeop Lee, Woo Jin Kyungpook Natl Univ Sch Comp Sci & Engn Daegu South Korea
Novice programmers face various errors during the learning of a programming language. Most of them need help from instructors since they lack error resolution skills. On the other side, instructors spend a lot of time... 详细信息
来源: 评论
An exploratory study on the usage of quantum programming languages
收藏 引用
science of computer programming 2025年 240卷
作者: Ferreira, Felipe Campos, Jose Univ Lisbon Fac Ciencias LASIGE Lisbon Portugal Univ Porto Fac Engn Porto Portugal
As in the classical computing realm, quantum programming languages in quantum computing allow one to instruct a quantum computer to perform certain tasks. In the last 25 years, many imperative, functional, and multi-p... 详细信息
来源: 评论
Structural Refactorings for Exploring Dependently Typed programming  25th
Structural Refactorings for Exploring Dependently Typed Prog...
收藏 引用
25th International Symposium on Trends in Functional programming
作者: Barwell, Adam D. Brown, Christopher Chang, Mun See Theocharis, Constantine Thompson, Simon Univ St Andrews Sch Comp Sci St Andrews Fife Scotland Univ Kent Canterbury Kent England Eotvos Lorand Univ Budapest Hungary
Dependent types provide users with the tools to embody specifications in types, with implementations carrying proofs that the specifications are met. One approach to developing programs in a dependently typed language... 详细信息
来源: 评论
An interactive programming learning environment supporting paper computing and immediate evaluation for making thinking visible and traceable
收藏 引用
INTERACTIVE LEARNING ENVIRONMENTS 2024年 第9期32卷 5253-5266页
作者: Zhuang, YungYu Lin, Yu-Hsuan Liyanawatta, Mahesh Saputro, Andito Haryo Utami, Yuniati Dwi Wang, Jen-Hang Natl Cent Univ Dept Comp Sci & Informat Engn Taoyuan City Taiwan
computer programming is essential nowadays but still challenging to learn due to its invisible thinking. Current programming environments are mostly designed for operating on computers directly to learn concrete progr... 详细信息
来源: 评论
Determinant factors of distance self-learning performance on computer programming language education - a concept map approach
收藏 引用
Education and Information Technologies 2024年 第7期29卷 8111-8130页
作者: Simarmata, Melissa T. A. Lee, Gwo-Guang Ajicahyadi, Hoky Wang, Kung-Jeng Department of Industrial Management National Taiwan University of Science and Technology Taipei 106 Taiwan Artificial Intelligence for Operations Management Research Center National Taiwan University of Science and Technology Taipei 106 Taiwan Department of Information Management National Taiwan University of Science and Technology Taipei 106 Taiwan
Teaching computer programming language remotely presents particular difficulties due to its requirement for abstract and logical thinking. There is a dearth of research specifically examining the potential factors tha... 详细信息
来源: 评论