咨询与建议

限定检索结果

文献类型

  • 81,383 篇 会议
  • 28,528 篇 期刊文献
  • 7,410 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 118,397 篇 电子文献
  • 205 种 纸本馆藏

日期分布

学科分类号

  • 75,569 篇 工学
    • 65,638 篇 计算机科学与技术...
    • 45,655 篇 软件工程
    • 7,347 篇 控制科学与工程
    • 7,046 篇 电气工程
    • 6,502 篇 信息与通信工程
    • 2,734 篇 机械工程
    • 2,590 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,443 篇 生物医学工程(可授...
    • 1,242 篇 仪器科学与技术
    • 1,179 篇 动力工程及工程热...
    • 1,089 篇 建筑学
    • 1,067 篇 材料科学与工程(可...
    • 1,030 篇 土木工程
    • 996 篇 化学工程与技术
    • 745 篇 交通运输工程
  • 26,749 篇 理学
    • 21,017 篇 数学
    • 3,330 篇 系统科学
    • 2,888 篇 统计学(可授理学、...
    • 2,880 篇 物理学
    • 2,818 篇 生物学
    • 1,061 篇 化学
  • 12,963 篇 管理学
    • 8,751 篇 管理科学与工程(可...
    • 4,441 篇 图书情报与档案管...
    • 3,962 篇 工商管理
  • 7,914 篇 教育学
    • 7,786 篇 教育学
  • 1,445 篇 法学
    • 1,227 篇 社会学
  • 1,357 篇 经济学
    • 1,313 篇 应用经济学
  • 1,326 篇 医学
    • 1,018 篇 临床医学
    • 773 篇 基础医学(可授医学...
  • 849 篇 农学
  • 353 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 101 篇 哲学
  • 27 篇 历史学

主题

  • 9,905 篇 computer science
  • 7,316 篇 programming
  • 4,410 篇 programming prof...
  • 4,334 篇 linear programmi...
  • 4,030 篇 software enginee...
  • 3,868 篇 dynamic programm...
  • 3,699 篇 computer program...
  • 3,313 篇 logic programmin...
  • 2,878 篇 artificial intel...
  • 2,817 篇 application soft...
  • 2,582 篇 genetic programm...
  • 2,575 篇 object oriented ...
  • 2,531 篇 software enginee...
  • 2,180 篇 computer languag...
  • 2,115 篇 parallel program...
  • 2,108 篇 computer archite...
  • 2,048 篇 computational mo...
  • 1,968 篇 programming tech...
  • 1,931 篇 computer program...
  • 1,883 篇 optimization

机构

  • 201 篇 massachusetts in...
  • 87 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 50 篇 school of comput...
  • 48 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of el...
  • 46 篇 东南大学
  • 43 篇 college of compu...
  • 43 篇 department of co...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 41 篇 tsinghua univers...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 54 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 40 篇 bernhard steffen
  • 39 篇 bing xue
  • 34 篇 yao xin
  • 30 篇 niyato dusit
  • 29 篇 kumar amruth n.
  • 29 篇 wang lei
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 28 篇 mengjie zhang
  • 27 篇 jin zhi
  • 26 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 22 篇 zhang tao
  • 22 篇 meseguer josé
  • 22 篇 li yang

语言

  • 107,747 篇 英文
  • 6,127 篇 中文
  • 4,549 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118512 条 记 录,以下是1211-1220 订阅
排序:
The Impact of Dual Objective Optimization Model Combining Non-Dominated Genetic Algorithm on Rural Industrial Ecological Economy
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED computer science AND APPLICATIONS 2024年 第5期15卷 271-280页
作者: Wang, Ying Shaanxi Tech Coll Finance & Econ Sch Accounting Xianyang 712000 Peoples R China
Due to the development of industrial economy, it has caused serious damage to the ecological environment. Based on the industrial structure and production scale, rural industrial economic parks are planned to analyze ... 详细信息
来源: 评论
Transformed by Transformers: Navigating the AI Coding Revolution for Computing Education An ITiCSE Working Group Conducted by Humans  2023
Transformed by Transformers: Navigating the AI Coding Revolu...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Prather, James Denny, Paul Leinonen, Juho Becker, Brett A. Albluwi, Ibrahim Caspersen, Michael E. Craig, Michelle Keuning, Hieke Kiesler, Natalie Kohn, Tobias Luxton-Reilly, Andrew MacNeil, Stephen Petersen, Andrew Pettit, Raymond Reeves, Brent N. Savelka, Jaromir Abilene Christian Univ Abilene TX 79601 USA Univ Auckland Auckland New Zealand Univ Coll Dublin Dublin Ireland Princess Sumaya Univ Technol Amman Jordan Aarhus Univ Aarhus Denmark Univ Toronto Toronto ON Canada Univ Utrecht Utrecht Netherlands DIPF Leibniz Inst Res & Informat Educ Frankfurt Germany TU Wien Vienna Austria Temple Univ Philadelphia PA USA Univ Toronto Mississauga Toronto ON Canada Univ Virginia Charlottesville VA USA Abilene Christian Univ Abilene TX USA Carnegie Mellon Univ Pittsburgh PA USA
The recent advent of highly accurate and scalable large language models (LLMs) has taken the world by storm. From art to essays to computer code, LLMs are producing novel content that until recently was thought only h... 详细信息
来源: 评论
Beamforming Optimization for Continuous Aperture Array (CAPA)-based Communications
收藏 引用
IEEE Transactions on Wireless Communications 2025年 第6期24卷 5099-5113页
作者: Wang, Zhaolin Ouyang, Chongjun Liu, Yuanwei Queen Mary University of London School of Electronic Engineering and Computer Science LondonE1 4NS United Kingdom The University of Hong Kong Department of Electrical and Electronic Engineering China Kyung Hee University Department of Electronic Engineering Yongin-si17104 Korea Republic of
The beamforming optimization in continuous aperture array (CAPA)-based multi-user communications is studied. In contrast to conventional spatially discrete antenna arrays, CAPAs can exploit the full spatial degrees of... 详细信息
来源: 评论
A Model Towards Enabling Tutors to Fulfil a Role in Attenuating Source Code Plagiarism  53rd
A Model Towards Enabling Tutors to Fulfil a Role in Attenuat...
收藏 引用
53rd Southern African computer Lecturers Association Meeting
作者: Smit, Imelda North West Univ Unit Data Sci & Comp Vanderbijlpark South Africa
Source-code plagiarism has been a persistent problem in the academic computing environment, but its prevalence intensified due to the disruption caused by the emergency remote teaching and learning that the COVID-19 p... 详细信息
来源: 评论
User-Friendly Tools for New Digital Education in computer Sience  22
User-Friendly Tools for New Digital Education in Computer Si...
收藏 引用
22nd International Conference on Emerging eLearning Technologies and Applications, ICETA 2024
作者: Kanalikova, Alžbeta Rakovská, Eva University of Žilina Department of Control and Information Systems Žilina Slovakia University of Economics in Bratislava Department of Applied Informatics Bratislava Slovakia
In today's world of pandemic era, it is important to develop new ways of e-learning. E-learning is also associated with finding creative innovation as a part of digital learning, which includes a variety of IT too... 详细信息
来源: 评论
Fluid Intelligence and Mental Effort during Block programming: What the Eyes Can Tell Us  24
Fluid Intelligence and Mental Effort during Block Programmin...
收藏 引用
16th Annual ACM Symposium on Eye Tracking Research and Applications (ETRA)
作者: Appel, Tobias Leifheit, Luzia Univ Tubingen Hector Res Inst Educ Sci & Psychol Tubingen Germany Univ Educ Schwabisch Gmund Schwabisch Gmund Germany
programming skills are becoming increasingly important in our digital age. Here, block-based programming languages offer a great way for novices to learn programming, as their drag-and-drop mechanic makes the assembly... 详细信息
来源: 评论
A Fast Combinatorial Algorithm for the Bilevel Knapsack Problem with Interdiction Constraints  24th
A Fast Combinatorial Algorithm for the Bilevel Knapsack Prob...
收藏 引用
24th International Conference on Integer programming and Combinatorial Optimization (IPCO)
作者: Weninger, Noah Fukasawa, Ricardo Univ Waterloo Waterloo ON Canada
We consider the bilevel knapsack problem with interdiction constraints, a fundamental bilevel integer programming problem which generalizes the 0-1 knapsack problem. In this problem, there are two knapsacks and n item... 详细信息
来源: 评论
Socialist AI? Societal Use, Economic Implementation, and the Tensions of Applied computer science in Late Socialist GDR
收藏 引用
IEEE ANNALS OF THE HISTORY OF COMPUTING 2023年 第3期45卷 66-79页
作者: Schmitt, Martin Tech Univ Darmstadt D-64283 Darmstadt Germany
AI research and development in the German Democratic Republic (GDR) can be seen as paradigmatic for the phase of late socialism. The imperatives of the socialist project and its economic ramifications in the endgame o... 详细信息
来源: 评论
Graph Networks as Inductive Bias for Genetic programming: Symbolic Models for Particle-Laden Flows  1
收藏 引用
26th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar
作者: Reuter, Julia Elmestikawy, Hani Evrard, Fabien Mostaghim, Sanaz van Wachem, Berend Otto von Guericke Univ Inst Intelligent Cooperating Syst Magdeburg Germany Otto von Guericke Univ Inst Mech Proc Engn Magdeburg Germany
High-resolution simulations of particle-laden flows are computationally limited to a scale of thousands of particles due to the complex interactions between particles and fluid. Some approaches to increase the number ... 详细信息
来源: 评论
Optimising the flight turnaround schedules: An improved sliding time windows based on MILP and CP models
收藏 引用
computerS & OPERATIONS RESEARCH 2024年 161卷
作者: Zhang, Sicheng Li, Xiang Yuan, Xing Liu, Jiaming Peng, Jinlin Li, Dongmei China Rongtong Artificial Intelligence Res Ctr Chaoyang 100022 Beijing Peoples R China Changan Univ Sch Econ & Management Xian 710064 Shaanxi Peoples R China Beijing Technol & Business Univ Sch Int Econ & Management Chaoyang 100048 Beijing Peoples R China Natl Inst Def Sci & Technol Innovat Beijing 100071 Peoples R China
This paper addresses the scheduling of turnaround operations for flights in civil airports. A series of complex issues, including the heterogeneity of flights and operators, resource constraints on turnaround operatio... 详细信息
来源: 评论