咨询与建议

限定检索结果

文献类型

  • 81,302 篇 会议
  • 30,391 篇 期刊文献
  • 7,427 册 图书
  • 1,643 篇 学位论文
  • 201 篇 科技报告
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,854 篇 电子文献
  • 212 种 纸本馆藏

日期分布

学科分类号

  • 77,130 篇 工学
    • 66,894 篇 计算机科学与技术...
    • 46,401 篇 软件工程
    • 7,486 篇 控制科学与工程
    • 7,144 篇 电气工程
    • 6,560 篇 信息与通信工程
    • 2,773 篇 机械工程
    • 2,642 篇 电子科学与技术(可...
    • 2,097 篇 生物工程
    • 1,455 篇 生物医学工程(可授...
    • 1,281 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,117 篇 材料科学与工程(可...
    • 1,110 篇 建筑学
    • 1,049 篇 土木工程
    • 1,029 篇 化学工程与技术
    • 771 篇 交通运输工程
  • 27,343 篇 理学
    • 21,251 篇 数学
    • 3,372 篇 系统科学
    • 2,967 篇 物理学
    • 2,956 篇 生物学
    • 2,952 篇 统计学(可授理学、...
    • 1,093 篇 化学
  • 13,188 篇 管理学
    • 8,906 篇 管理科学与工程(可...
    • 4,493 篇 图书情报与档案管...
    • 4,015 篇 工商管理
  • 8,062 篇 教育学
    • 7,916 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,414 篇 经济学
    • 1,358 篇 应用经济学
  • 1,381 篇 医学
    • 1,024 篇 临床医学
    • 807 篇 基础医学(可授医学...
  • 920 篇 农学
  • 375 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,330 篇 computer science
  • 7,418 篇 programming
  • 4,402 篇 computer program...
  • 4,373 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,899 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,081 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,637 篇 software enginee...
  • 2,581 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,026 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,894 篇 optimization

机构

  • 420 篇 massachusetts in...
  • 82 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 47 篇 department of co...
  • 47 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 东南大学
  • 45 篇 department of el...
  • 44 篇 school of comput...
  • 43 篇 college of compu...
  • 43 篇 tsinghua univers...
  • 42 篇 school of comput...
  • 41 篇 institute of inf...
  • 41 篇 univ michigan an...
  • 41 篇 huazhong univers...
  • 41 篇 georgia inst tec...
  • 41 篇 department of co...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 44 篇 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,655 篇 英文
  • 6,078 篇 中文
  • 3,036 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120972 条 记 录,以下是291-300 订阅
排序:
CSEPrompts: A Benchmark of Introductory computer science Prompts  1
收藏 引用
27th International Symposium on Methodologies for Intelligent Systems (ISMIS)
作者: Raihan, Nishat Goswami, Dhiman Puspo, Sadiya Sayara Chowdhury Newman, Christian Ranasinghe, Tharindu Zampieri, Marcos George Mason Univ Fairfax VA 22030 USA Rochester Inst Technol Rochester NY USA Aston Univ Birmingham AL USA
Recent advances in AI, machine learning, and NLP have led to the development of a new generation of Large Language Models (LLMs) that are trained on massive amounts of data and often have trillions of parameters. Comm... 详细信息
来源: 评论
Algebraic Connection Between Logic programming and Machine Learning (Extended Abstract)  17th
Algebraic Connection Between Logic Programming and Machine L...
收藏 引用
17th International Symposium on Functional and Logic programming (FLOPS)
作者: Inoue, Katsumi Natl Inst Informat 2-1-2 HitotsubashiChiyoda Ku Tokyo 1018430 Japan
There have been attempts to connect machine learning and symbolic reasoning, providing interfaces between them. This work focuses on our original approach to integrate machine learning and symbolic reasoning, in the c... 详细信息
来源: 评论
programming Workbook: A Collaborative Coding Fusion (Print and Digital) for Mastering programming Fundamentals  29
Programming Workbook: A Collaborative Coding Fusion (Print a...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Servin, Christian El Paso Community Coll El Paso TX 79998 USA
Nowadays, educators face the challenge of students developing their own work and acquiring problem-solving skills, especially with the widespread use of AI tools. This includes issues like excessive dependence on AI, ... 详细信息
来源: 评论
Use of AI-driven Code Generation Models in Teaching and Learning programming: a Systematic Literature Review  2024
Use of AI-driven Code Generation Models in Teaching and Lear...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Cambaz, Doga Zhang, Xiaoling Delft Univ Technol Delft Netherlands
The recent emergence of LLM-based code generation models can potentially transform programming education. To pinpoint the current state of research on using LLM-based code generators to support the teaching and learni... 详细信息
来源: 评论
Self-Regulation, Self-Efficacy, and Fear of Failure Interactions with How Novices Use LLMs to Solve programming Problems  29
Self-Regulation, Self-Efficacy, and Fear of Failure Interact...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Margulieux, Lauren E. Prather, James Reeves, Brent N. Becker, Brett A. Uzun, Gozde Cetin Loksa, Dastyni Leinonen, Juho Denny, Paul Georgia State Univ Atlanta GA 30303 USA Abilene Christian Univ Abilene TX 79699 USA Univ Coll Dublin Dublin Ireland Towson Univ Towson MD USA Aalto Univ Espoo Finland Univ Auckland Auckland New Zealand
We explored how undergraduate introductory programming students naturalistically used generative AI to solve programming problems. We focused on the relationship between their use of AI to their self-regulation strate... 详细信息
来源: 评论
Using practical programming tasks to enhance combinatorial understanding
收藏 引用
TEACHING STATISTICS 2024年 第2期46卷 113-120页
作者: Levy, Sigal Stukalin, Yelena Guttmann-Beck, Nili Acad Coll Tel Aviv Yaffo Stat Educ Unit Tel Aviv Israel Acad Coll Tel Aviv Yaffo Stat Educ Unit Tel Aviv Israel Acad Coll Tel Aviv Yaffo Tel Aviv Israel
Probability theory has extensive applications across various domains, such as statistics, computer science, and finance. In probability education, students are introduced to fundamental principles which may include ma... 详细信息
来源: 评论
Quantum programming Paradigms and Description Languages
收藏 引用
COMPUTING IN science & ENGINEERING 2023年 第6期25卷 33-38页
作者: Alarcon, Sonia Lopez Wong, Elaine Humble, Travis S. Dumitrescu, Eugene Rochester Inst Technol Comp Engn Rochester NY 14623 USA Oak Ridge Natl Lab Oak Ridge TN 37630 USA Oak Ridge Natl Lab Quantum Sci Ctr Oak Ridge TN 37831 USA
This article offers perspective on quantum computing programming languages, as well as their emerging runtimes and algorithmic modalities. With the scientific high-performance computing (HPC) community as a target aud... 详细信息
来源: 评论
Introducing computer science and Arts for All (CSA4ALL): Developing an Inclusive Curriculum and Portal for K5 Children  17th
Introducing Computer Science and Arts for All (CSA4ALL): Dev...
收藏 引用
17th International Conference on Universal Access in Human-computer Interaction (UAHCI) part of the 25th International Conference on Human-computer Interaction (HCI)
作者: Pandey, Prashamsa Jamshidi, Fatemeh Marghitu, Daniela Auburn Univ Auburn AL 36849 USA
The difficulty of acquiring computer programming skills is a plausible cause for the elevated attrition rates in computer science (CS). Music and robotics integrated with computer programming are approaches to engage ... 详细信息
来源: 评论
Feedback-Generation for programming Exercises With GPT-4  29
Feedback-Generation for Programming Exercises With GPT-4
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Azaiz, Imen Kiesler, Natalie Strickroth, Sven Ludwig Maximilians Univ Munchen Munich Germany Nuremberg Tech Nurnberg Germany
Ever since Large Language Models (LLMs) and related applications have become broadly available, several studies investigated their potential for assisting educators and supporting students in higher education. LLMs su... 详细信息
来源: 评论
Teaching computer programming Using Mathematics: Examples from Middle-School and Graduate School
收藏 引用
SN computer science 2024年 第8期5卷 1-12页
作者: Pattichis, Marios S. Lee, Hakeoung Hannah Celedón-Pattichis, Sylvia LópezLeiva, Carlos Department of Electrical and Computer Engineering University of New Mexico 211 Terrace Street NE ECE Building Albuquerque 87131-0001 NM United States Department of Curriculum and Instruction The University of Texas at Austin 1912 Speedway Stop D5700 Austin 78712 TX United States Department of Language Literacy and Sociocultural Studies (LLSS) University of New Mexico MSC05 3040 1 Albuquerque 87131-0001 NM United States
Our goal is to provide integrated lessons where computer programming concepts are introduced based on mathematics. We consider the development of lessons that would be interesting to our students. At the middle school... 详细信息
来源: 评论