咨询与建议

限定检索结果

文献类型

  • 81,498 篇 会议
  • 30,394 篇 期刊文献
  • 7,359 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,328 篇 电子文献
  • 198 种 纸本馆藏

日期分布

学科分类号

  • 77,128 篇 工学
    • 66,891 篇 计算机科学与技术...
    • 46,380 篇 软件工程
    • 7,517 篇 控制科学与工程
    • 7,171 篇 电气工程
    • 6,611 篇 信息与通信工程
    • 2,784 篇 机械工程
    • 2,644 篇 电子科学与技术(可...
    • 2,091 篇 生物工程
    • 1,456 篇 生物医学工程(可授...
    • 1,293 篇 仪器科学与技术
    • 1,212 篇 动力工程及工程热...
    • 1,118 篇 材料科学与工程(可...
    • 1,111 篇 建筑学
    • 1,054 篇 土木工程
    • 1,039 篇 化学工程与技术
    • 784 篇 交通运输工程
  • 27,367 篇 理学
    • 21,273 篇 数学
    • 3,372 篇 系统科学
    • 2,985 篇 物理学
    • 2,954 篇 统计学(可授理学、...
    • 2,947 篇 生物学
    • 1,110 篇 化学
  • 13,212 篇 管理学
    • 8,942 篇 管理科学与工程(可...
    • 4,497 篇 图书情报与档案管...
    • 4,012 篇 工商管理
  • 8,105 篇 教育学
    • 7,957 篇 教育学
  • 1,482 篇 法学
    • 1,257 篇 社会学
  • 1,411 篇 经济学
    • 1,356 篇 应用经济学
  • 1,397 篇 医学
    • 1,032 篇 临床医学
    • 809 篇 基础医学(可授医学...
  • 919 篇 农学
  • 378 篇 文学
  • 198 篇 艺术学
  • 110 篇 军事学
  • 109 篇 哲学
  • 27 篇 历史学

主题

  • 10,168 篇 computer science
  • 7,423 篇 programming
  • 4,382 篇 linear programmi...
  • 4,364 篇 programming prof...
  • 4,197 篇 computer program...
  • 4,164 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,325 篇 logic programmin...
  • 3,021 篇 artificial intel...
  • 2,804 篇 application soft...
  • 2,613 篇 software enginee...
  • 2,592 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,156 篇 computer languag...
  • 2,122 篇 computer archite...
  • 2,116 篇 parallel program...
  • 2,034 篇 computational mo...
  • 2,021 篇 computer program...
  • 1,976 篇 programming tech...
  • 1,899 篇 optimization

机构

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

作者

  • 77 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 43 篇 bing xue
  • 40 篇 bernhard steffen
  • 33 篇 yao xin
  • 32 篇 niyato dusit
  • 30 篇 wang lei
  • 30 篇 mengjie zhang
  • 29 篇 kumar amruth n.
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 27 篇 jin zhi
  • 27 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 23 篇 zhang tao
  • 22 篇 fahringer thomas
  • 22 篇 meseguer josé

语言

  • 108,343 篇 英文
  • 6,159 篇 中文
  • 5,910 篇 其他
  • 87 篇 日文
  • 71 篇 德文
  • 30 篇 法文
  • 29 篇 西班牙文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 3 篇 斯洛文尼亚文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120441 条 记 录,以下是491-500 订阅
排序:
Instruction Tuning with LLMs for programming Exercise Generation  21st
Instruction Tuning with LLMs for Programming Exercise Genera...
收藏 引用
21st International Conference on Web Information Systems and Applications (WISA)
作者: Zeng, Guolong Xue, Qinchen Lu, Xuesong East China Normal Univ Shanghai Peoples R China
Large language models (LLMs) have been applied to help programming education on aspects such as question answering and program repair. While they make students learn more efficiently, how to use LLMs to help increase ... 详细信息
来源: 评论
Naturally Interpretable Control Policies via Graph-Based Genetic programming  27th
Naturally Interpretable Control Policies via Graph-Based Gen...
收藏 引用
27th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar Conference27th European Conference on Genetic programming (EuroGP)
作者: Nadizar, Giorgia Medvet, Eric Wilson, Dennis G. Univ Trieste Dept Math & Geosci Trieste Italy Univ Trieste Dept Engn & Architecture Trieste Italy Univ Toulouse ISAE SUPAERO Toulouse France
In most high-risk applications, interpretability is crucial for ensuring system safety and trust. However, existing research often relies on hard-to-understand, highly parameterized models, such as neural networks. In... 详细信息
来源: 评论
Proposal of OptDG Algorithm for Solving the Knapsack Problem
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED computer science AND APPLICATIONS 2024年 第9期15卷 962-968页
作者: Arlovic, Matej Rudec, Tomislav Miletic, Josip Balen, Josip JJ Strossmayer Univ Osijek Fac Elect Engn Comp Sci & Informat Technol Osijek Croatia
In a computational complexity theory, P, NP, NP- complete and NP-hard problems are divided into complexity classes which are used to emphasize how challenging it is to solve particular types of problems. The Knapsack ... 详细信息
来源: 评论
Detecting Function Inputs and Outputs for Learning-Problem Generation in Intelligent Tutoring Systems  20th
Detecting Function Inputs and Outputs for Learning-Problem G...
收藏 引用
20th International Conference on Intelligent Tutoring Systems (ITS)
作者: Kulyukin, Kirill Yakimov, Grigoriy Sychev, Oleg Volgograd State Tech Univ Volgograd Russia
Designing of the function interface is one of the key skills in programming. That requires feedback, which can be generated in the necessary quantity only by an intelligent tutoring system. In this paper, we propose a... 详细信息
来源: 评论
Innovative Approaches to Teaching Quantum computer programming and Quantum Software Engineering  5
Innovative Approaches to Teaching Quantum Computer Programmi...
收藏 引用
2024 International Conference on Quantum Computing and Engineering
作者: Haghparast, Majid Moguel, Enrique Garcia-Alonso, Jose Mikkonen, Tommi Manuel Murillo, Juan Univ Jyvaskyla Jyvaskyla Finland Univ Extremadura Caceres Spain
Quantum computing is an emerging field that promises to revolutionize various domains, such as simulation optimization, data processing, and more, by leveraging the principles of quantum mechanics. This paper outlines... 详细信息
来源: 评论
Clearn: A Cost-conscious Student-led Online Judge for a Large programming Course  2024
Clearn: A Cost-conscious Student-led Online Judge for a Larg...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Herskovic, Valeria Munoz-Gama, Jorge Balladares, Fernando Flores, Pablo Quiroz, Nicolas Pontificia Univ Catolic Chile Santiago Chile
Online judges in programming courses allow students to improve their coding abilities and instructors to analyze student work and detect challenging topics. Although several online judge platforms are available, most ... 详细信息
来源: 评论
A Coq-Based Infrastructure for Quantum programming, Verification and Simulation  1
收藏 引用
18th Annual Conference on Theory and Applications of Models of Computation (TAMC)
作者: Tao, Wenxuan Chen, Gang Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing 211106 Peoples R China
Quantum programming presents a significant departure from traditional programming due to its non-intuitive algorithm design and reliance on intricate linear algebraic derivations. Therefore, formal verification using ... 详细信息
来源: 评论
Jeopardy: An Invertible Functional programming Language  16th
Jeopardy: An Invertible Functional Programming Language
收藏 引用
16th International Conference on Reversible Computation (RC)
作者: Kristensen, Joachim Tilsted Kaarsgaard, Robin Thomsen, Michael Kirkedal Univ Oslo Dept Informat Oslo Norway Univ Univ Southern Denmark Odense Denmark Univ Copenhagen Dept Comp Sci Copenhagen Denmark
Reversible programming languages guarantee that their programs are invertible at the cost of restricting the permissible operations to those which are locally invertible. However, writing programs in a reversible styl... 详细信息
来源: 评论
A Multi-Aspect Visualization Framework for Advancing STEM Pedagogy and SDG4: Digital India's computer science OLabs
收藏 引用
SN computer science 2025年 第3期6卷 1-21页
作者: Swaminathan, J. Kavitha, K.R. Sibin, B. Raman, Raghu Nedungadi, Prema Amrita School of Computing Amrita Vishwa Vidyapeetham Kollam India Amrita Center for Research in Analytics Technologies & Education Amrita Vishwa Vidyapeetham Kollam India Amrita School of Business Amrita Vishwa Vidyapeetham Amritapuri Kollam India
This paper introduces a Multi-Aspect Visualization Framework, a language-agnostic interactive platform designed to enhance programming education by addressing the unique challenges and opportunities inherent in the fi... 详细信息
来源: 评论
Scalable Feedback for Student Live Coding in Large Courses Using Automatic Error Grouping  29
Scalable Feedback for Student Live Coding in Large Courses U...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Strickroth, Sven Ludwig Maximilians Univ Munchen Munich Germany
programming courses in higher education are often attended by several hundred students. In such large-scale courses, direct instruction is often the last resort, resulting in mostly passive students and limited social... 详细信息
来源: 评论