咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是551-560 订阅
A genetic programming-based ensemble method for long-term electricity demand forecasting
收藏 引用
PEERJ computer science 2025年 11卷 e2825-e2825页
作者: Issa, Hayat Ahmed Cevik, Hasan Huseyin Yilmaz, Ahmet Cunkas, Mehmet Selcuk Univ Inst Sci Elect & Elect Engn Selcuklu Konya Turkiye Selcuk Univ Fac Technol Elect & Elect Engn Selcuklu Konya Turkiye Karamanoglu Mehmetbey Univ Fac Engn Comp Engn Karaman Turkiye
This study introduces a novel genetic programming-based ensemble method for forecasting long-term electricity consumption in Ethiopia. The technique utilizes a two-stage ensemble approach to project Ethiopia's ele... 详细信息
来源: 评论
Designing for Interdisciplinary Transfer to Reduce Intrinsic Cognitive Load, Increase Self-Efficacy, and Promote Conceptual Understanding in Introductory programming  24
Designing for Interdisciplinary Transfer to Reduce Intrinsic...
收藏 引用
24th Koli Calling
作者: Cowit, Noah Q. Barker, Lecia Univ Colorado Dept Informat Sci Boulder CO 80309 USA
In this theoretical design paper, we describe using conjecture mapping to design an introductory computer science course curriculum to facilitate horizontal interdisciplinary transfer between algebra and programming. ... 详细信息
来源: 评论
Pair programming with ChatGPT  2024
Pair Programming with ChatGPT
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Chen, Xi Liang, Jingsai Utah Valley University OremUT United States Westminster University Salt Lake CityUT United States
This poster explores the potential of ChatGPT to replace the traditional approach of pair programming in introductory computer science courses. Traditionally, two students collaborate as a driver and a navigator, peri... 详细信息
来源: 评论
The Impact of a Remote Live-Coding Pedagogy on Student programming Processes, Grades, and Lecture Questions Asked  2023
The Impact of a Remote Live-Coding Pedagogy on Student Progr...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Shah, Anshul Agarwal, Vardhan Granado, Michael Driscoll, John Hogan, Emma Porter, Leo Univ Calif San Diego La Jolla CA 92093 USA
Live coding-a pedagogical technique in which an instructor plans, writes, and executes code in front of a class-is generally considered a best practice when teaching programming. However, only a few studies have evalu... 详细信息
来源: 评论
Static analysis by abstract interpretation against data leakage in machine learning
收藏 引用
science of computer programming 2025年 246卷
作者: Urban, Caterina Subotic, Pavle Drobnjakovic, Filip Sonic Res Formal Labs Valjevo Serbia Inria Paris France PSL ENS Paris France
Data leakage is a well-known problem in machine learning which occurs when the training and testing datasets are not independent. This phenomenon leads to unreliably overly optimistic accuracy estimates at training ti... 详细信息
来源: 评论
Beyond Traditional Teaching: Large Language Models as Simulated Teaching Assistants in computer science  2024
Beyond Traditional Teaching: Large Language Models as Simula...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Liu, Mengqi M'hiri, Faten McGill Univ Dept Comp Sci Montreal PQ Canada
As the prominence of Large Language Models (LLMs) grows in various sectors, their potential in education warrants exploration. In this study, we investigate the feasibility of employing GPT-3.5 from OpenAI, as an LLM ... 详细信息
来源: 评论
Mental Representations About Tangible programming in Early Childhood Education  2nd
Mental Representations About Tangible Programming in Early C...
收藏 引用
2nd International Conference on Human and Artificial Rationalities (HAR)
作者: Misirli, A. Komis, V. Univ Patras Dept Educ Sci & Early Childhood Educ Patras Greece
Representations of early childhood children and their development of computational thinking skills while tangibly programming a robot are presented in this study. Data was taken from multiple case studies in preschool... 详细信息
来源: 评论
A Constraint programming Approach for Aircraft Disassembly Scheduling  1
收藏 引用
21st International Conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Thomas, Charles Schath, Pierre UCLouvain Ottignies Belgium
The dismantling and recycling of aircrafts is one of the future challenges for the air transport industry in terms of sustainability. This problem is hard to solve and optimize as planning operations are highly constr... 详细信息
来源: 评论
Demo: The Fun of Robotic Artwork  12
Demo: The Fun of Robotic Artwork
收藏 引用
12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM)
作者: Schmidli, Eliane Irene Mehta, Farhad OST Univ Appl Sci Eastern Switzerland Rapperswil Switzerland
Developing software for robot control often is tedious, difficult and error prone. This is more so for people without a computer science background, such as artists. Functional Reactive programming (FRP) aims to make ... 详细信息
来源: 评论
Undergraduate Student Attitudes towards a Social Justice Context in a programming Project  2024
Undergraduate Student Attitudes towards a Social Justice Con...
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Padiyath, Aadarsh Ashburn, Kyle Ericson, Barbara University of Michigan Ann ArborMI United States University of North Carolina Chapel HillNC United States
Amid increasing calls for critical and anti-oppressive approaches to computer science (CS) education, educators are exploring how to create justice-centered teaching material. Additionally, broadening participation in... 详细信息
来源: 评论