咨询与建议

限定检索结果

文献类型

  • 81,498 篇 会议
  • 30,394 篇 期刊文献
  • 7,359 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,328 篇 电子文献
  • 198 种 纸本馆藏

日期分布

学科分类号

  • 77,128 篇 工学
    • 66,891 篇 计算机科学与技术...
    • 46,380 篇 软件工程
    • 7,517 篇 控制科学与工程
    • 7,171 篇 电气工程
    • 6,611 篇 信息与通信工程
    • 2,784 篇 机械工程
    • 2,644 篇 电子科学与技术(可...
    • 2,091 篇 生物工程
    • 1,456 篇 生物医学工程(可授...
    • 1,293 篇 仪器科学与技术
    • 1,212 篇 动力工程及工程热...
    • 1,118 篇 材料科学与工程(可...
    • 1,111 篇 建筑学
    • 1,054 篇 土木工程
    • 1,039 篇 化学工程与技术
    • 784 篇 交通运输工程
  • 27,367 篇 理学
    • 21,273 篇 数学
    • 3,372 篇 系统科学
    • 2,985 篇 物理学
    • 2,954 篇 统计学(可授理学、...
    • 2,947 篇 生物学
    • 1,110 篇 化学
  • 13,212 篇 管理学
    • 8,942 篇 管理科学与工程(可...
    • 4,497 篇 图书情报与档案管...
    • 4,012 篇 工商管理
  • 8,105 篇 教育学
    • 7,957 篇 教育学
  • 1,482 篇 法学
    • 1,257 篇 社会学
  • 1,411 篇 经济学
    • 1,356 篇 应用经济学
  • 1,397 篇 医学
    • 1,032 篇 临床医学
    • 809 篇 基础医学(可授医学...
  • 919 篇 农学
  • 378 篇 文学
  • 198 篇 艺术学
  • 110 篇 军事学
  • 109 篇 哲学
  • 27 篇 历史学

主题

  • 10,168 篇 computer science
  • 7,423 篇 programming
  • 4,382 篇 linear programmi...
  • 4,364 篇 programming prof...
  • 4,197 篇 computer program...
  • 4,164 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,325 篇 logic programmin...
  • 3,021 篇 artificial intel...
  • 2,804 篇 application soft...
  • 2,613 篇 software enginee...
  • 2,592 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,156 篇 computer languag...
  • 2,122 篇 computer archite...
  • 2,116 篇 parallel program...
  • 2,034 篇 computational mo...
  • 2,021 篇 computer program...
  • 1,976 篇 programming tech...
  • 1,899 篇 optimization

机构

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

作者

  • 77 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 43 篇 bing xue
  • 40 篇 bernhard steffen
  • 33 篇 yao xin
  • 32 篇 niyato dusit
  • 30 篇 wang lei
  • 30 篇 mengjie zhang
  • 29 篇 kumar amruth n.
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 27 篇 jin zhi
  • 27 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 23 篇 zhang tao
  • 22 篇 fahringer thomas
  • 22 篇 meseguer josé

语言

  • 108,343 篇 英文
  • 6,159 篇 中文
  • 5,910 篇 其他
  • 87 篇 日文
  • 71 篇 德文
  • 30 篇 法文
  • 29 篇 西班牙文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 3 篇 斯洛文尼亚文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120441 条 记 录,以下是561-570 订阅
排序:
ALPI: Enhancing Portability and Interoperability of Task-Aware Libraries  1
收藏 引用
2nd International Workshop on Asynchronous Many-Task Systems and Applications (WAMTA)
作者: Sala, Kevin Alvarez, David Penacoba, Raul Arias Mallo, Rodrigo Navarro, Antoni Roca, Aleix Beltran, Vicenc Barcelona Supercomp Ctr BSC Pl Eusebi Guell 1-3 Barcelona 08034 Spain
Task-based programming models are a promising approach to exploiting complex distributed and heterogeneous systems. However, integrating different communication, offloading, and storage APIs within tasks poses perform... 详细信息
来源: 评论
Stochastic Unit Commitment with High-Penetration Offshore Wind Power Generation in Typhoon Scenarios
收藏 引用
Journal of Modern Power Systems and Clean Energy 2024年 第2期12卷 535-546页
作者: Yanqi Liu Dundun Liu Hongcai Zhang State Key Laboratory of Internet of Things for Smart City and Department of Electrical and Computer Engineering University of MacaoMacao 999078China University of Macao Zhuhai UM Science and Technology Research Institute ZhuhaiChina
To tackle the energy crisis and climate change,wind farms are being heavily invested in across the *** China's coastal areas,there are abundant wind resources and numerous offshore wind farms are being *** secure ... 详细信息
来源: 评论
Improving Knowledge of CS1 Terminology Through a Peer Reviewed Translation Activity: Results and Feedback  2024
Improving Knowledge of CS1 Terminology Through a Peer Review...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Alaofi, Suad Russell, Sean Univ Coll Dublin Dublin Ireland
This paper describes a study in which a computer terminology translation activity was implemented in a CS1 class using a specially designed web application. Students translated an English technical term into their nat... 详细信息
来源: 评论
Sensitivity Analysis for Mixed Binary Quadratic programming  25th
Sensitivity Analysis for Mixed Binary Quadratic Programming
收藏 引用
25th International Conference on Integer programming and Combinatorial Optimization (IPCO)
作者: Cifuentes, Diego Dey, Santanu S. Xu, Jingye Georgia Inst Technol H Milton Stewart Sch Ind & Syst Engn Atlanta GA 30332 USA
We consider sensitivity analysis for Mixed Binary Quadratic Programs (MBQPs) with respect to changing right-hand-sides (rhs). We show that even if the optimal solution of a given MBQP is known, it is NP-hard to approx... 详细信息
来源: 评论
How Are Commercial Video Games Used by Teachers to Support Primary Aged Children's Learning of programming Concepts?  24
How Are Commercial Video Games Used by Teachers to Support P...
收藏 引用
6th Conference on United Kingdom and Ireland Computing Education Research
作者: Rickus, Neil Kings Coll London London England
Commercial, off-the-shelf (COTS) video games are being used by teachers to support primary aged (5-11 years) children's learning of programming concepts. We discuss initial research into this topic.
来源: 评论
Multifaceted formal methods and their interdisciplinary role - From the cathedral of 'components as coalgebras' to the HCI context and the open source software bazaar
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN programming 2025年 142卷
作者: Cerone, Antonio Nazarbayev Univ Sch Engn & Digital Sci Dept Comp Sci 53 Kabanbay Batyr Ave Astana 010000 Kazakhstan
In this article we revisit the history of formal methods with a focus on important aspects that contribute to their interdisciplinary role. We consider: the variability of mathematical representation techniques on whi... 详细信息
来源: 评论
Enhancing programming Education Through Gamification  13th
Enhancing Programming Education Through Gamification
收藏 引用
13th computer science Online Conference
作者: Krastev, Georgi Voinohovska, Valentina Dineva, Vania Univ Ruse Ruse Bulgaria
The field of programming education has witnessed a growing demand for innovative and engaging teaching methods to effectively impart coding skills. This paper explores the potential of gamification as a promising appr... 详细信息
来源: 评论
Assessing code readability in Python programming courses using eye-tracking
收藏 引用
computer APPLICATIONS IN ENGINEERING EDUCATION 2024年 第1期32卷 e22685-e22685页
作者: Segedinac, Milan Savic, Goran Zeljkovic, Ivana Slivka, Jelena Konjovic, Zora Univ Novi Sad Fac Tech Sci Novi Sad Serbia Singidunum Univ Belgrade Serbia Univ Novi Sad Fac Tech Sci Trg Dositeja Obradovica 6 Novi Sad 21000 Serbia
Code readability models are typically based on the code's structural and textual features, considering code readability as an objective category. However, readability is inherently subjective and dependent on the ... 详细信息
来源: 评论
Research on Teaching Reform for Python programming Curriculum Based on AIGC-CDIO-OBE Model  6
Research on Teaching Reform for Python Programming Curriculu...
收藏 引用
6th International Conference on computer science and Technologies in Education, CSTE 2024
作者: Liao, Erchong School of Control and Computer Engineering North China Electric Power University Hebei Province Baoding China
This paper focuses on the characteristics of computer science general course, specifically the emphasis on comprehension and practical application in "Python Language programming". Combining the contemporary... 详细信息
来源: 评论
CPVis: Evidence-based Multimodal Learning Analytics for Evaluation in Collaborative programming  25
CPVis: Evidence-based Multimodal Learning Analytics for Eval...
收藏 引用
2025 CHI Conference on Human Factors in Computing Systems, CHI 2025
作者: Zhang, Gefei Ji, Shenming Li, Yicao Tang, Jingwei Ding, Jihong Xia, Meng Sun, Guodao Liang, Ronghua Zhejiang University of Technology Hangzhou China Xi'an Jiaotong-Liverpool University Suzhou China School of Computer Science and Technology Hainan University Haikou China Computer Science and Engineering Texas A&m University College Station United States
As programming education becomes more widespread, many college students from non-computer science backgrounds begin learning programming. Collaborative programming emerges as an effective method for instructors to sup... 详细信息
来源: 评论