咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 75,684 篇 工学
    • 65,722 篇 计算机科学与技术...
    • 45,707 篇 软件工程
    • 7,356 篇 控制科学与工程
    • 7,058 篇 电气工程
    • 6,524 篇 信息与通信工程
    • 2,740 篇 机械工程
    • 2,602 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,445 篇 生物医学工程(可授...
    • 1,243 篇 仪器科学与技术
    • 1,180 篇 动力工程及工程热...
    • 1,092 篇 建筑学
    • 1,070 篇 材料科学与工程(可...
    • 1,032 篇 土木工程
    • 996 篇 化学工程与技术
    • 746 篇 交通运输工程
  • 26,786 篇 理学
    • 21,027 篇 数学
    • 3,332 篇 系统科学
    • 2,887 篇 统计学(可授理学、...
    • 2,883 篇 物理学
    • 2,828 篇 生物学
    • 1,062 篇 化学
  • 12,987 篇 管理学
    • 8,769 篇 管理科学与工程(可...
    • 4,446 篇 图书情报与档案管...
    • 3,965 篇 工商管理
  • 7,929 篇 教育学
    • 7,800 篇 教育学
  • 1,449 篇 法学
    • 1,230 篇 社会学
  • 1,361 篇 经济学
    • 1,317 篇 应用经济学
  • 1,329 篇 医学
    • 1,018 篇 临床医学
    • 775 篇 基础医学(可授医学...
  • 856 篇 农学
  • 355 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 102 篇 哲学
  • 26 篇 历史学

主题

  • 9,921 篇 computer science
  • 7,322 篇 programming
  • 4,408 篇 programming prof...
  • 4,335 篇 linear programmi...
  • 4,041 篇 software enginee...
  • 3,870 篇 dynamic programm...
  • 3,721 篇 computer program...
  • 3,318 篇 logic programmin...
  • 2,885 篇 artificial intel...
  • 2,816 篇 application soft...
  • 2,583 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,541 篇 software enginee...
  • 2,187 篇 computer languag...
  • 2,123 篇 parallel program...
  • 2,100 篇 computer archite...
  • 2,046 篇 computational mo...
  • 1,977 篇 programming tech...
  • 1,955 篇 computer program...
  • 1,886 篇 optimization

机构

  • 202 篇 massachusetts in...
  • 80 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 49 篇 school of comput...
  • 48 篇 department of co...
  • 47 篇 东南大学
  • 46 篇 北京科技大学
  • 45 篇 department of el...
  • 44 篇 department of co...
  • 44 篇 tsinghua univers...
  • 43 篇 college of compu...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 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
  • 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,877 篇 英文
  • 6,137 篇 中文
  • 4,564 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118667 条 记 录,以下是1061-1070 订阅
排序:
Retention in First Stage Undergraduate Computing: Lessons Learned from a Collaborative Learning Intervention  2023
Retention in First Stage Undergraduate Computing: Lessons Le...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Scott, Michael James Mitchell, Alexander Brown, Douglas Falmouth Univ Games Acad Cornwall England
It is challenging to retain computing students through their first stage of undergraduate education. Attrition is high, with many transferring courses or dropping out. This poster explores preliminary findings from an... 详细信息
来源: 评论
Evaluating the Performance of Code Generation Models for Solving Parsons Problems With Small Prompt Variations  2023
Evaluating the Performance of Code Generation Models for Sol...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Reeves, Brent Sarsa, Sami Prather, James Denny, Paul Becker, Brett A. Hellas, Arto Kimmel, Bailey Powell, Garrett Leinonen, Juho Abilene Christian Univ Abilene TX 79699 USA Aalto Univ Espoo Finland Univ Auckland Auckland New Zealand Univ Coll Dublin Dublin Ireland
The recent emergence of code generation tools powered by large language models has attracted wide attention. Models such as OpenAI Codex can take natural language problem descriptions as input and generate highly accu... 详细信息
来源: 评论
Methodology of Teaching programming science Through Online Platforms
Methodology of Teaching Programming Science Through Online P...
收藏 引用
Informatics, Electronics, and Radio Engineering (PIERE), International Conference Problems of
作者: Akram Nishanov Oybek Allamov Janar Yusupova Marks Matyakubov Baxtiyor Qalandarov Reyimberganov Bahrom Department of Systematic and Practical Programming Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Software Engineering Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan Master of Urgench branch of TATU named after Muhammad al-Khwarizmi Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan Student of Urgench branch of TATU named after Muhammad al-Khwarizmi Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan
This article presents an experiment conducted among students of the Faculty of “Software Engineering” of the Urgench branch of TATU named after Muhammad al-Khwarizmi. Teaching programming using online platforms in e... 详细信息
来源: 评论
A Real-Time Parallel programming Approach for Rust
Ada User Journal
收藏 引用
Ada User Journal 2023年 第3期44卷 232-236页
作者: Carvalho, Tiago Silva, Hugo Pinho, Luís Miguel Instituto Superior de Engenharia do Porto Porto Portugal
The development of real-time systems is one of the areas with the highest relevance in computer science, and the number of critical systems has increased significantly. These systems considers several applications run... 详细信息
来源: 评论
Design of experiments for the stochastic unit commitment with economic dispatch models
收藏 引用
EURO JOURNAL ON COMPUTATIONAL OPTIMIZATION 2024年 12卷
作者: Sakhavand, Nahal Rosenberger, Jay Chen, Victoria C. P. Gangammanavar, Harsha Univ Texas Arlington Dept Ind Mfg & Syst Engn Arlington TX 76010 USA Southern Methodist Univ Dept Operat Res & Engn Management POB 750123 Dallas TX 75275 USA
We develop a Design and Analysis of the computer Experiments (DACE) approach to the stochastic unit commitment problem for power systems with significant renewable integration. For this purpose, we use a two-stage sto... 详细信息
来源: 评论
Towards Data-Driving Multi-View Evaluation Framework for Scratch
收藏 引用
Tsinghua science and Technology 2024年 第2期29卷 517-528页
作者: Xiaolin Chai Yan Sun Yan Gao Department of Computer Science Beijing University of Posts and TelecommunicationBeijing 100876China Intellectual Property Institute Shandong Polytechnic CollegeJining 272067China
As one of the most popular visual programming languages,Scratch has a lot of evaluation around *** evaluation can help programmers understand their projects *** the same time,it can also provide a reference for them t... 详细信息
来源: 评论
A Novel Polynomial-Time Algorithm for Automatic Layout of Branching Cables in a Fixed Topology
收藏 引用
computer-AIDED DESIGN 2024年 175卷
作者: Xiao, Liyun Bu, Tian -Ming Wang, Jiangtao East China Normal Univ Shanghai Key Lab Trustworthy Comp Shanghai Peoples R China East China Normal Univ Software Engn Inst Shanghai Peoples R China
Designing the layout for complex electromechanical products involves the challenging task of automatically laying out cables. This challenge is particularly pronounced in the case of branch cables, which are more intr... 详细信息
来源: 评论
Stump-the-Teacher: Using Student-generated Examples during Explicit Debugging Instruction  2024
Stump-the-Teacher: Using Student-generated Examples during E...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Kerslake, Chris Simon Fraser Univ Burnaby BC Canada
As the number of upper-elementary students (grades 4-7) interested in computer programming increases, there is growing interest in age-appropriate pedagogical approaches to debugging instruction. However, previous res... 详细信息
来源: 评论
A Second Order Cone programming Approach for Simulating Biphasic Materials
收藏 引用
computer GRAPHICS FORUM 2022年 第8期41卷 87-93页
作者: Tang, Pengbin Coros, Stelian Thomaszewski, Bernhard Univ Montreal Montreal PQ Canada Swiss Fed Inst Technol Zurich Switzerland
Strain limiting is a widely used approach for simulating biphasic materials such as woven textiles and biological tissue that exhibit a soft elastic regime followed by a hard deformation limit. However, existing metho... 详细信息
来源: 评论
Incorporating Technical Interview Training into an HBCU Pre-Freshman programming Bootcamp  2024
Incorporating Technical Interview Training into an HBCU Pre-...
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Nelson, Whitney Gosha, Kinnis Washington, Talitha Gilbert, Nina Broadening Participation in Computing Morehouse College AtlantaGA United States Auc Data Science Initiative Atlanta University Center Consortium AtlantaGA United States The Morehouse Center for Excellence in Education Morehouse College AtlantaGA United States
Internship experiences allow students to authentically participate in industry while still obtaining mentorship and development opportunities. The Morehouse Center for Broadening Participation in Computing, in collabo... 详细信息
来源: 评论