咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1281-1290 订阅
排序:
An optimal peer selection for peer-to-peer video content distribution using fuzzy linear programming approach
收藏 引用
PEERJ computer science 2025年 11卷 e2701-e2701页
作者: Anandaraj, M. Naganandhini, S. PSNA Coll Engn & Technol Dept Informat Technol Dindigul Tamil Nadu India PSNA Coll Engn & Technol Dept Comp Sci & Engn Dindigul Tamil Nadu India
The problem of peer selection in peer-to-peer (P2P) video content distribution network is significant to solve since it affects the performance and efficiency of the network widely. In this article, a novel framework ... 详细信息
来源: 评论
Validation of a Secure programming Concept Inventory  2023
Validation of a Secure Programming Concept Inventory
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Ngambeki, Ida Bishop, Matthew Dai, Jun Univ Maryland Baltimore Cty Informat Syst Baltimore MD 21250 USA Univ Calif Davis Dept Comp Sci Davis CA USA Calif State Univ Dept Comp Sci Sacramento CA USA
Security failures in software arising from failures to practice secure programming are commonplace. Improving this situation requires that practitioners have a clear understanding of the foundational concepts in secur... 详细信息
来源: 评论
Professional Development Strategies and Recommendations for High School Teachers to Teach computer science Online
收藏 引用
computerS IN THE SCHOOLS 2023年 第2期40卷 133-151页
作者: Martin, Florence Shanley, Nicole Hite, Nicole Pugalee, David Perez-Quinones, Manuel Ahlgrim-Delzell, Lynn Hart, Ellen North Carolina State Univ Raleigh NC 27695 USA North Carolina Virtual Publ Sch Raleigh NC USA
Based on a current Research to Practice Partnership (RPP) between a southeastern public university and a state virtual public school in the United States, ten high school teachers from a virtual school who teach Compu... 详细信息
来源: 评论
Enhancing Learning through Post-Exam Review: A Case Study on Collaborative Coding Assessments
Enhancing Learning through Post-Exam Review: A Case Study on...
收藏 引用
IEEE SoutheastCon Conference on Engineering the Future
作者: Ghosh, Arup Skipper, Jakob Jacksonville State Univ Dept Math Comp & Informat Sci Jacksonville AL 36265 USA
This paper discusses the outcomes and implications of conducting a post-exam review for students' learning of computer programming concepts in a collegiate setting. The post-exam review activity is implemented usi... 详细信息
来源: 评论
WIP: Focusing on Programmer Literacy in the Time of AI-Aided Code Generation  54
WIP: Focusing on Programmer Literacy in the Time of AI-Aided...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Rosiene, Joel A. Rosiene, Carolyn Pe Eastern Connecticut State University Department of Computer Science WindhamCT United States University of Hartford Department of Computing Sciences W. HartfordCT United States
This work-in-progress, innovative-practice, full paper describes an approach to the training of computer scientists and engineers focused on the reading of programs generated by AI-based Large Language Models (LLM). I... 详细信息
来源: 评论
Exploring Human-Centered Approaches in Generative AI and Introductory programming Research: A Scoping Review  24
Exploring Human-Centered Approaches in Generative AI and Int...
收藏 引用
6th Conference on United Kingdom and Ireland Computing Education Research
作者: Stone, Irene Dublin City Univ Dublin Ireland
Recent advancements in generative artificial intelligence are poised to reshape introductory programming education, challenging conventional teaching methodologies. This paper presents a scoping review that explores t... 详细信息
来源: 评论
Multiple-Representation Visual Compositional Dataflow programming  23
Multiple-Representation Visual Compositional Dataflow Progra...
收藏 引用
7th International Conference on the Art, science, and Engineering of programming (programming)
作者: Homer, Michael Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand
Many tasks that end users want to accomplish with a computer program are fundamentally data-flow transformations, and both visual and textual programming systems have been created to fill this need, but these are ofte... 详细信息
来源: 评论
Group Decision-Making Method with Incomplete Intuitionistic Fuzzy Preference Relations Based on a Generalized Multiplicative Consistent Concept
收藏 引用
computer Modeling in Engineering & sciences 2022年 第9期132卷 881-907页
作者: Xiaoyun Lu Jiuying Dong Hecheng Li Shuping Wan School of Computer Science Qinghai Normal UniversityXining810008China School of Science Shanghai Institute of TechnologyShanghai201418China School of Statistics Jiangxi University of Finance and EconomicsNanchang330013China School of Information Technology Jiangxi University of Finance and EconomicsNanchang330013China
Based on the analyses of existing preference group decision-making(PGDM)methods with intuitionistic fuzzy preference relations(IFPRs),we present a new PGDM framework with incomplete IFPRs.A generalized multiplicative ... 详细信息
来源: 评论
Analyzing-Evaluating-Creating: Assessing Computational Thinking and Problem Solving in Visual programming Domains  2024
Analyzing-Evaluating-Creating: Assessing Computational Think...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Ghosh, Ahana Malva, Liina Singla, Adish MPI SWS Saarbrucken Germany Tallinn Univ Tallinn Estonia
Computational thinking (CT) and problem-solving skills are increasingly integrated into K-8 school curricula worldwide. Consequently, there is a growing need to develop reliable assessments for measuring students'... 详细信息
来源: 评论
Scaling Multiobjective Evolution to Large Data With Minions: A Bayes-Informed Multitask Approach
收藏 引用
IEEE TRANSACTIONS ON CYBERNETICS 2024年 第2期54卷 1294-1307页
作者: Chen, Zefeng Gupta, Abhishek Zhou, Lei Ong, Yew-Soon Sun Yat Sen Univ Sch Artificial Intelligence Zhuhai 519082 Peoples R China Nanyang Technol Univ Sch Comp Sci & Engn Singapore Singapore Agcy Sci Technol & Res Singapore Inst Mfg Technol Singapore Singapore Nanyang Technol Univ Data Sci & Artificial Intelligence Res Ctr Sch Comp Sci & Engn Singapore Singapore Agcy Sci Technol & Res Singapore Singapore
In an era of pervasive digitalization, the growing volume and variety of data streams poses a new challenge to the efficient running of data-driven optimization algorithms. Targeting scalable multiobjective evolution ... 详细信息
来源: 评论