咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1361-1370 订阅
排序:
QoE-Based Assignment of EVs to Charging Stations in Metropolitan Environments
IEEE Transactions on Intelligent Vehicles
收藏 引用
IEEE Transactions on Intelligent Vehicles 2024年 1-16页
作者: Aljaidi, Mohammad Aslam, Nauman Kaiwartya, Omprakash Chen, Xiaomin Sadiq, Ali Safaa Kumar, Sushil Alsarhan, Ayoub Department of Computer Science Zarqa University Zarqa Jordan Department of Computer and Information Sciences Northumbria University Newcastle upon Tyne U.K Department of Computer Science Nottingham Trent University U.K Jawaharlal Nehru University New Delhi India Department of Information Technology Faculty of Prince Al-Hussein Bin Abdallah II for Information Technology The Hashemite University Zarqa Jordan
With the recent advances in battery technology enabling fast charging, public Charging Stations (CSs) are becoming a viable choice for Electric Vehicles (EVs). However, the distribution of EVs relies on strategic assi... 详细信息
来源: 评论
Micro-step Time-Series Regression: Insights from System Identification Using Symbolic Regression  28th
Micro-step Time-Series Regression: Insights from System Ide...
收藏 引用
28th European Conference on Genetic programming, EuroGP 2025, Held as Part of EvoStar 2025
作者: Zhang, Hengzhe Tonda, Alberto Chen, Qi Xue, Bing Lutton, Evelyne Zhang, Mengjie Centre for Data Science and Artificial Intelligence and School of Engineering and Computer Science Victoria University of Wellington PO Box 600 Wellington6140 New Zealand UMR 518 MIA-PS INRAE Université Paris-Saclay Palaiseau91120 France CNRS Paris75013 France
Time-series forecasting is widely applied across various domains, yet most approaches rely on predefined time steps given by each problem. Based on observations from dynamic systems with known ground truth, we identif... 详细信息
来源: 评论
Highly Efficient Back‑End‑of‑Line Compatible Flexible Si‑Based Optical Memristive Crossbar Array for Edge Neuromorphic Physiological Signal Processing and Bionic Machine Vision
收藏 引用
Nano-Micro Letters 2024年 第11期16卷 323-339页
作者: Dayanand Kumar Hanrui Li Dhananjay D.Kumbhar Manoj Kumar Rajbhar Uttam Kumar Das Abdul Momin Syed Georgian Melinte Nazek El‑Atab Smart Advanced Memory Devices and Applications(SAMA)LaboratoryElectrical and Computer EngineeringComputer Electrical Mathematical Science and EngineeringKing Abdullah University of Science and Technology(KAUST)23955‑6900 ThuwalSaudi Arabia
The emergence of the Internet-of-Things is anticipated to create a vast market for what are known as smart edge devices,opening numerous opportunities across countless domains,including personalized healthcare and adv... 详细信息
来源: 评论
Course Scheduling Made Easier: A User-Friendly Web-Based Timetabling Tool Using PyGLPK  21st
Course Scheduling Made Easier: A User-Friendly Web-Based Tim...
收藏 引用
21st International Conference on Cooperative Design, Visualization, and Engineering (CDVE)
作者: Anthony, Barbara M. Mueller, Mark Southwestern Univ Dept Math & Comp Sci 1001 E Univ Ave Georgetown TX 78626 USA
Course scheduling is a necessary but often challenging task, requiring consideration of university requirements, practical limitations, departmental needs, and faculty preferences. Furthermore, it can be difficult to ... 详细信息
来源: 评论
Improving Computational Thinking in Nursing Students through Learning computer programming
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED computer science AND APPLICATIONS 2022年 第5期13卷 600-605页
作者: Laura-Ochoa, Leticia Bedregal-Alpaca, Norka Vidal, Elizabeth Univ Nacl San Agustin Arequipa Arequipa Peru
Computational thinking is a fundamental skill for problem-solving, it uses computational concepts and other types of thinking such as algorithmic. The experience of improving computational thinking in nursing students... 详细信息
来源: 评论
Research on the Construction of Knowledge Graph Oriented to programming Methodology Course  24
Research on the Construction of Knowledge Graph Oriented to ...
收藏 引用
16th International Conference on Education Technology and computers
作者: Ye, Feng Jin, Zishuo Zhai, Mengfan Nedjah, Nadia Zhang, Xuejie Yang, Zihao Hohai Univ Coll Comp & Software Engn Nanjing Jiangsu Peoples R China Univ Estado Rio De Janeiro Dept Elect Engn & Telecommun Engn Fac Rio De Janeiro RJ Brazil
The course on programming methodology is integral to computer science and software engineering education. Knowledge graph has been an interesting topic in recent decades, and knowledge graph has propelled its use in s... 详细信息
来源: 评论
Can Small Language Models With Retrieval-Augmented Generation Replace Large Language Models When Learning computer science?  29
Can Small Language Models With Retrieval-Augmented Generatio...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Liu, Suqing Yu, Zezhu Huang, Feiran Bulbulia, Yousef Bergen, Andreas Liut, Michael Univ Toronto Mississauga Mississauga ON Canada
Leveraging Large Language Models (LLMs) for personalized learning and support is becoming a promising tool in computing education. AI Assistants can help students with programming, problem-solving, converse with them ... 详细信息
来源: 评论
Assessment for computer programming Courses: A Short Guide for the Undecided Teacher  14
Assessment for Computer Programming Courses: A Short Guide f...
收藏 引用
14th International Conference on computer Supported Education (CSEDU)
作者: Barros, Joao-Paulo Polytech Inst Beja Beja Portugal Ctr Technol & Syst UNINOVA Caparica Portugal
As the large number of articles on teaching introductory programming seem to attest, teaching and learning computer programming is difficult. However, perhaps surprisingly, the assessment design for those courses does... 详细信息
来源: 评论
A Systematic Evaluation of Code-generating Chatbots for Use in Undergraduate computer science Education  54
A Systematic Evaluation of Code-generating Chatbots for Use ...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Torek, Adam Sorensen, Elijah Hahle, Natalie Kennington, Casey Boise State University United States
This research paper focuses on evaluating code-generating chatbots. Chatbots like ChatGPT released in the past three years have proven capable of a wide variety of tasks within a conversational interaction, including ... 详细信息
来源: 评论
Why Is Recursion Hard to Comprehend? An Experiment with Experienced Programmers in Python  29
Why Is Recursion Hard to Comprehend? An Experiment with Expe...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Baron, Aviad Feitelson, Dror G. Hebrew Univ Jerusalem Jerusalem Israel
Recursion has the reputation of being hard to teach and understand. Our goal is to identify precisely what it is about recursion that makes it hard, and use this to devise a systematic teaching plan. We first make a d... 详细信息
来源: 评论