咨询与建议

限定检索结果

文献类型

  • 81,302 篇 会议
  • 30,391 篇 期刊文献
  • 7,427 册 图书
  • 1,643 篇 学位论文
  • 201 篇 科技报告
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,854 篇 电子文献
  • 212 种 纸本馆藏

日期分布

学科分类号

  • 77,130 篇 工学
    • 66,894 篇 计算机科学与技术...
    • 46,401 篇 软件工程
    • 7,486 篇 控制科学与工程
    • 7,144 篇 电气工程
    • 6,560 篇 信息与通信工程
    • 2,773 篇 机械工程
    • 2,642 篇 电子科学与技术(可...
    • 2,097 篇 生物工程
    • 1,455 篇 生物医学工程(可授...
    • 1,281 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,117 篇 材料科学与工程(可...
    • 1,110 篇 建筑学
    • 1,049 篇 土木工程
    • 1,029 篇 化学工程与技术
    • 771 篇 交通运输工程
  • 27,343 篇 理学
    • 21,251 篇 数学
    • 3,372 篇 系统科学
    • 2,967 篇 物理学
    • 2,956 篇 生物学
    • 2,952 篇 统计学(可授理学、...
    • 1,093 篇 化学
  • 13,188 篇 管理学
    • 8,906 篇 管理科学与工程(可...
    • 4,493 篇 图书情报与档案管...
    • 4,015 篇 工商管理
  • 8,062 篇 教育学
    • 7,916 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,414 篇 经济学
    • 1,358 篇 应用经济学
  • 1,381 篇 医学
    • 1,024 篇 临床医学
    • 807 篇 基础医学(可授医学...
  • 920 篇 农学
  • 375 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,330 篇 computer science
  • 7,418 篇 programming
  • 4,402 篇 computer program...
  • 4,373 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,899 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,081 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,637 篇 software enginee...
  • 2,581 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,026 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,894 篇 optimization

机构

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

作者

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

语言

  • 111,655 篇 英文
  • 6,078 篇 中文
  • 3,036 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120972 条 记 录,以下是571-580 订阅
排序:
On Sealed-Bid Combinatorial Auction with Privacy-Preserving Dynamic programming  18th
On Sealed-Bid Combinatorial Auction with Privacy-Preserving ...
收藏 引用
18th International Conference on Provable and Practical Security
作者: Tran, Hong Yen Hu, Jiankun Kermanshahi, Shabnam Kasra UNSW Sch Syst & Comp Canberra ACT Australia
Privacy-preserving combinatorial auctions, also known as sealed-bid combinatorial auctions, allow bidders to place bids on combinations of homogeneous or heterogeneous items without revealing the bidding prices (excep... 详细信息
来源: 评论
computer Classification of Linear Codes Based on Lattice Point Enumeration  8th
Computer Classification of Linear Codes Based on Lattice Poi...
收藏 引用
8th International Conference on Mathematical Software (ICMS)
作者: Kurz, Sascha Friedrich Alexander Univ Erlangen Nuremberg Erlangen Germany Univ Bayreuth Bayreuth Germany
Linear codes related to applications in Galois Geometry often require a certain divisibility of the occurring weights. In this paper we present an algorithmic framework for the classification of linear codes over fini... 详细信息
来源: 评论
Optimized Distribution Systems Reconfiguration Considering Protection Devices Constraints
收藏 引用
IEEE Transactions on Power Delivery 2025年 第3期40卷 1267-1278页
作者: Kahnamouei, Ali Shakeri Lotfifard, Saeed Rostami, Mohammadali Washington State University School of Electrical Engineering and Computer Science PullmanWA99164 United States
This paper presents a method for the optimized reconfiguration of radial distribution systems that explicitly considers the protection systems constraints. A fully automated method based on graph analysis is proposed ... 详细信息
来源: 评论
Advancing general robotic manipulation with multimodal foundation models: An embodied AI paradigm
收藏 引用
science China(Technological sciences) 2025年 第5期68卷 290-292页
作者: Shifeng HUANG He WANG Xing ZHOU Wenkai CHEN Haibin YANG Jianwei ZHANG Department of Mechanical and Aerospace Engineering Hong Kong University of Science and TechnologyHong Kong 999077China Foshan Institute of Intelligent Equipment Technology Foshan 528234China Foshan Huashu Robot Co. Ltd.Foshan 528234China Center on Frontiers of Computing Studies(CFCS) School of Computer SciencePeking UniversityBeijing 100871China Beijing Academy of Artificial Intelligence Beijing 100084China Department of Informatics Universität HamburgHamburg 20146Germany
Can current robotic technologies truly replicate the full scope and intricacies of human labour?In practice,the adoption of robots remains limited,especially in open,unstructured environments commonly encountered in e... 详细信息
来源: 评论
Teaching Parallel programming for Beginners in computer science
Teaching Parallel Programming for Beginners in Computer Scie...
收藏 引用
Frontiers in Education (FIE) Conference
作者: Davi Jose Conte Paulo Sergio Lopes de Souza Guilherme Martins Sarita Mazzini Bruschi Institute of Mathematics and Computer Sciences University of São Paulo São Carlos Brazil
This research full paper describes our experience in teaching parallel programming for students without previous knowledge of basic concepts of computing, comparing their levels of learning. The use of parallel softwa... 详细信息
来源: 评论
An Effective Node Injection Approach for Attacking Social Network Alignment
收藏 引用
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY 2025年 20卷 589-604页
作者: Jiang, Shuyu Qiu, Yunxiang Mo, Xian Tang, Rui Wang, Wei Sichuan Univ Sch Cyber Sci & Engn Chengdu 610065 Peoples R China Sichuan Univ Ministryof Educ Key Lab Data Protect & Intelligent Management Chengdu 610065 Peoples R China Sichuan Univ Sch Cyber Sci & Engn Chengdu 610065 Peoples R China Sichuan Univ Cyber Sci Res Inst Chengdu 610065 Peoples R China Ningxia Univ Sch Informat Engn Yinchuan 750021 Peoples R China Chongqing Med Univ Sch Publ Hlth Chongqing 401331 Peoples R China
The importance of social network alignment (SNA) for various downstream applications, such as social network information fusion and e-commerce recommendation, has prompted numerous professionals to develop and share S... 详细信息
来源: 评论
JavaLLM: A Fine-Tuned LLM for Java programming Education  8
JavaLLM: A Fine-Tuned LLM for Java Programming Education
收藏 引用
8th International Symposium on computer science and Intelligent Control, ISCSIC 2024
作者: Zhang, Jingying Liu, Kang Hunan Urban Professional College School of Information Science and Engineering Changsha China
The integration of Large Language Models (LLMs) into education marks a significant advancement toward personalized and adaptive learning environments, particularly in programming education. Addressing the limitations ... 详细信息
来源: 评论
PLangRec: Deep-learning model to predict the programming language from single line of code
收藏 引用
FUTURE GENERATION computer SYSTEMS-THE INTERNATIONAL JOURNAL OF Escience 2025年 166卷
作者: Rodriguez-Prieto, Oscar Pato, Alejandro Ortin, Francisco Univ Oviedo Comp Sci Dept C Leopoldo Calvo Sotelo 18 Oviedo 33007 Spain Munster Technol Univ Comp Sci Dept Rossa Ave Cork Ireland
programming language detection from source code excepts remains an active research field, which has already been addressed with machine learning and natural language processing. Identifying the language of short code ... 详细信息
来源: 评论
Productivity, Portability, Performance, and Reproducibility: Data-Centric Python
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2025年 第5期36卷 804-820页
作者: Ziogas, Alexandros Nikolaos Schneider, Timo Ben-Nun, Tal Calotoiu, Alexandru De Matteis, Tiziano de Fine Licht, Johannes Lavarini, Luca Hoefler, Torsten Swiss Fed Inst Technol Dept Informat Technol & Elect Engn CH-8092 Zurich Switzerland Swiss Fed Inst Technol Dept Comp Sci CH-8092 Zurich Switzerland Lawrence Livermore Natl Lab Ctr Appl Sci Comp Livermore CA 94550 USA Vrije Univ Amsterdam Dept Comp Sci NL-1081 HV Amsterdam Netherlands NextSilicon CH-8005 Zurich Switzerland 1plusX CH-8005 Zurich Switzerland
Python has become the de facto language for scientific computing. programming in Python is highly productive, mainly due to its rich science-oriented software ecosystem built around the NumPy module. As a result, the ... 详细信息
来源: 评论
Exploring Students' Self-Confidence in Their programming Solutions  29
Exploring Students' Self-Confidence in Their Programming Sol...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Strickroth, Sven Ludwig Maximilians Univ Munchen Munich Germany
Learning programming is perceived as hard by many students. To support students, many e-assessment and intelligent tutoring systems have been developed. These systems can automatically evaluate student submissions and... 详细信息
来源: 评论