咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 75,569 篇 工学
    • 65,638 篇 计算机科学与技术...
    • 45,655 篇 软件工程
    • 7,347 篇 控制科学与工程
    • 7,046 篇 电气工程
    • 6,502 篇 信息与通信工程
    • 2,734 篇 机械工程
    • 2,590 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,443 篇 生物医学工程(可授...
    • 1,242 篇 仪器科学与技术
    • 1,179 篇 动力工程及工程热...
    • 1,089 篇 建筑学
    • 1,067 篇 材料科学与工程(可...
    • 1,030 篇 土木工程
    • 996 篇 化学工程与技术
    • 745 篇 交通运输工程
  • 26,749 篇 理学
    • 21,017 篇 数学
    • 3,330 篇 系统科学
    • 2,888 篇 统计学(可授理学、...
    • 2,880 篇 物理学
    • 2,818 篇 生物学
    • 1,061 篇 化学
  • 12,963 篇 管理学
    • 8,751 篇 管理科学与工程(可...
    • 4,441 篇 图书情报与档案管...
    • 3,962 篇 工商管理
  • 7,914 篇 教育学
    • 7,786 篇 教育学
  • 1,445 篇 法学
    • 1,227 篇 社会学
  • 1,357 篇 经济学
    • 1,313 篇 应用经济学
  • 1,326 篇 医学
    • 1,018 篇 临床医学
    • 773 篇 基础医学(可授医学...
  • 849 篇 农学
  • 353 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 101 篇 哲学
  • 27 篇 历史学

主题

  • 9,905 篇 computer science
  • 7,316 篇 programming
  • 4,410 篇 programming prof...
  • 4,334 篇 linear programmi...
  • 4,030 篇 software enginee...
  • 3,868 篇 dynamic programm...
  • 3,699 篇 computer program...
  • 3,313 篇 logic programmin...
  • 2,878 篇 artificial intel...
  • 2,817 篇 application soft...
  • 2,582 篇 genetic programm...
  • 2,575 篇 object oriented ...
  • 2,531 篇 software enginee...
  • 2,180 篇 computer languag...
  • 2,115 篇 parallel program...
  • 2,108 篇 computer archite...
  • 2,048 篇 computational mo...
  • 1,968 篇 programming tech...
  • 1,931 篇 computer program...
  • 1,883 篇 optimization

机构

  • 201 篇 massachusetts in...
  • 87 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 50 篇 school of comput...
  • 48 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of el...
  • 46 篇 东南大学
  • 43 篇 college of compu...
  • 43 篇 department of co...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 41 篇 tsinghua univers...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 54 篇 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,747 篇 英文
  • 6,127 篇 中文
  • 4,549 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118512 条 记 录,以下是1121-1130 订阅
排序:
Analogies and Active Engagement: Introducing computer science  2024
Analogies and Active Engagement: Introducing Computer Scienc...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Parham-Mocello, Jennifer Erwig, Martin Niess, Margaret Oregon State Univ Corvallis OR 97331 USA
We describe a new introductory CS curriculum initiative that uses analogies and active engagement to develop students' conceptual understanding before applying the concepts to programming. We believe that traditio... 详细信息
来源: 评论
A Genetic programming Encoder for Increasing Autoencoder Interpretability  1
收藏 引用
26th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar
作者: Schofield, Finn Slyfield, Luis Lensen, Andrew Victoria Univ Wellington Sch Engn & Comp Sci POB 600 Wellington 6140 New Zealand
Autoencoders are powerful models for non-linear dimensionality reduction. However, their neural network structure makes it difficult to interpret how the high dimensional features relate to the lowdimensional embeddin... 详细信息
来源: 评论
How to Build Your Own ASP-based System?!
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2023年 第1期23卷 299-361页
作者: Kaminski, Roland Romero, Javier Schaub, Torsten Wanko, Philipp Univ Potsdam Potsdam Germany
Answer Set programming, or ASP for short, has become a popular and sophisticated approach to declarative problem solving. Its popularity is due to its attractive modeling-grounding-solving workflow that provides an ea... 详细信息
来源: 评论
Positional Bias Does Not Influence Cartesian Genetic programming with Crossover  18th
Positional Bias Does Not Influence Cartesian Genetic Program...
收藏 引用
18th International Conference on Parallel Problem Solving from Nature (PPSN)
作者: Cui, Henning Heider, Michael Haehner, Joerg Univ Augsburg D-86159 Augsburg Germany
The recombination operator plays an important role in many evolutionary algorithms. However, in Cartesian Genetic programming (CGP), which is part of the aforementioned category, the usefulness of crossover is contest... 详细信息
来源: 评论
VizGroup: An AI-assisted Event-driven System for Collaborative programming Learning Analytics  24
VizGroup: An AI-assisted Event-driven System for Collaborati...
收藏 引用
37th Annual ACM Symposium on User Interface Software and Technology, UIST 2024
作者: Tang, Xiaohang Wong, Sam Pu, Kevin Chen, Xi Yang, Yalong Chen, Yan Department of Computer Science Virginia Tech BlacksburgVA United States University of Washington SeattleWA United States Department of Computer Science University of Toronto TorontoON Canada School of Interactive Computing Georgia Institute of Technology AtlantaGA United States
programming instructors often conduct collaborative learning activities, like Peer Instruction, to foster a deeper understanding in students and enhance their engagement with learning. These activities, however, may n... 详细信息
来源: 评论
programming and 21st century skill development in K-12 schools: A multidimensional meta-analysis
收藏 引用
JOURNAL OF computer ASSISTED LEARNING 2024年 第2期40卷 610-636页
作者: Hu, Linlin Beijing Normal Univ Fac Educ Beijing Peoples R China 19 Xinjiekouwai St Beijing 100091 Peoples R China
Background Study: As interest in programming education continues to grow, more educators are incorporating programming into K-12 classrooms. There is evidence that programming can help develop essential skills for fut... 详细信息
来源: 评论
Towards Live Coding and Instant Feedback on Common Issues in Large Lectures  18th
Towards Live Coding and Instant Feedback on Common Issues in...
收藏 引用
18th European Conference on Technology Enhanced Learning (EC-TEL)
作者: Strickroth, Sven Ludwig Maximilians Univ Munchen Oettingenstr 67 D-80538 Munich Germany
Learning programming requires practice. Timely feedback is one of the main drivers for learning and overcoming obstacles. In large lectures, however, social interactions and feedback are rather limited. Currently, the... 详细信息
来源: 评论
A Study of Multi-Week Scheduling Scheme Based on Integer programming  4
A Study of Multi-Week Scheduling Scheme Based on Integer Pro...
收藏 引用
4th International Conference on Neural Networks, Information and Communication Engineering, NNICE 2024
作者: Cao, Hongwei Fan, Wei Qiu, Yangting Cheng, Lin Chongqing University of Technology Department of Computer Science and Engineering Chongqing China
As the scale of universities continues to expand, the shortage of teaching resources and the need for personalized scheduling for teachers and students has become more pressing. This article addresses the problem of u... 详细信息
来源: 评论
Live Coding Prompts Engagement, But Not Necessarily Grades  2025
Live Coding Prompts Engagement, But Not Necessarily Grades
收藏 引用
56th Technical Symposium on computer science Education
作者: Du, Hanxiang Udokop, Dion Pei, Bo Western Washington Univ Bellingham WA 98225 USA Univ S Florida Tampa FL USA
Live coding has gained its prominence in computer science (CS) classrooms as it enhances learning experiences by providing realtime demonstrations of programming and debugging during lectures. However, live coding may... 详细信息
来源: 评论
Practice of Tutoring Support System Based on Impasse Detection for Face-to-Face and On-Demand programming Exercises  24th
Practice of Tutoring Support System Based on Impasse Detecti...
收藏 引用
24th International Conference on Artificial Intelligence in Education (AIED)
作者: Noguchi, Yasuhiro Ikegame, Tomoki Kogure, Satoru Yamashita, Koichi Yamamoto, Raiya Konishi, Tatsuhiro Shizuoka Univ Johoku 3-5-1 Hamamatsu 4328011 Japan Tokoha Univ Miyakoda 1230 Hamamatsu 4312102 Japan Tokoha Univ Yayoicho6-1 Shizuoka 4228581 Japan
The trial-and-error process by which learners solve problems is crucial in programming exercises. However, in actual practice, potential impasse learners are sometimes left in a predicament in proceeding with the desi... 详细信息
来源: 评论