咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是941-950 订阅
排序:
Fostering and Assessing Dispositions by providing Grades a Meaning in a Computing Education Context  29
Fostering and Assessing Dispositions by providing Grades a M...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Tubino, Laura Cain, Andrew Deakin Univ Melbourne Vic Australia
Competency-based learning has been proposed to help better meet industry expectations of IT graduates. Despite this potential, there is a scarcity of computing education curricula that promote and assess competencies.... 详细信息
来源: 评论
A Method Based on Genetic programming to Automatically Construct Factors for Annual Report Scenarios  20
A Method Based on Genetic Programming to Automatically Const...
收藏 引用
20th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, ICNC-FSKD 2024
作者: Ma, Yan Zhang, Changsheng Gao, Yan Guo, Ying School of Computer Science and Engineering Northeastern University Shenyang China Software College Northeastern University Shenyang China College of Computer Science and Engineering Ningxia Institute of Science and Technology Shizuishan China
Factors have always played an important role in stock analysis, but they are only effective for specific problems in specific scenarios. Therefore, constructing factors timely and quickly for different scenarios is an... 详细信息
来源: 评论
Secure-by-Construction Synthesis for Control Systems
收藏 引用
IEEE Transactions on Automatic Control 2025年 第6期70卷 4170-4177页
作者: Zhong, Bingzhuo Liu, Siyuan Caccamo, Marco Zamani, Majid Thrust of Artificial Intelligence Information Hub The Thrust of Intelligent Transportation System Hub China KTH Royal Institute of Technology Division of Decision and Control Systems Stockholm Sweden Technical University of Munich TUM School of Engineering and Design Germany University of Colorado Boulder Department of Computer Science United States Ludwig Maximilian University Department of Computer Science Munich Germany
In this note, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a specific security property ... 详细信息
来源: 评论
Role-Playing of Misconceptions in Teacher Training: Enhancing Pre-service Teachers' Understanding of Students' programming Processes  17th
Role-Playing of Misconceptions in Teacher Training: Enhancin...
收藏 引用
17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives-ISSEP
作者: Weinert, Martin Krone, Hendrik TU Dortmund Univ Dortmund Germany
To teach programming effectively, instructors must possess diagnostic skills and the ability to provide individualized interventions. This requires a deep understanding of students' mental models and common miscon... 详细信息
来源: 评论
Leveraging LLM in Genetic programming Hyper-heuristics for Dynamic Microservice Deployment  37th
Leveraging LLM in Genetic Programming Hyper-heuristics for...
收藏 引用
37th Australasian Joint Conference on Artificial Intelligence, AJCAI 2024
作者: Fang, Zhengxin Ma, Hui Chen, Gang Hartmann, Sven Wang, Chen Centre for Data Science and Artificial Intelligence and School of Engineering and Computer Science Victoria University of Wellington Wellington New Zealand Department of Informatics Clausthal University of Technology Clausthal-Zellerfeld Germany National Institute of Water and Atmospheric Research Wellington New Zealand
Microservice deployment in cloud computing is a challenging combinatorial optimization problem due to the complex dependencies among microservices and the intricate trade-offs among different QoS requirements, e.g., m... 详细信息
来源: 评论
Optimal Counterfactual Explanations for k-Nearest Neighbors Using Mathematical Optimization and Constraint programming  8th
Optimal Counterfactual Explanations for k-Nearest Neighbors ...
收藏 引用
8th International Symposium on Combinatorial Optimization (ISCO)
作者: Contardo, Claudio Fukasawa, Ricardo Rousseau, Louis-Martin Vidal, Thibaut Concordia Univ Dept Mech Ind & Aerosp Engn Montreal PQ Canada Univ Waterloo Dept Combinator & Optimizat Waterloo ON Canada Polytech Montreal Math & Ind Engn Montreal PQ Canada
Within the topic of explainable AI, counterfactual explanations to classifiers have received significant recent attention. We study counterfactual explanations that try to explain why a data point received an undesira... 详细信息
来源: 评论
Learning programming for Non-Native English-Speaking Students: Insight from Japanese Students  56
Learning Programming for Non-Native English-Speaking Student...
收藏 引用
56th Annual SIGCSE Technical Symposium on computer science Education, SIGCSE TS 2025
作者: Martono, Niken Prasasti Ohwada, Hayato Tokyo University of Science Noda Chiba Japan
For non-native English speakers, learning programming presents unique challenges, particularly in languages like Python, which heavily rely on English syntax and documentation. This study explores the challenges faced... 详细信息
来源: 评论
Agile Software Development Projects Compliance to ASPICE  31st
Agile Software Development Projects Compliance to ASPICE
收藏 引用
31st European Conference on Systems, Software and Services Process Improvement (EuroSPI)
作者: Ibrahim, Ahmed Badr, Khaled ALTEN GmbH Munich Germany Leading OEM Software Excellence Berlin Germany
Throughout the automotive industry, the direction of projects being developed using Agile methodologies is growing while the demand from the original equipment manufacturers to follow quality standards such as automot... 详细信息
来源: 评论
Investigating the Use of ChatGPT to Support the Learning of Python programming Among Upper Secondary School Students: A Design-Based Research Study  24
Investigating the Use of ChatGPT to Support the Learning of ...
收藏 引用
6th Conference on United Kingdom and Ireland Computing Education Research
作者: Stone, Irene Dublin City Univ Dublin Ireland
This study investigates how ChatGPT can be used to support the learning of Python programming among upper second-level students in an Irish classroom. It addresses critical gaps in the literature, such as the lack of ... 详细信息
来源: 评论
Connecting beliefs, mindsets, anxiety and self-efficacy in computer science learning: an instrument for capturing secondary school students' self-beliefs
收藏 引用
computer science EDUCATION 2024年 第3期34卷 387-413页
作者: Morales-Navarro, Luis Giang, Michael T. Fields, Deborah A. Kafai, Yasmin B. Univ Penn Learning Sci & Technol Philadelphia PA USA Calif State Univ Pomona Psychol Pomona CA USA Utah State Univ Instruct Technol & Learning Sci Logan UT USA 4048 Spruce St Philadelphia PA 19104 USA
Background and Context: Few instruments exist to measure students' CS engagement and learning especially in areas where coding happens with creative, project-based learning and in regard to students' self-beli... 详细信息
来源: 评论