咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是651-660 订阅
IRIS Reimagined: Advancements in Intelligent Runtime System for Task-Based programming  1
收藏 引用
2nd International Workshop on Asynchronous Many-Task Systems and Applications (WAMTA)
作者: Miniskar, Narasinga Rao Lee, Seyong Beau, Johnston Young, Aaron Monil, Mohammad Alaul Haque Valero-Lara, Pedro Vetter, Jeffrey S. Oak Ridge Natl Lab Oak Ridge TN 37831 USA
Task-based programming models are gaining traction in scientific computing. IRIS is a portable runtime system that exploits multiple heterogeneous programming systems and can discover available resources and manage mu... 详细信息
来源: 评论
DopSteg: Program steganography using data-oriented programming
收藏 引用
science of computer programming 2025年 245卷
作者: Lv, Jianqiang Fu, Cai Chen, Liangheng Liu, Ming He, Shuai Jiang, Shuai Han, Lansheng Huazhong Univ Sci & Technol Sch Cyber Sci & Engn 1037 Luoyu Rd Wuhan 430074 Hubei Peoples R China Huanggang Normal Univ Sch Comp 146 Xingang 2nd Rd Huanggang 438000 Hubei Peoples R China Huazhong Univ Sci & Technol Hubei Key Lab Distributed Syst Secur 1037 Luoyu Rd Wuhan 430074 Hubei Peoples R China
Many methods have been proposed to utilize software obfuscation techniques to steganographically embed certain code logic within a program, thereby enhancing the protection of software intellectual property. Currently... 详细信息
来源: 评论
Data-driven output regulation control for constrained linear systems
收藏 引用
science China(Information sciences) 2025年 第3期68卷 338-353页
作者: Chaoyu XIA Yi DONG Chaoli WANG Shengyuan XU Shanghai Research Institute for Intelligent Autonomous Systems Tongji University College of Electronic and Information Engineering Shanghai Research Institute for Intelligent Autonomous SystemsTongji University Department of Control Science and Engineering School of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and Technology Department of Automation Nanjing University of Science and Technology
This study introduces a data-driven approach for state and output feedback control addressing the constrained output regulation problem in unknown linear discrete-time systems. Our method ensures effective tracking pe... 详细信息
来源: 评论
Exploring the relationship between OJT course performance and academic performance of computer science students in selected programming courses  2019
Exploring the relationship between OJT course performance an...
收藏 引用
2019 International Conference on Mathematics, science and Technology Teaching and Learning, ICMSTTL 2019
作者: Raga, Rodolfo C. Teresa Borebor, M.A.F. Merida, Rodany A. Computer Studies and Engineering Jose Rizal University Mandaluyong City Philippines College of Computer Studies and Systems University of the East Manila Philippines
This exploratory study attempted to examine the relationship between the level of performance of Bachelor of science in computer science (BSCS) students in their on-the-job (OJT) course and their academic performance ... 详细信息
来源: 评论
The model for middle school students' computational identity
收藏 引用
EDUCATION AND INFORMATION TECHNOLOGIES 2024年 第4期29卷 4223-4251页
作者: Yildiz Durak, Hatice Necmettin Erbakan Univ Eregli Fac Educ Dept Educ Sci Instructional Technol Konya Turkiye
Examining middle school students' computational identity development, personal, situational variables and programming experiences through the lens of identity may offer an opportunity to explore the dynamic relati... 详细信息
来源: 评论
Application programming Interface Technology to Optimize the Exchange of Information Between Legal Systems  28th
Application Programming Interface Technology to Optimize the...
收藏 引用
28th Argentine Congress of computer science (CACIC)
作者: Mario Spositto, Osvaldo Cesar Bossero, Julio Alejandra Ledesma, Viviana Romina Matteo, Lorena Quevedo, Sebastian Natl Univ La Matanza Dept Engn & Technol Res Florencio Varela 1903 Buenos Aires DF Argentina
Building Expert Systems is an attempt to capture the experience of people who are experts in a subject and incorporate it into computer programs. This task is based on finding out what they know and how they use their... 详细信息
来源: 评论
SLIM_GSGP: The Non-bloating Geometric Semantic Genetic programming  27th
SLIM_GSGP: The Non-bloating Geometric Semantic Genetic Progr...
收藏 引用
27th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar Conference
作者: Vanneschi, Leonardo Univ Nova Lisboa NOVA Informat Management Sch NOVA IMS Campus Campolide P-1070312 Lisbon Portugal
Geometric semantic genetic programming (GSGP) is a successful variant of genetic programming (GP), able to induce a unimodal error surface for all supervised learning problems. However, a limitation of GSGP is its ten... 详细信息
来源: 评论
Fuzzy Pattern Trees for Classification Problems Using Genetic programming  27th
Fuzzy Pattern Trees for Classification Problems Using Geneti...
收藏 引用
27th European Conference on Genetic programming (EuroGP) Held as Part of EvoStar Conference27th European Conference on Genetic programming (EuroGP)
作者: de Lima, Allan Carvalho, Samuel Dias, Douglas Mota Amaral, Jorge Sullivan, Joseph P. Ryan, Conor Univ Limerick Limerick Ireland Technol Univ Shannon Midlands Midwest Limerick Ireland Univ Estado Rio De Janeiro Rio De Janeiro Brazil
Fuzzy Pattern Trees (FPTs) are tree-based structures in which the internal nodes are fuzzy operators, and the leaves are fuzzy features. This work uses Genetic programming (GP) to evolve FPTs and assesses their perfor... 详细信息
来源: 评论
Improving Teaching Standards in computer science Basics for Non-IT First-Year Students  27th
Improving Teaching Standards in Computer Science Basics for ...
收藏 引用
27th International Conference on Interactive Collaborative Learning-ICL
作者: Mironova, Olga Kormiltsyn, Aleksandr Tallinn Univ Technol Dept Software Sci Akas Tee 15a Tallinn Estonia
Today, computer technologies are becoming more accessible to everyone. Even at a young age, people are confronted with information technologies (IT) in their daily lives. Therefore, computer science is becoming increa... 详细信息
来源: 评论
Kumon-Inspired Approach to Teaching programming Fundamentals  5
Kumon-Inspired Approach to Teaching Programming Fundamentals
收藏 引用
5th International computer programming Education Conference, ICPEC 2024
作者: Amorim, Ivone Vasconcelos, Pedro Baltazar Pedroso, João Pedro Portugal LIACC Department of Computer Science Faculty of Sciences University of Porto Portugal CMUP Department of Computer Science Faculty of Sciences University of Porto Portugal
Integration of introductory programming into higher education programs beyond computer science has lead to an increase in the failure and drop out rates of programming courses. In this context, programming instructors... 详细信息
来源: 评论