咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
排序:
Facilitating Student's Learning Transfer in a Database programming Class  2025
Facilitating Student's Learning Transfer in a Database Progr...
收藏 引用
56th Technical Symposium on computer science Education
作者: Zhou, Yuzhe Magana, Alejandra J. Li, Tianyi Purdue Univ W Lafayette IN 47907 USA
Transferring programming skills learned in the classroom to diverse real-world scenarios is both essential and challenging in computing education. This experience report describes an approach to facilitate learning tr... 详细信息
来源: 评论
Automatic Image Style Transfer using an Augmented Style Set
收藏 引用
programming AND computer SOFTWARE 2024年 第3期50卷 231-237页
作者: Ponamaryov, V. V. Kitov, V. V. Lomonosov Moscow State Univ F ty CMC Moscow 1199991 Russia Plekhanov Russian Univ Econ Artificial Intelligence Lab Moscow 117997 Russia
Image style transfer is an applied task for automatic rendering of the original image (content) in the style of another image (specifying the target style). Traditional image stylization methods provide only a single ... 详细信息
来源: 评论
Analyzing the Benefits of Optical Topology programming for Mitigating Link-Flood DDoS Attacks
收藏 引用
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2025年 第1期22卷 146-163页
作者: Nance-Hall, Matthew Liu, Zaoxing Sekar, Vyas Durairajan, Ramakrishnan Univ Oregon Eugene OR 97403 USA Univ Maryland Comp Sci College Pk MD 20742 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA
Link-flood attacks (LFAs) overwhelm bandwidth on links in a network using traffic from many sources, which is indistinguishable from benign traffic. Unfortunately, traditional DDoS defenses are incapable of stopping s... 详细信息
来源: 评论
Experimental Analysis of First-Grade Students' Block-Based programming Problem Solving Processes  29
Experimental Analysis of First-Grade Students' Block-Based P...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Pozzan, Gabriele Padova, Costanza Montuori, Chiara Arfe, Barbara Vardanega, Tullio Univ Padua Padua Italy
This work presents an experimental analysis of first-grade students' block-based programming trajectories. These trajectories consist of edit-level program snapshots that capture learners' problem-solving proc... 详细信息
来源: 评论
Evaluating Language Models for Generating and Judging programming Feedback  2025
Evaluating Language Models for Generating and Judging Progra...
收藏 引用
56th Technical Symposium on computer science Education
作者: Koutcheme, Charles Dainese, Nicola Sarsa, Sami Hellas, Arto Leinonen, Juho Ashraf, Syed Denny, Paul Aalto Univ Espoo Finland Univ Jyvaskyla Jyvaskyla Finland Univ Auckland Auckland New Zealand
The emergence of large language models (LLMs) has transformed research and practice across a wide range of domains. Within the computing education research (CER) domain, LLMs have garnered significant attention, parti... 详细信息
来源: 评论
Embedded Systems programming Through eUCCvm, an Integrated Educational Tool  29th
Embedded Systems Programming Through eUCCvm, an Integrated E...
收藏 引用
29th Argentine Congress of computer science on computer science (CACIC)
作者: Perez-Monte, Cristian F. Mercado, Gustavo Taffernaberry, Carlos Diedrichs, Ana Laura Piccoli, Fabiana Tobar, Mario Sebastian Ledda, Marcelo Moralejo, Raul Gonzalez, Rodrigo Univ Tecnol Nacl Fac Reg Mendoza GridT Mendoza Argentina Univ Nacl San Luis Ejercito Andes 950 San Luis Argentina Univ Autonoma Entre Rios 25 Mayo 385 Concepcion Del Uruguay Entre Rios Argentina
Rethinking our teaching practices and forms, whether due to world events such as the pandemic or the particularities of our reality, such as social and economic conditions, is necessary. This work presents an open-sou... 详细信息
来源: 评论
PBCounter:weighted model counting on pseudo-boolean formulas
收藏 引用
Frontiers of computer science 2025年 第3期19卷 55-63页
作者: Yong LAI Zhenghang XU Minghao YIN College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012China School of Computer Science and Information Technology Northeast Normal UniversityChangchun 130017China
In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its **... 详细信息
来源: 评论
MDGCN-Lt:Fair Web API Classification with Sparse and Heterogeneous Data Based on Deep GCN
收藏 引用
清华大学学报自然科学版(英文版) 2025年 第3期30卷 1294-1314页
作者: Boyuan Yan Yankun Zhang Wenwen Gong Haoyang Wan Wenwei Wang Weiyi Zhong Caixia Bu Department of School of Computer Science Qufu Normal UniversityRizhao 276500China Shandong Provincial University Laboratory for Protected Horticulture Weifang University of Science and TechnologyWeifang 261000China Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China Shandong Provincial Key Laboratory of Network Based Intelligent Computing University of JinanJinan 250022China Department of Univalsoft Joint Stock Co. Ltd.Weifang 261000China
Developers integrate web Application programming Interfaces(APIs)into edge applications,enabling data expansion to the edge computing area for comprehensive coverage of devices in that *** develop edge applications,de... 详细信息
来源: 评论
Packing squares independently
收藏 引用
THEORETICAL computer science 2025年 1024卷
作者: Wu, Wei Halman, Nir Hu, Yannan Yagiura, Mutsunori Shizuoka Univ Grad Sch Integrated Sci & Technol 3-5-1 JohokuChuo Ku Hamamatsu Shizuoka 4328561 Japan Nagoya Univ Grad Sch Informat Furo ChoChikusa Ku Nagoya Aichi 4648601 Japan Bar Ilan Univ Alexander Kofkin Fac Engn IL-5290002 Ramat Gan Israel Tokyo Univ Sci Dept Appl Math 1-3 KagurazakaShinjuku Ku Tokyo 1628601 Japan
Given a set of squares and a strip with bounded width and infinite height, we consider a square strip packaging problem, which we call the square independent packing problem (SIPP), to minimize the strip height so tha... 详细信息
来源: 评论
NaijaCoder: Participatory Design for Early Algorithms Education in the Global South  2024
NaijaCoder: Participatory Design for Early Algorithms Educat...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Alabi, Daniel Adegbile, Atinuke Afuye, Lekan Abel, Philip Monaco, Alida Columbia Univ New York NY 10027 USA Global Integrated Educ Volunteers Assoc GIEVA FCT Abuja Nigeria Cornell Univ Ithaca NY USA Twilio Inc Boston MA USA ICF Int New York NY USA
The majority of Nigerian high schoolers have little to no exposure to the basics of algorithms and programming. We believe this trajectory should change as programming offers these students, especially those from indi... 详细信息
来源: 评论