咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
Jinter: A Hint Generation System for Java Exercises  2023
Jinter: A Hint Generation System for Java Exercises
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Goncalves, Jorge A. Santos, Andre L. Inst Univ Lisboa ISCTE IUL Lisbon Portugal Inst Univ Lisboa ISCTE IUL ISTAR IUL Lisbon Portugal
programming novices often struggle when solving exercises, slowing down progress and causing a dependency on external aid such as a teacher, a more experienced person, or online resources. We present Jinter1, a tool t... 详细信息
来源: 评论
Rules Mining-Based Gene Expression programming for the Multi-Skill Resource Constrained Project Scheduling Problem
收藏 引用
computer Modeling in Engineering & sciences 2023年 第9期136卷 2815-2840页
作者: Min Hu Zhimin Chen Yuan Xia Liping Zhang Qiuhua Tang Key Laboratory of Metallurgical Equipment and Control Technology Ministry of EducationWuhan University of Science and TechnologyWuhan430081China Hubei Key Laboratory of Mechanical Transmission and Manufacturing Engineering Wuhan University of Science and TechnologyWuhan430081China Precision Manufacturing Institute Wuhan University of Science and TechnologyWuhan430081China China Ship Development and Design Center Wuhan430060China
Themulti-skill resource-constrained project scheduling problem(MS-RCPSP)is a significantmanagement science problem that extends from the resource-constrained project scheduling problem(RCPSP)and is integrated with a r... 详细信息
来源: 评论
How do students feel and collaborate during programming activities in the productive failure paradigm?
收藏 引用
computer science EDUCATION 2024年 第3期34卷 353-386页
作者: Savelson, Zachary M. Muldner, Kasia Carleton Univ Dept Cognit Sci Ottawa ON Canada
Background and ContextProductive failure (PF) is a learning paradigm that flips the order of instruction: students work on a problem, then receive a lesson. PF increases learning, but less is known about student emoti... 详细信息
来源: 评论
Exploring programming Task Creation of Primary School Teachers in Training  2023
Exploring Programming Task Creation of Primary School Teache...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Greifenstein, Luisa Heuer, Ute Fraser, Gordon Univ Passau Passau Germany
Introducing computational thinking in primary school curricula implies that teachers have to prepare appropriate lesson material. Typically this includes creating programming tasks, which may overwhelm primary school ... 详细信息
来源: 评论
More (Sema|Meta)phors: Additional Perspectives on Analogy Use from Concurrent programming Students  2023
More (Sema|Meta)phors: Additional Perspectives on Analogy Us...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Bettin, Briana Ott, Linda Hiebel, Julia Michigan Technol Univ Houghton MI 49931 USA
A concurrent computing course is filled with challenges for upperlevel programming students. Understanding concurrency provides deeper insight into many modern computing and programming language behaviors, but the sub... 详细信息
来源: 评论
Connecting programming to Mathematical Generalization: A Pilot Study of Professional Development and Instructional Materials  2023
Connecting Programming to Mathematical Generalization: A Pil...
收藏 引用
Annual ACM Southeast Conference (ACMSE)
作者: Jenkins, Janet T. Stenger, Cynthia L. Stovall, Jessica E. Beesley, Andrea D. Jackson, Jay L. Terwilliger, Mark G. Univ North Alabama Florence AL 35632 USA SRI Int Menlo Pk CA USA
It is important to introduce computer programming concepts to K-12 students in preparation and motivation for college-level programming courses. Furthermore, generalization and abstraction are skills needed in compute... 详细信息
来源: 评论
An Example-Based Instructional Method to Develop Students’ Problem-Solving Efficacy in an Introductory programming Course
收藏 引用
Journal of Information Systems Education 2023年 第1期34卷 1-15页
作者: Menon, Pratibha Department of Computer Science and Information Systems Pennsylvania Western University California PA15419 United States
This paper introduces a teaching process to develop students’ problem-solving and programming efficacy in an introductory computer programming course. The proposed teaching practice provides step-by-step guidelines o... 详细信息
来源: 评论
Intertwined: Enhancing K-12 Pair programming Engagement Using Real-Time Collaboration with Twine  2023
Intertwined: Enhancing K-12 Pair Programming Engagement Usin...
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Iwasaki, Ishin Hardin, Caroline D. Western Washington Univ Bellingham WA 98225 USA
Twine is an open-source tool for creating interactive, nonlinear stories. Minimal programming experience is required for users to create a Twine story, but advanced programmers can extend a Twine story with conditiona... 详细信息
来源: 评论
Building Cross-Sectional Trading Strategies via Geometric Semantic Genetic programming  28th
Building Cross-Sectional Trading Strategies via Geometric S...
收藏 引用
28th European Conference on Applications of Evolutionary Computation, EvoApplications 2025, held as part of EvoStar 2025
作者: Bunjerdtaweeporn, Kritpol Moraglio, Alberto Department of Computer Science University of Exeter Exeter United Kingdom
Cross-sectional trading strategies involves constructing portfolios by comparing expected performance of assets within a group, typically using predicted returns. In this study, we frame the estimation of cross-sectio... 详细信息
来源: 评论
Educating Augmented Programmers
收藏 引用
computer 2023年 第12期56卷 100-104页
作者: Sanchez-Gordon, Mary Tovar, Edmundo Colomo-Palacios, Ricardo Piedra, Nelson Castro, Manuel Ostfold Univ Coll Comp Sci Dept NO-1757 Halden Norway Univ Politecn Madrid Comp Languages & Syst & Software Engn Dept Madrid 28660 Spain Univ Politecn Madrid Madrid 28660 Spain Univ Tecn Particular Loja Loja 110107 Ecuador Spanish Univ Distance Educ Madrid 28040 Spain
There is an artificial intelligence-based technology that has the potential to augment the work of human programmers. This article discusses some capabilities built around generative artificial intelligence and large ... 详细信息
来源: 评论