咨询与建议

限定检索结果

文献类型

  • 81,383 篇 会议
  • 28,528 篇 期刊文献
  • 7,410 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 118,397 篇 电子文献
  • 205 种 纸本馆藏

日期分布

学科分类号

  • 75,569 篇 工学
    • 65,638 篇 计算机科学与技术...
    • 45,655 篇 软件工程
    • 7,347 篇 控制科学与工程
    • 7,046 篇 电气工程
    • 6,502 篇 信息与通信工程
    • 2,734 篇 机械工程
    • 2,590 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,443 篇 生物医学工程(可授...
    • 1,242 篇 仪器科学与技术
    • 1,179 篇 动力工程及工程热...
    • 1,089 篇 建筑学
    • 1,067 篇 材料科学与工程(可...
    • 1,030 篇 土木工程
    • 996 篇 化学工程与技术
    • 745 篇 交通运输工程
  • 26,749 篇 理学
    • 21,017 篇 数学
    • 3,330 篇 系统科学
    • 2,888 篇 统计学(可授理学、...
    • 2,880 篇 物理学
    • 2,818 篇 生物学
    • 1,061 篇 化学
  • 12,963 篇 管理学
    • 8,751 篇 管理科学与工程(可...
    • 4,441 篇 图书情报与档案管...
    • 3,962 篇 工商管理
  • 7,914 篇 教育学
    • 7,786 篇 教育学
  • 1,445 篇 法学
    • 1,227 篇 社会学
  • 1,357 篇 经济学
    • 1,313 篇 应用经济学
  • 1,326 篇 医学
    • 1,018 篇 临床医学
    • 773 篇 基础医学(可授医学...
  • 849 篇 农学
  • 353 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 101 篇 哲学
  • 27 篇 历史学

主题

  • 9,905 篇 computer science
  • 7,316 篇 programming
  • 4,410 篇 programming prof...
  • 4,334 篇 linear programmi...
  • 4,030 篇 software enginee...
  • 3,868 篇 dynamic programm...
  • 3,699 篇 computer program...
  • 3,313 篇 logic programmin...
  • 2,878 篇 artificial intel...
  • 2,817 篇 application soft...
  • 2,582 篇 genetic programm...
  • 2,575 篇 object oriented ...
  • 2,531 篇 software enginee...
  • 2,180 篇 computer languag...
  • 2,115 篇 parallel program...
  • 2,108 篇 computer archite...
  • 2,048 篇 computational mo...
  • 1,968 篇 programming tech...
  • 1,931 篇 computer program...
  • 1,883 篇 optimization

机构

  • 201 篇 massachusetts in...
  • 87 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 50 篇 school of comput...
  • 48 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of el...
  • 46 篇 东南大学
  • 43 篇 college of compu...
  • 43 篇 department of co...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 41 篇 tsinghua univers...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 54 篇 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,747 篇 英文
  • 6,127 篇 中文
  • 4,549 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118512 条 记 录,以下是1081-1090 订阅
排序:
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Incorporating Technical Interview Training into an HBCU Pre-Freshman programming Bootcamp  2024
Incorporating Technical Interview Training into an HBCU Pre-...
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Nelson, Whitney Gosha, Kinnis Washington, Talitha Gilbert, Nina Broadening Participation in Computing Morehouse College AtlantaGA United States Auc Data Science Initiative Atlanta University Center Consortium AtlantaGA United States The Morehouse Center for Excellence in Education Morehouse College AtlantaGA United States
Internship experiences allow students to authentically participate in industry while still obtaining mentorship and development opportunities. The Morehouse Center for Broadening Participation in Computing, in collabo... 详细信息
来源: 评论
A Higher-Order Language for Markov Kernels and Linear Operators  1
收藏 引用
26th International Conference on Foundations of Software science and Computational Structures (FOSSACS)
作者: de Amorim, Pedro H. Azevedo Cornell Univ Ithaca NY 14850 USA
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov ke... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The Considerations of Teaching computer science Course-Advanced C++
The Considerations of Teaching Computer Science Course-Advan...
收藏 引用
2023 Congress in computer science, computer Engineering, and Applied Computing, CSCE 2023
作者: Zhang, Haiyi Jodrey School of Computer Science Acadia University WolfvilleNS Canada
programming Languages are fundamental courses for computer science students. C++ is one of these programming languages, and it is important because it is not only a procedure language but also it is an Object-Oriented... 详细信息
来源: 评论
Towards Attention-Based Automatic Misconception Identification in Introductory programming Courses  2024
Towards Attention-Based Automatic Misconception Identificati...
收藏 引用
55th ACM Technical Symposium on computer science Education, SIGCSE 2024
作者: Hoq, Muntasir Vandenberg, Jessica Mott, Bradford Lester, James Norouzi, Narges Akram, Bita North Carolina State University Raleigh United States University of California Berkeley Berkeley United States
Identifying misconceptions in student programming solutions is an important step in evaluating their comprehension of fundamental programming concepts. While misconceptions are latent constructs that are hard to evalu... 详细信息
来源: 评论
Software Engineering Education for Technical Engineering Degrees: A Comparison With the Needs of Robotics Software Engineering Education
收藏 引用
IEEE SOFTWARE 2023年 第6期40卷 40-46页
作者: Daun, Marian Tech Univ Appl Sci Wurzburg Schweinfurt software engn Schweinfurt Germany
We compare software engineering education for traditional computer science and software engineering degree programs with the needs of robotics software engineering, concluding that technical engineering degrees need t... 详细信息
来源: 评论
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... 详细信息
来源: 评论