咨询与建议

限定检索结果

文献类型

  • 81,293 篇 会议
  • 30,373 篇 期刊文献
  • 7,434 册 图书
  • 1,643 篇 学位论文
  • 201 篇 科技报告
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,833 篇 电子文献
  • 211 种 纸本馆藏

日期分布

学科分类号

  • 77,094 篇 工学
    • 66,860 篇 计算机科学与技术...
    • 46,396 篇 软件工程
    • 7,451 篇 控制科学与工程
    • 7,134 篇 电气工程
    • 6,538 篇 信息与通信工程
    • 2,774 篇 机械工程
    • 2,639 篇 电子科学与技术(可...
    • 2,095 篇 生物工程
    • 1,454 篇 生物医学工程(可授...
    • 1,280 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,115 篇 材料科学与工程(可...
    • 1,109 篇 建筑学
    • 1,048 篇 土木工程
    • 1,028 篇 化学工程与技术
    • 768 篇 交通运输工程
  • 27,336 篇 理学
    • 21,248 篇 数学
    • 3,371 篇 系统科学
    • 2,965 篇 物理学
    • 2,953 篇 生物学
    • 2,948 篇 统计学(可授理学、...
    • 1,091 篇 化学
  • 13,189 篇 管理学
    • 8,913 篇 管理科学与工程(可...
    • 4,488 篇 图书情报与档案管...
    • 4,016 篇 工商管理
  • 8,071 篇 教育学
    • 7,925 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,412 篇 经济学
    • 1,357 篇 应用经济学
  • 1,380 篇 医学
    • 1,024 篇 临床医学
    • 806 篇 基础医学(可授医学...
  • 921 篇 农学
  • 376 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,331 篇 computer science
  • 7,417 篇 programming
  • 4,403 篇 computer program...
  • 4,371 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,082 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,642 篇 software enginee...
  • 2,582 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,025 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,891 篇 optimization

机构

  • 420 篇 massachusetts in...
  • 82 篇 department of co...
  • 72 篇 华中科技大学
  • 56 篇 college of compu...
  • 47 篇 department of co...
  • 47 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 东南大学
  • 45 篇 department of el...
  • 43 篇 college of compu...
  • 43 篇 tsinghua univers...
  • 43 篇 school of comput...
  • 42 篇 school of comput...
  • 41 篇 institute of inf...
  • 41 篇 univ michigan an...
  • 41 篇 georgia inst tec...
  • 41 篇 department of co...
  • 40 篇 huazhong univers...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 77 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 45 篇 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,635 篇 英文
  • 6,088 篇 中文
  • 3,027 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120951 条 记 录,以下是1021-1030 订阅
排序:
From Blocks to Text: Bridging programming Misconceptions
收藏 引用
JOURNAL OF EDUCATIONAL COMPUTING RESEARCH 2024年 第5期62卷 1302-1326页
作者: Mladenovic, Monika Zanko, Zana Zaharija, Goran Univ Split Fac Sci Split Croatia Elementary Sch Mejasi Split Croatia Univ Split Fac Sci Dept Comp Sci Rudera Boskovica 33 Split 21000 Croatia
The use of a pedagogical approach mediated transfer with the bridging method has been successful in facilitating the transitions from block-based to text-based programming languages. Nevertheless, there is a lack of r... 详细信息
来源: 评论
Reducing Barriers to Entry by Removing Prerequisites for a CS1 Introductory programming Course  2024
Reducing Barriers to Entry by Removing Prerequisites for a C...
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Das, Udayan Fulton, Chris Mathermatics and Computer Science Saint Mary's College of California MoragaCA United States School of Continuing and Professional Studies Loyola University Chicago ChicagoIL United States
Introductory programming has evolved in many places to become a CS0 course, enabling students to get their feet wet with programming without completing significant math coursework. A scan of CS programs shows that a m... 详细信息
来源: 评论
Improved Program Repair Methods using Refactoring with GPT Models  2024
Improved Program Repair Methods using Refactoring with GPT M...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Ishizue, Ryosuke Sakamoto, Kazunori Washizaki, Hironori Fukazawa, Yoshiaki Waseda Univ Tokyo Japan NTT DATA Grp Corp Tokyo Japan WillBooster Inc Tokyo Japan Tokyo Online Univ Tokyo Japan
Teachers often utilize automatic program repair methods to provide feedback on submitted student code using model answer code. A state-of-the-art tool is Refactory, which achieves a high repair success rate and small ... 详细信息
来源: 评论
Cascading Power  1st
Cascading Power
收藏 引用
1st International Workshop on Mechanism Design in Social Networks
作者: Agotnes, Thomas Christoff, Zoe Univ Bergen Bergen Norway Shanxi Univ Taiyuan Peoples R China Univ Groningen Groningen Netherlands
Cascading phenomena in social networks happen when the adoption of some behaviour by initial adopters causes some of their immediate friends to adopt which again causes some of their friends' friends to adopt, and... 详细信息
来源: 评论
Mode Management of Peripherals Based on State Transition Model in FRP Language for Embedded Systems
Computer Software
收藏 引用
computer Software 2025年 第1期42卷 40-53页
作者: Takimoto, Satoshi Moriguchi, Sosuke Watanabe, Takuo Department of Computer Science Tokyo Institute of Technology Institute of Science Tokyo Japan
XStorm, an FRP language for small-scale embedded systems, allows us to concisely describe state-dependent behaviors based on the state transition model. However, when we use different sets of peripheral devices depend... 详细信息
来源: 评论
Flexibility and Productivity in IoT programming: A Case Study with Mruby  3rd
Flexibility and Productivity in IoT Programming: A Case Stud...
收藏 引用
3rd International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability (ARTIIS)
作者: Tanaka, Kazuaki Ogura, Sota Krishnamoorthy, R. Sugiyama, Ko-Ichiro Kawahara, Miyu Kyushu Inst Technol Kitakyushu Fukuoka Japan Chennai Inst Technol Chennai Tamil Nadu India Natl Inst Technol Matsue Coll Matsue Shimane Japan Okayama Univ Okayama Japan
This paper explores the use of data flow-based design in IoT application development and its integration with the Node-RED programming tool. Node-RED provides a visual interface for creating programs based on the flow... 详细信息
来源: 评论
Rightsizing: Understanding Novice, Casual Learners of programming  56
Rightsizing: Understanding Novice, Casual Learners of Progra...
收藏 引用
56th Annual SIGCSE Technical Symposium on computer science Education, SIGCSE TS 2025
作者: Ciolacu, Gabriela Haas, Christian Hall, Margeret Karlsruhe Institute of Technology Karlsruhe Germany University of Nebraska at Omaha Omaha United States
While the design and delivery of university introductory programming courses have been extensively studied, they often focus on students for whom programming is a fundamental skill. A previously overlooked group for s... 详细信息
来源: 评论
Tight Lower Bounds for Block-Structured Integer Programs  25th
Tight Lower Bounds for Block-Structured Integer Programs
收藏 引用
25th International Conference on Integer programming and Combinatorial Optimization (IPCO)
作者: Hunkenschroder, Christoph Klein, Kim-Manuel Koutecky, Martin Lassota, Alexandra Levin, Asaf TU Berlin Inst Math Formerly Berlin Germany Univ Lubeck Inst Theoret Comp Sci Lubeck Germany Charles Univ Prague Comp Sci Inst Prague Czech Republic Eindhoven Univ Technol Eindhoven Netherlands Technion Fac Data & Decis Sci Haifa Israel
We study fundamental block-structured integer programs called tree-fold and multi-stage IPs. Tree-fold IPs admit a constraint matrix with independent blocks linked together by few constraints in a recursive pattern;an... 详细信息
来源: 评论
A Systematic Mapping Study of Code Quality in Education  2023
A Systematic Mapping Study of Code Quality in Education
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Keuning, Hieke Jeuring, Johan Heeren, Bastiaan Univ Utrecht Utrecht Netherlands Open Univ Netherlands Heerlen Netherlands
While functionality and correctness of code has traditionally been the main focus of computing educators, quality aspects of code are getting increasingly more attention. High-quality code contributes to the maintaina... 详细信息
来源: 评论
C-programming self-assessment exercises versus final exams: 12 years of experience
收藏 引用
computer APPLICATIONS IN ENGINEERING EDUCATION 2023年 第5期31卷 1272-1288页
作者: Rodriguez-Vidal, Javier Martinez, Raquel Garcia-Beltran, Angel Univ Politecn Madrid UPM Escuela Tecn Super Ingn Ind Dept Automatica Ingn Electr & Elect & Informat Ind Madrid Spain Univ Politecn Madrid Escuela Tecn Super Ingn Ind Dept Automatica Ingn Electr & Elect & Informat Ind Calle Jose Gutierrez Abascal 2 Madrid 28006 Spain
The new curricula derived from the Bologna process encourage continuous evaluations during the teaching period. This situation causes already depleted teachers to have an additional workload during the course, so the ... 详细信息
来源: 评论