咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是541-550 订阅
排序:
An Effective Approach to Teach an Introductory computer science Course with Computational Thinking and Flow-Chart Based Visual programming
An Effective Approach to Teach an Introductory Computer Scie...
收藏 引用
Frontiers in Education (FIE) Conference
作者: Md Mahmudur Rahman Monir H. Sharker Roshan Paudel Morgan State University Baltimore Maryland USA
This Research to Practice Full Paper presents our experience of positive outcomes with increased motivation and retention in teaching an introductory computer science course with Python programming. Without reinventin... 详细信息
来源: 评论
Multi-Tree Genetic programming with Elite Recombination for dynamic task scheduling of satellite edge computing
收藏 引用
FUTURE GENERATION computer SYSTEMS-THE INTERNATIONAL JOURNAL OF Escience 2025年 166卷
作者: Zhang, Changzhen Yang, Jun Beihang Univ Sch Reliabil & Syst Engn Beijing 100191 Peoples R China
Satellite Edge Computing (SEC) can provide task computation services to terrestrial users, particularly in areas lacking terrestrial network coverage. With the increasing frequency of computational demands from Intern... 详细信息
来源: 评论
Model checking of distributed algorithms using synchronous programs ☆
收藏 引用
THEORETICAL computer science 2025年 1045卷
作者: Jahier, Erwan Altisen, Karine Devismes, Stephane Sant'Anna, Gabriel B. Univ Grenoble Alpes CNRS Grenoble INP VERIMAG Grenoble France Univ Picardie Jules Verne MIS Amiens France Canonical Sao Paulo Brazil
The development of trustworthy distributed algorithms requires the verification of some key properties with respect to the formal specification of the expected system executions. The atomic-state model (ASM) is the mo... 详细信息
来源: 评论
Personality-based pair programming: toward intrinsic motivation alignment in very small entities
收藏 引用
PEERJ computer science 2025年 11卷 e2774-e2774页
作者: Valovy, Marcel Buchalcevova, Alena Univ Econ Prague Dept Informat Technol Prague Czech Republic
Aim This study explores whether personality-based role assignments (Pilot, Navigator, Solo) can raise intrinsic motivation in pair programming, focusing on designing a framework and process extension for the resource-... 详细信息
来源: 评论
Pair programming With Generative AI
收藏 引用
IEEE SOFTWARE 2024年 第3期41卷 16-18页
作者: Spinellis, Diomidis Athens Univ Econ & Business Dept Management Sci & Technol Athens 10434 Greece Delft Univ Technol Software Analyt Dept Software Technol NL-2600 AA Delft Netherlands
Generative AI based on large-language models is significantly impacting software development through IDE assistants, cloud-based APIs, and interactive chatbots for coding assistance. It excels in generating and transl... 详细信息
来源: 评论
Block-Based Object-Oriented programming
收藏 引用
IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES 2022年 第4期15卷 439-453页
作者: Allen, Oliver Downs, Xavier Varoy, Elliot Luxton-Reilly, Andrew Giacaman, Nasser Univ Auckland Dept Elect Comp & Software Engn Sch Comp Sci Auckland 1010 New Zealand
Object-oriented programming (OOP) is not only an integral part of computing degrees but also a requirement in non-computing majors such as engineering. Understanding OOP concepts can be difficult for novice programmer... 详细信息
来源: 评论
Automatic programming vs. Artificial Intelligence  1
Automatic Programming vs. Artificial Intelligence
收藏 引用
1st International Conference on AI-Powered Software (AIware)
作者: Noble, James Creat Res & Programming Wellington New Zealand Australian Natl Univ Canberra ACT Australia
Ever since we began programming in the 1950s, there have been two diametrically opposed tendencies within computer science and software engineering: on the left side of the Glorious Throne of Alan Turing, the tendency... 详细信息
来源: 评论
Visual Studio Code in Introductory computer science Course: An Experience Report
Visual Studio Code in Introductory Computer Science Course: ...
收藏 引用
2024 ASEE Annual Conference and Exposition
作者: Tan, Jialiang Chen, Yu Jiao, Shuyin Department of Computer Science and Engineering Lehigh University United States Department of Computer Science North Carolina State University United States
Involving integrated development environments (IDEs) in introductory-level (CS1) programming courses is critical. However, it is difficult for instructors to find a suitable IDE that is beginner-friendly and offers ro... 详细信息
来源: 评论
Safe Reinforcement Learning for Grid-forming Inverter Based Frequency Regulation with Stability Guarantee
收藏 引用
Journal of Modern Power Systems and Clean Energy 2025年 第1期13卷 79-86页
作者: Hang Shuai Buxin She Jinning Wang Fangxing Li Department of Electrical Engineering and Computer Science University of TennesseeKnoxvilleTN37996USA
This study investigates a safe reinforcement learning algorithm for grid-forming(GFM)inverter based frequency *** guarantee the stability of the inverter-based resource(IBR)system under the learned control policy,a mo... 详细信息
来源: 评论
Analysing Code-Mixed Text in programming Instruction Through Machine Learning for Feature Extraction
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED computer science AND APPLICATIONS 2024年 第7期15卷 890-900页
作者: Orosoo, Myagmarsuren Sekhar, J. Chandra Rengarajan, Manikandan Tsendsuren, Nyamsuren Gopi, Adapa El-Ebiary, Yousef A. Baker Prema, S. Taloba, Ahmed I. Mongolian Natl Univ Educ Ulaanbaatar Mongolia NRI Inst Technol CSE Guntur India Vel Tech Rangarajan Dr Sagunthala R&D Inst Sci & T Chennai Tamil Nadu India Mongolian Natl Univ Educ Sch Math & Nat Sci Dept Informat Ulaanbaatar Mongolia Koneru Lakshmaiah Educ Fdn Dept of Comp Sci & Engn Guntur Andhra Pradesh India UniSZA Univ Fac Informat & Comp Terengganu Malaysia Panimalar Engn Coll Dept English Chennai India Jouf Univ Coll Comp & Informat Sci Dept Comp Sci Sakakah Saudi Arabia Assiut Univ Fac Comp & Informat Informat Syst Dept Assiut Egypt
In programming education, code-mixed text using multiple languages or dialects simultaneously can significantly hinder learning outcomes due to misinterpretation and inadequate processing by traditional systems. For i... 详细信息
来源: 评论