咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
Experiences Trialling a Novel Block-to-text Environment in a Summer School Context  29
Experiences Trialling a Novel Block-to-text Environment in a...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Strong, Glenn North, Ben Gillespie, Brian Fiori, Sara Wallace, Duncan Bresnihan, Nina Trinity Coll Dublin Dublin Ireland Technol Univ Dublin Dublin Ireland
In this paper, we investigate student experiences when using the Pytch programming environment. Pytch is a novel system we are developing to ease the transition from block-based to text-based programming through the p... 详细信息
来源: 评论
Effectiveness of the Programmed Visual Contents Comparison Method for Two Phase Collaborative Learning in computer programming Education: A Case Study  10th
Effectiveness of the Programmed Visual Contents Comparison M...
收藏 引用
29th International Conference on Database Systems for Advanced Applications (DASFAA)
作者: Thanh Ha Nguyen Sun, Yi Nishida, Takeshi Wang, Xiaonan Ohtsuki, Kazuhiro Kiyomitsu, Hidenari Kobe Univ Kobe Hyogo Japan Kobe Inst Comp Kobe Hyogo Japan
This paper introduces the Programmed Visual Content Comparison (PVCC) for collaborative programming learning. The PVCC is based on comparing two displayed visual objects produced by programming. This feature enables c... 详细信息
来源: 评论
Design and implementation of the dual-center programming platform for ternary optical computer and electronic computer
收藏 引用
SCIENTIFIC REPORTS 2024年 第1期14卷 1-15页
作者: Zhang, Sulan Fan, Xin Li, Shuang Liu, Jian Wang, Xiaolin Teng, Zi Zhang, Chunhua Jiaxing Univ Sch Informat Sci & Engn Jiaxing 314000 Zhejiang Peoples R China Jiaxing Univ Key Lab Med Elect & Digital Hlth Zhejiang Prov Jiaxing 314000 Zhejiang Peoples R China Shanghai Normal Univ Coll Informat Mech & Elect Engn Shanghai 200234 Peoples R China Shanghai Univ Sch Comp Engn & Sci Shanghai 200444 Peoples R China State Grid Chizhou Power Supply Co 88 Jianshe West Rd Chizhou 247000 Anhui Peoples R China
In order to utilize the advantages of optical computing and promote the application and popularization of Ternary Optical computer (TOC), this paper proposes a dual-center programming model consisting of electronic pr... 详细信息
来源: 评论
Parsons Problems for Professional Learners  29
Parsons Problems for Professional Learners
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Chee, Geela Venise Fabic Atiq, Arzoo Zable, Alex Burridge, Joshua Nawaz, Sadia Univ Melbourne Melbourne Australia Monash Univ Melbourne Australia
Parsons problems are well-regarded activities for scaffolding beginner programmers. We present a technique for employing Parsons problems in a cohort of professionals aiming to upskill in programming and data analytic... 详细信息
来源: 评论
Thoughts on Learning Human and programming Languages
收藏 引用
COMPUTING IN science & ENGINEERING 2024年 第1期26卷 77-80页
作者: Katz, Daniel S. Carver, Jeffrey C. Univ Illinois Comp Sci Elect & Comp Engn & Informat Sci Urbana IL 61801 USA Univ Alabama Comp Sci Tuscaloosa AL 35487 USA
This is a virtual dialog between Jeffrey C. Carver and Daniel S. Katz on how people learn programming languages. It's based on a talk Jeff gave at the first US-RSE Conference (US-RSE'23), which led Dan to thin... 详细信息
来源: 评论
Mining Jewels Together: Debating about programming Threshold Concepts in Large Classes  2024
Mining Jewels Together: Debating about Programming Threshold...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Selva, Manuel Broquedis, Francois Univ Grenoble Alpes CNRS INRIA Grenoble INPLIG F-38000 Grenoble France
computer science has its threshold concepts as any academic discipline that students struggle to understand deeply. In this work, we report on using an active learning method called scientific debate to teach programm... 详细信息
来源: 评论
Engaging K-12 Students with Flow-Based Music programming: An Experience Report on Its Impact on Teaching and Learning  2025
Engaging K-12 Students with Flow-Based Music Programming: An...
收藏 引用
56th Technical Symposium on computer science Education
作者: Liu, Zifeng Zhang, Shan Israel, Maya Smith, Robert Xing, Wanli Minces, Victor Univ Florida Gainesville FL USA Univ Calif San Diego San Diego CA 92103 USA
Music and computer science (CS) have profound historical and structural connections, with programming music offering a promising avenue for engaging children in CS through creative expression. To foster this engagemen... 详细信息
来源: 评论
Automated Evaluation of Games programmed in computer science Assessments The use of CodeRunner to validate code written in the Processing Language  29
Automated Evaluation of Games programmed in Computer Science...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Meiller, Dieter Wiehl, Michael Baeuml, Lucia Hsch Amberg Weiden Ostbayer Tech Dept EMI Amberg Germany
In our media studies program, the introductory lecture for computer science involves programming a game in the Processing language. The final test also assessed the ability to program games. Up until now, these tests ... 详细信息
来源: 评论
A Proposal to Test a Strategy of Interdisciplinary Transfer between Algebra and computer science for Self-Efficacy, Optimized Cognitive Load, and Conceptual Understanding  29
A Proposal to Test a Strategy of Interdisciplinary Transfer ...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Cowit, Noah Q. Univ Colorado Boulder Dept Informat Sci Boulder CO 80309 USA
This work details an experimental study to test an educational method in introductory programming designing around interdisciplinary transfer between algebra and computer science to target several problems commonly id... 详细信息
来源: 评论
Quantum Control Machine The Limits of Control Flow in Quantum programming
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2024年 第OOPSLA期8卷 1-28页
作者: Yuan, Charles Villanyi, Agnes Carbin, Michael MIT CSAIL 32 Vassar St Cambridge MA 02139 USA
Quantum algorithms for tasks such as factorization, search, and simulation rely on control flow such as branching and iteration that depends on the value of data in superposition. High-level programming abstractions f... 详细信息
来源: 评论