咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1041-1050 订阅
排序:
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... 详细信息
来源: 评论
Mastering Control Structures in Secondary Education: Student Observations and Descriptions of Program Logic  17th
Mastering Control Structures in Secondary Education: Student...
收藏 引用
17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives-ISSEP
作者: Moesslacher, Corinna Brugger, Katharina Angermann, Tatjana Bollin, Andreas Univ Klagenfurt Dept Informat Didact Klagenfurt Austria Univ Coll Teacher Educ Carinthia Klagenfurt Austria Carinthia Educ Directorate Klagenfurt Austria
The acquisition of control structures in programming poses a significant challenge for K12 students, often requiring more time than typically allocated in standard lecture schedules. This study uses three distinct exp... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL
收藏 引用
Formal Aspects of Computing 2025年 第2期37卷 1-56页
作者: Marmsoler, Diego Brucker, Achim D. Department of Computer Science University of Exeter Devon Northern Ireland Exeter United Kingdom
Smart contracts are computer programs designed to automate legal agreements. They are usually developed in a high-level programming language, the most popular of which is Solidity. Every day, hundreds of thousands of ... 详细信息
来源: 评论
Analytical Review of Confidential Artificial Intelligence: Methods and Algorithms for Deployment in Cloud Computing
收藏 引用
programming AND computer SOFTWARE 2024年 第4期50卷 304-314页
作者: Shiriaev, E. M. Nazarov, A. S. Kucherov, N. N. Babenko, M. G. North Caucasus Fed Univ Stavropol 355017 Russia Russian Acad Sci Ivannikov Inst Syst Programming Moscow 109004 Russia
The technologies of artificial intelligence and cloud computing systems have recently been actively developed and implemented. In this regard, the issue of their joint use, which has been topical for several years, ha... 详细信息
来源: 评论