咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 75,684 篇 工学
    • 65,722 篇 计算机科学与技术...
    • 45,707 篇 软件工程
    • 7,356 篇 控制科学与工程
    • 7,058 篇 电气工程
    • 6,524 篇 信息与通信工程
    • 2,740 篇 机械工程
    • 2,602 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,445 篇 生物医学工程(可授...
    • 1,243 篇 仪器科学与技术
    • 1,180 篇 动力工程及工程热...
    • 1,092 篇 建筑学
    • 1,070 篇 材料科学与工程(可...
    • 1,032 篇 土木工程
    • 996 篇 化学工程与技术
    • 746 篇 交通运输工程
  • 26,786 篇 理学
    • 21,027 篇 数学
    • 3,332 篇 系统科学
    • 2,887 篇 统计学(可授理学、...
    • 2,883 篇 物理学
    • 2,828 篇 生物学
    • 1,062 篇 化学
  • 12,987 篇 管理学
    • 8,769 篇 管理科学与工程(可...
    • 4,446 篇 图书情报与档案管...
    • 3,965 篇 工商管理
  • 7,929 篇 教育学
    • 7,800 篇 教育学
  • 1,449 篇 法学
    • 1,230 篇 社会学
  • 1,361 篇 经济学
    • 1,317 篇 应用经济学
  • 1,329 篇 医学
    • 1,018 篇 临床医学
    • 775 篇 基础医学(可授医学...
  • 856 篇 农学
  • 355 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 102 篇 哲学
  • 26 篇 历史学

主题

  • 9,921 篇 computer science
  • 7,322 篇 programming
  • 4,408 篇 programming prof...
  • 4,335 篇 linear programmi...
  • 4,041 篇 software enginee...
  • 3,870 篇 dynamic programm...
  • 3,721 篇 computer program...
  • 3,318 篇 logic programmin...
  • 2,885 篇 artificial intel...
  • 2,816 篇 application soft...
  • 2,583 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,541 篇 software enginee...
  • 2,187 篇 computer languag...
  • 2,123 篇 parallel program...
  • 2,100 篇 computer archite...
  • 2,046 篇 computational mo...
  • 1,977 篇 programming tech...
  • 1,955 篇 computer program...
  • 1,886 篇 optimization

机构

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

作者

  • 77 篇 stuckey peter j.
  • 63 篇 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,877 篇 英文
  • 6,137 篇 中文
  • 4,564 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118667 条 记 录,以下是1321-1330 订阅
排序:
High-Performance Flow Classification of Big Data Using Hybrid CPU-GPU Clusters of Cloud Environments
收藏 引用
Tsinghua science and Technology 2024年 第4期29卷 1118-1137页
作者: Azam Fazel-Najafabadi Mahdi Abbasi Hani H.Attar Ayman Amer Amir Taherkordi Azad Shokrollahi Mohammad R.Khosravi Ahmed A.Solyman Department of Computer Engineering Faculty of EngineeringBu-Ali Sina UniversityHamedan ***Iran Department of Energy Engineering Zarqa UniversityZarqa 13132Jordan Department of Informatics University of OsloOslo 0316Norway Department of Computer Science MalmöUniversityMalmö20506Sweden Shandong Provincial University Laboratory for Protected Horticulture Weifang University of Science and TechnologyWeifang 261100China Department of Electrical and Electronics Engineering NişantaşıUniversityIstanbul 34481742Türkiye
The network switches in the data plane of Software Defined Networking (SDN) are empowered by an elementary process, in which enormous number of packets which resemble big volumes of data are classified into specific f... 详细信息
来源: 评论
k-median: exact recovery in the extended stochastic ball model
收藏 引用
MATHEMATICAL programming 2023年 第1期200卷 357-423页
作者: Del Pia, Alberto Ma, Mingchen Univ Wisconsin Dept Ind & Syst Engn Wisconsin Inst Discovery Madison WI USA Univ Wisconsin Dept Comp Sci 1210 W Dayton St Madison WI 53706 USA
We study exact recovery conditions for the linear programming relaxation of the k-median problem in the stochastic ball model (SBM). In Awasthi et al. (Relax, no need to round: integrality of clustering formulations. ... 详细信息
来源: 评论
Analyzing The Most Effective Algorithm For Knapsack Problems  3
Analyzing The Most Effective Algorithm For Knapsack Problems
收藏 引用
3rd International Conference on Smart Cities, Automation and Intelligent Computing Systems, ICON-SONICS 2023
作者: Boes, Devano Fernando Dewanto, Kenrick Panca Raushanfikir, Mahesa Insan Handoyo, Alif Tri Nurhasanah Bina Nusantara University School of Computer Science Computer Science Department Jakarta11480 Indonesia Bina Nusantara University School of Computer Science Statistics Department Jakarta11480 Indonesia
Knapsack problem is a classical optimization problem in computer science and programming. Knapsack problem main objective is to solve how much the maximum profit can be carried with the knapsack maximum capacity. The ... 详细信息
来源: 评论
Predicting Academic Grades of Students in computer programming Using Classification Algorithms  9
Predicting Academic Grades of Students in Computer Programmi...
收藏 引用
9th International Conference on Advanced Computing and Communication Systems, ICACCS 2023
作者: Kumar Hota, C.P. Pavan Asanambigai, V. Lakshmi, D. Annamalai University Department of CSE Tamilnadu India Madhya Pradesh India
In computer science education, teaching and learning programming is difficult. Understanding and coding programmes are regarded as extremely difficult in computer science education. This is because practical ability i... 详细信息
来源: 评论
Improving the solver for the Balitsky-Kovchegov evolution equation with Automatic Differentiation
收藏 引用
computer PHYSICS COMMUNICATIONS 2025年 313卷
作者: Cougoulic, Florian Korcyl, Piotr Stebel, Tomasz Jagiellonian Univ Inst Theoret Phys Ul Lojasiewicza 11 PL-30348 Krakow Poland
The Balitsky-Kovchegov (BK) evolution equation is an equation derived from perturbative Quantum Chromodynamics that allows one to evolve with collision energy the scattering amplitude of a pair of quark and antiquark ... 详细信息
来源: 评论
Optimal Planetary Surface Exploration with Heterogeneous Agents
收藏 引用
JOURNAL OF SPACECRAFT AND ROCKETS 2023年 第4期60卷 1343-1354页
作者: Choi, Euihyeon Ahn, Jaemyung Korea Adv Inst Sci & Technol Dept Aerosp Engn 291 Daehak ro Daejeon 34141 South Korea
来源: 评论
The Tangential Dialogue Between science and Medicine: A Case in Point
收藏 引用
PEDIATRIC NEUROLOGY 2024年 153卷 96-102页
作者: Schor, Nina F. NIH Div Intramural Res Bethesda MD USA NIH Intramural Res 1 Ctr Dr Bethesda MD 20892 USA
The road between a hypothesis about a disease or condition and its cure or palliation is never simply linear. There are many tantalizing tangents to be chased and many seemingly obvious truths with countless exception... 详细信息
来源: 评论
Composition Machines: programming Self-organising Software Models for the Emergence of Sequential Program Spaces  18th
Composition Machines: Programming Self-organising Software M...
收藏 引用
18th International Conference on Theoretical Aspects of Software Engineering (TASE)
作者: Arellanes, Damian Univ Lancaster Lancaster LA1 4WA England
We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising... 详细信息
来源: 评论
Diversified and compatible web APIs recommendation based on game theory in IoT
收藏 引用
Digital Communications and Networks 2024年 第4期10卷 1198-1209页
作者: Wenwen Gong Huiping Wu Xiaokang Wang Xuyun Zhang Yawei Wang Yifei Chen Mohammad R.Khosravi College of Information and Electrical Engineering China Agricultural UniversityBeijing100000China Shandong Provincial University Laboratory for Protected Horticulture Weifang University of Science and TechnologyShouguang262700China Department of Computer Science St.Francis Xavier UniversityAntigonishNSCanada Department of Computing Macquarie UniversitySydneyNSW2122Australia Department of Computer Engineering Persian Gulf UniversityBushehr***Iran Department of Electrical and Electronic Engineering Shiraz University of TechnologyShiraz71557-13876Iran
With the ever-increasing popularity of Internet of Things(IoT),massive enterprises are attempting to encapsulate their developed outcomes into various lightweight Web Application programming Interfaces(APIs)that can b... 详细信息
来源: 评论
Reversible computing and implicit computational complexity
收藏 引用
science of computer programming 2022年 213卷 102723-102723页
作者: Kristiansen, Lars Univ Oslo Dept Informat Oslo Norway Univ Oslo Dept Math Oslo Norway
We argue that there is a link between implicit computational complexity theory and reversible computation. We introduce inherently reversible programming languages which capture the complexity classes ETImE and p. Fur... 详细信息
来源: 评论