咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1201-1210 订阅
排序:
"Everybody's searching their roots": centering Black nature-cultures of belonging in non-compulsory computer science education
收藏 引用
computer science EDUCATION 2024年 第4期34卷 829-863页
作者: Lachney, Michael Kuyenga, Madison C. Allen Phelps, Jada Yadav, Aman Drazin, Matt Michigan State Univ Coll Educ E Lansing MI USA Michigan State Univ Coll Educ 620 Farm Ln Room 513D E Lansing MI 48824 USA
Background & contextInspired by the nature-cultures of belonging from Black hair care, we conducted a design experiment to bridge computer science (CS) education, urban gardening, and cosmetology in a culturally r... 详细信息
来源: 评论
An Undergraduate Course on computer Architecture  56
An Undergraduate Course on Computer Architecture
收藏 引用
56th Annual SIGCSE Technical Symposium on computer science Education, SIGCSE TS 2025
作者: Nowak, Przemyslaw Puchala, Dariusz Stokfiszewski, Kamil Institute of Information Technology Lodz University of Technology Lodz Poland
Teaching computer architecture to students focused on high-level programming is a challenging task. Such students often struggle with the complexities of this subject, exhibiting difficulties in grasping connections b... 详细信息
来源: 评论
Preparing First-Year Engineering Students to Think About Code: A Guided Inquiry Approach
收藏 引用
IEEE TRANSACTIONS ON EDUCATION 2022年 第3期65卷 309-319页
作者: Bettin, Briana Jarvie-Eggart, Michelle Steelman, Kelly S. Wallace, Charles Michigan Technol Univ Dept Comp Sci Houghton MI 49931 USA Michigan Technol Univ Dept Cognit & Learning Sci Houghton MI 49931 USA Michigan Technol Univ Dept Engn Fundamentals Houghton MI 49931 USA
In the wake of the so-called fourth industrial revolution, computer programming has become a foundational competency across engineering disciplines. Yet engineering students often resist the notion that computer progr... 详细信息
来源: 评论
The Impact of Dual Objective Optimization Model Combining Non-Dominated Genetic Algorithm on Rural Industrial Ecological Economy
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED computer science AND APPLICATIONS 2024年 第5期15卷 271-280页
作者: Wang, Ying Shaanxi Tech Coll Finance & Econ Sch Accounting Xianyang 712000 Peoples R China
Due to the development of industrial economy, it has caused serious damage to the ecological environment. Based on the industrial structure and production scale, rural industrial economic parks are planned to analyze ... 详细信息
来源: 评论
An Analysis of K-12 programming Education Utilizing the Minecraft Metaverse Amidst the COVID-19 Pandemic  56
An Analysis of K-12 Programming Education Utilizing the Mine...
收藏 引用
56th Annual SIGCSE Technical Symposium on computer science Education, SIGCSE TS 2025
作者: Sawada, Chiyoko Terazono, Masafumi Hagino, Tatsuya Hattori, Takashi Keio University Kanagawa Japan KRI at SFC Kanagawa Japan
In March 2020, all elementary, middle, and high schools in Japan were temporary closed for approximately one month in response to the COVID-19 pandemic. During this interval, we initiated a programming education progr... 详细信息
来源: 评论
A First Order Method for Linear programming Parameterized by Circuit Imbalance  25th
A First Order Method for Linear Programming Parameterized by...
收藏 引用
25th International Conference on Integer programming and Combinatorial Optimization (IPCO)
作者: Cole, Richard Hertrich, Christoph Tao, Yixin Vegh, Laszlo A. NYU Courant Inst New York NY USA Univ Libre Bruxelles Brussels Belgium Shanghai Univ Finance & Econ Minist Educ Key Lab Interdisciplinary Res Computat & Econ Shanghai Peoples R China London Sch Econ London England Corvinus Univ Corvinus Inst Adv Studies Budapest Hungary
Various first order approaches have been proposed in the literature to solve Linear programming (LP) problems, recently leading to practically efficient solvers for large-scale LPs. From a theoretical perspective, lin... 详细信息
来源: 评论
Beamforming Optimization for Continuous Aperture Array (CAPA)-based Communications
收藏 引用
IEEE Transactions on Wireless Communications 2025年 第6期24卷 5099-5113页
作者: Wang, Zhaolin Ouyang, Chongjun Liu, Yuanwei Queen Mary University of London School of Electronic Engineering and Computer Science LondonE1 4NS United Kingdom The University of Hong Kong Department of Electrical and Electronic Engineering China Kyung Hee University Department of Electronic Engineering Yongin-si17104 Korea Republic of
The beamforming optimization in continuous aperture array (CAPA)-based multi-user communications is studied. In contrast to conventional spatially discrete antenna arrays, CAPAs can exploit the full spatial degrees of... 详细信息
来源: 评论
NeuroLGP-SM: A Surrogate-Assisted Neuroevolution Approach Using Linear Genetic programming  7th
NeuroLGP-SM: A Surrogate-Assisted Neuroevolution Approach Us...
收藏 引用
7th International Conference on Optimization and Learning
作者: Stapleton, Fergal Cody-Kenny, Brendan Galvan, Edgar Maynooth Univ Hamilton Inst CS Dept Naturally Inspired Comp Res Grp Maynooth Kildare Ireland Sema Baltimore MD USA
Evolutionary algorithms are increasingly recognised as a viable computational approach for the automated optimisation of deep neural networks (DNNs) within artificial intelligence. This method extends to the training ... 详细信息
来源: 评论
Graph Networks as Inductive Bias for Genetic programming: Symbolic Models for Particle-Laden Flows  1
收藏 引用
26th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar
作者: Reuter, Julia Elmestikawy, Hani Evrard, Fabien Mostaghim, Sanaz van Wachem, Berend Otto von Guericke Univ Inst Intelligent Cooperating Syst Magdeburg Germany Otto von Guericke Univ Inst Mech Proc Engn Magdeburg Germany
High-resolution simulations of particle-laden flows are computationally limited to a scale of thousands of particles due to the complex interactions between particles and fluid. Some approaches to increase the number ... 详细信息
来源: 评论
Autonomous Task Completion Based on Goal-directed Answer Set programming  40
Autonomous Task Completion Based on Goal-directed Answer Set...
收藏 引用
40th International Conference on Logic programming (ICLP)
作者: Tudor, Alexis R. Univ Texas Dallas Richardson TX 75080 USA
Task planning for autonomous agents has typically been done using deep learning models and simulation- based reinforcement learning. This research proposes combining inductive learning techniques with goal-directed an... 详细信息
来源: 评论