咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1071-1080 订阅
排序:
Chemistry does general relativity: reaction-diffusion waves can model gravitational lensing
收藏 引用
FRONTIERS IN PHYSICS 2024年 11卷
作者: Cohen-Cobos, Daniel Sanders, Kiyomi DeGroot, Laura Guarnera, Heather Leary, Cody Lindner, John F. Manz, Niklas Coll Wooster Dept Phys Wooster OH 44691 USA Coll Wooster Dept Math & Computat Sci Wooster OH USA North Carolina State Univ Dept Phys Raleigh NC USA Calif State Univ Dept Phys & Astron Long Beach CA USA
Gravitational lensing is a general relativistic (GR) phenomenon where a massive object redirects light, deflecting, magnifying, and sometimes multiplying its source. We use reaction-diffusion (RD) Belousov-Zhabotinsky... 详细信息
来源: 评论
Evaluating Solo vs Pair programming in an Online Setting for Introductory programming Students  2023
Evaluating Solo vs Pair Programming in an Online Setting for...
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Hafeez, Mustafa Karki, Anand Radwan, Yara Saha, Anis Bernuy, Angela Zavaleta Harrington, Brian Univ Toronto Scarborough Toronto ON Canada Univ Toronto Toronto ON Canada
Many studies have shown the efficacy of pair programming for students learning to program. However, most of these studies have taken place in an in-person environment, where the driver and navigator are physically sha... 详细信息
来源: 评论
Live But Not Active: Minimal Effect with Passive Live Coding  2025
Live But Not Active: Minimal Effect with Passive Live Coding
收藏 引用
56th Technical Symposium on computer science Education
作者: Watkins, Andrea Settle, Amber Miller, Craig S. Schwabe, Eric J. Univ Illinois Urbana IL 61820 USA Depaul Univ Chicago IL USA
Background: Live coding, or the process of instructors writing code in real time in front of students, is an alternative teaching method to showing students static code examples. Variations of live coding tightly coup... 详细信息
来源: 评论
Integration of MILP and discrete-event simulation for flow shop scheduling using Benders cuts
收藏 引用
computerS & CHEMICAL ENGINEERING 2024年 189卷
作者: Wallrath, Roderich Franke, Meik B. Univ Twente Fac Sci & Technol Sustainable Proc Technol Drienerlolaan 5 NL-7522 NB Enschede Netherlands Bayer AG Kaiser Wilhelm Allee 1 D-51373 Leverkusen Germany
Optimization-based scheduling in the chemical industry is highly beneficial but also highly difficult due to its combinatorial complexity. Different modeling and optimization techniques exist, each with individual str... 详细信息
来源: 评论
Neural differentiable modeling with diffusion-based super-resolution for two-dimensional spatiotemporal turbulence
收藏 引用
computer METHODS IN APPLIED MECHANICS AND ENGINEERING 2025年 433卷
作者: Fan, Xiantao Akhare, Deepak Wang, Jian-Xun Univ Notre Dame Dept Aerosp & Mech Engn Notre Dame IN USA Cornell Univ Sibley Sch Mech & Aerosp Engn Ithaca NY 14850 USA
Simulating spatiotemporal turbulence with high fidelity remains a cornerstone challenge in computational fluid dynamics (CFD) due to its intricate multiscale nature and prohibitive computational demands. Traditional a... 详细信息
来源: 评论
Image-Based OA-Style Paper Pop-Up Design via Mixed-Integer programming
收藏 引用
IEEE Transactions on Visualization and computer Graphics 2023年 第10期29卷 4269-4283页
作者: Huang, Fei Liu, Chen Hsiao, Kai-Wen Kuo, Ying-Miao Chu, Hung-Kuo Yang, Yong-Liang University of Bath Department of Computer Science BathBA2 7AY United Kingdom Meta - Facebook Reality Labs RedmondWA98052 United States National Tsing Hua University Department of Computer Science HsinChu300 Taiwan
Origami architecture (OA) is a fascinating papercraft that involves only a piece of paper with cuts and folds. Interesting geometric structures 'pop up' when the paper is opened. However, manually designing su... 详细信息
来源: 评论
Analysis of the intensity distribution in the longitudinal section of a focused laser beam using the Zemax programming language
收藏 引用
JOURNAL OF OPTICAL TECHNOLOGY 2023年 第1期90卷 1-5页
作者: Gulina, Yu. S. Pakholchuk, P. P. Russian Acad Sci Lebedev Phys Inst Moscow Russia Bauman Moscow State Tech Univ Moscow Russia
Subject of study. We present a computer simulation of laser radiation propagation using the Zemax program. Aim of study. We develop a macro written in the Zemax programming language designed to obtain the intensity di... 详细信息
来源: 评论
Effectiveness and perception of augmented reality in the teaching of structured programming fundamentals in university students
收藏 引用
EAI ENDORSED TRANSACTIONS ON SCALABLE INFORMATION SYSTEMS 2023年 第5期10卷 1-8页
作者: Oyarvide, Wellington Remigio Villota Salvatierra, Shirley Betty Reyes Saltos, Guillermo Del Campo Univ Catolica Santiago Guayaquil Guayaquil Ecuador Univ Estatal Milagro Milagro Ecuador
INTRODUCTION: Even while studying programming languages is essential for science and technology education, some students, especially novices, may find it challenging. One reason might be that these pupils are unable t... 详细信息
来源: 评论
Pre-Introductory programming for College Students: Driving Engagement, Motivation, and Creativity to Drive Interest in Computing Studies  54
Pre-Introductory Programming for College Students: Driving E...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Magitay-Becht, Andras Das, Udayan Saint Mary's College of California MoragaCA United States Saint Mary's College of California MoragaCA United States
This innovative practice paper presents an approach to make computer science (CS) in general and programming in particular more approachable for college students. Introductory programming classes can be difficult for ... 详细信息
来源: 评论
Development and Application of Intraoral science Microcourses Based on Cloud Platform  1
收藏 引用
3rd EAI International Conference on Application of Big Data, Blockchain, and Internet of Things for Education Informatization, BigIoT-EDU 2023
作者: Jiang, Yurui Li, Jing Yunnan Medical Health College Kunming650000 China
"Internet plus education" is a good opportunity for information technology curriculum reform. Under the background of vigorously promoting programming education at the basic education stage, and in combinati... 详细信息
来源: 评论