咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是711-720 订阅
排序:
The Impact of Collaboration, Problem Solving, and Creativity on computer programming Education for Middle School Girls
The Impact of Collaboration, Problem Solving, and Creativity...
收藏 引用
作者: Amanda Meek University of Missouri-St. Louis
学位级别:博士
Despite high scores and abilities, girls lose interest in science and math throughout middle school. According to the Bureau of Labor Statistics, jobs in the computer science research field will grow 19% by 2026; howe...
来源: 评论
AI-Generated programming Solutions: Impacts on Academic Integrity and Good Practices  16
AI-Generated Programming Solutions: Impacts on Academic Inte...
收藏 引用
16th International Conference on computer Supported Education, CSEDU 2024
作者: Tang, Chung Man Ng, Vanessa S.C. Leung, Henry M.F. Yuen, Joe C.H. School of Computing and Information Science Anglia Ruskin University CambridgeCB1 1PT United Kingdom School of Engineering and Applied Science Aston University BirminghamB4 7ET United Kingdom
As AI-powered chatbots, notably ChatGPT, gain widespread popularity, their integration into academic settings raises concerns about preserving academic integrity. Students increasingly employ these chatbots to generat... 详细信息
来源: 评论
Visual vs. Textual programming Languages in CS0.5 Comparing Student Learning with and Student Perception of RAPTOR and Python  2023
Visual vs. Textual Programming Languages in CS0.5 Comparing ...
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Coffman, Joel de Freitas, Adrian A. Hill, Justin M. Weingart, Troy US Air Force Acad Dept Comp & Cyber Sci Colorado Springs CO 80840 USA
Much debate surrounds the choice of programming language for teaching computer science. Our institution's replacement of a visual programming language (RAPTOR) with a textual programming language (Python) provided... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Grisette: Symbolic Compilation as a Functional programming Library
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年 第POPL期7卷 455-487页
作者: Lu, Sirui Bodik, Rastislav Univ Washington Paul G Allen Sch Seattle WA 98195 USA Google Res Mountain View CA USA
The development of constraint solvers simplified automated reasoning about programs and shifted the engineering burden to implementing symbolic compilation tools that translate programs into efficiently solvable const... 详细信息
来源: 评论
programming Tasks in the Bebras Challenge: Are They a Good Idea in Terms of the Contestants' Workload?  17th
Programming Tasks in the Bebras Challenge: Are They a Good I...
收藏 引用
17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives-ISSEP
作者: Simandl, Vaclav Dobias, Vaclav Vanicek, Jiri Univ South Bohemia Ceske Budejovice Czech Republic
In the Czech version of the Bebras Challenge, programming tasks in which a programming code is built from blocks are used alongside traditional contest tasks. This paper deals with the comparison of these programming ... 详细信息
来源: 评论
Interactive TU-Virtual Labs  15
Interactive TU-Virtual Labs
收藏 引用
15th International Conference on Emerging Ubiquitous Systems and Pervasive Networks / 14th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare, EUSPN/ICTH 2024
作者: Alghamdi, Wael Y. Aljuaid, Hanan M. Alqessayer, Khawlah N. Alshaikh, Nouf A. Alsofiany, Wasan A. Alnemari, Ola T. Alghamdi, Manar M. Department of Computer Science College of Computers and Information Technology Taif University P.O. Box 11099 Taif21944 Saudi Arabia
computer science and information technology students at Taif University develop programming skills through practical experiments. Traditional programming laboratories face challenges due to a growing number of student... 详细信息
来源: 评论
The Role of programming in Lower Secondary Math Education in Probability  24
The Role of Programming in Lower Secondary Math Education in...
收藏 引用
24th Koli Calling
作者: Nordvoll, Sindre Mathias Stromnes Univ Oslo Dept Informat Oslo Norway
Enhancing school mathematics with Computational Thinking (CT) and programming might be beneficial to student learning in both the fields of computing and mathematics. This doctoral research project aims to explore and... 详细信息
来源: 评论
programming Languages in Education: 50 Years of Evolution as Evidenced by Literature  2023
Programming Languages in Education: 50 Years of Evolution as...
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Swacha, Jakub Univ Szczecin Szczecin Poland
Various programming languages have been used in education during the last 50 years. In this study, we investigate their popularity measured with the number of dedicated scientific publications. While some of the findi... 详细信息
来源: 评论
A Novel Swarm Exploring Varying Parameter Recurrent Neural Network for Solving Non-Convex Nonlinear programming
收藏 引用
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS 2024年 第9期35卷 12642-12652页
作者: Zhang, Zhijun Ren, Xiaohui Xie, Jilong Luo, Yamei South China Univ Technol Sch Automat Sci & Engn Guangzhou 510640 Peoples R China Guangdong Univ Petrochem Technol Sch Automat Maoming 525000 Peoples R China Guangdong Artificial Intelligence & Digital Econ L Pazhou Lab Guangzhou 510335 Peoples R China Shaanxi Univ Technol Sch Mech Engn Shaanxi Prov Key Lab Ind Automat Hanzhong 723001 Peoples R China Hunan Univ Finance & Econ Sch Informat Technol & Management Changsha 410205 Peoples R China East China Jiaotong Univ Sch Automat Sci & Engn Nanchang 330052 Peoples R China South China Univ Technol Sch Automat Sci & Engn Guangzhou 510640 Peoples R China
Aiming at solving non-convex nonlinear programming efficiently and accurately, a swarm exploring varying parameter recurrent neural network (SE-VPRNN) method is proposed in this article. First, the local optimal solut... 详细信息
来源: 评论