咨询与建议

限定检索结果

文献类型

  • 4,827 篇 会议
  • 3,428 篇 期刊文献
  • 17 册 图书

馆藏范围

  • 8,272 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7,611 篇 工学
    • 6,955 篇 计算机科学与技术...
    • 6,044 篇 软件工程
    • 537 篇 信息与通信工程
    • 513 篇 控制科学与工程
    • 459 篇 电气工程
    • 266 篇 电子科学与技术(可...
    • 202 篇 材料科学与工程(可...
    • 153 篇 土木工程
    • 145 篇 建筑学
    • 133 篇 机械工程
    • 89 篇 测绘科学与技术
    • 88 篇 仪器科学与技术
    • 75 篇 航空宇航科学与技...
    • 68 篇 生物工程
    • 67 篇 生物医学工程(可授...
    • 48 篇 光学工程
    • 47 篇 化学工程与技术
  • 1,421 篇 理学
    • 1,049 篇 数学
    • 197 篇 物理学
    • 114 篇 统计学(可授理学、...
    • 88 篇 生物学
    • 79 篇 系统科学
    • 66 篇 化学
  • 891 篇 管理学
    • 491 篇 图书情报与档案管...
    • 460 篇 管理科学与工程(可...
    • 195 篇 工商管理
  • 123 篇 教育学
    • 94 篇 教育学
    • 33 篇 心理学(可授教育学...
  • 70 篇 医学
    • 44 篇 临床医学
  • 47 篇 军事学
  • 40 篇 经济学
    • 40 篇 应用经济学
  • 30 篇 法学
  • 23 篇 农学
  • 7 篇 文学
  • 3 篇 艺术学
  • 1 篇 哲学

主题

  • 8,272 篇 computer program...
  • 53 篇 language
  • 42 篇 computer softwar...
  • 32 篇 artificial intel...
  • 32 篇 programming lang...
  • 30 篇 programming
  • 30 篇 maximum likeliho...
  • 29 篇 computer program...
  • 28 篇 machine learning
  • 27 篇 codes
  • 23 篇 semantics
  • 22 篇 logic programmin...
  • 20 篇 computer science
  • 20 篇 algorithms
  • 18 篇 coverage
  • 17 篇 ml
  • 17 篇 multiple input m...
  • 17 篇 computer languag...
  • 17 篇 computers
  • 17 篇 students

机构

  • 11 篇 carnegie mellon ...
  • 10 篇 carnegie-mellon ...
  • 9 篇 carnegie mellon ...
  • 8 篇 stanford univ ca...
  • 8 篇 ibm san jose ca ...
  • 7 篇 univ of californ...
  • 7 篇 ibm t. j. watson...
  • 6 篇 univ of tokyo
  • 6 篇 mit cambridge ma...
  • 6 篇 yale univ new ha...
  • 6 篇 ibm t j watson r...
  • 6 篇 carnegie mellon ...
  • 6 篇 at&t bell lab mu...
  • 5 篇 inria
  • 5 篇 univ of miami co...
  • 5 篇 cwi
  • 5 篇 oak ridge natl l...
  • 5 篇 univ of pennsylv...
  • 5 篇 harvard univ cam...
  • 5 篇 chalmers univ of...

作者

  • 82 篇 anon
  • 11 篇 baird george n.
  • 11 篇 cordy james r.
  • 10 篇 cook margaret m.
  • 9 篇 dastani mehdi
  • 9 篇 cardelli luca
  • 8 篇 takeuchi ikuo
  • 8 篇 mitchell john c.
  • 8 篇 ghezzi carlo
  • 8 篇 amamiya makoto
  • 8 篇 leblanc richard ...
  • 8 篇 lucas salvador
  • 8 篇 cooke daniel e.
  • 8 篇 pritsker a.alan ...
  • 8 篇 wasserman anthon...
  • 8 篇 morrisett greg
  • 8 篇 hennessy matthew
  • 8 篇 kobayashi naoki
  • 7 篇 hasegawa ryuzo
  • 7 篇 futatsugi kokich...

语言

  • 6,719 篇 英文
  • 1,243 篇 其他
  • 144 篇 德文
  • 48 篇 法文
  • 37 篇 中文
  • 34 篇 俄文
  • 22 篇 日文
  • 9 篇 意大利文
  • 7 篇 波兰文
  • 3 篇 匈牙利文
  • 2 篇 荷兰文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 瑞典文
检索条件"主题词=Computer programming languages"
8272 条 记 录,以下是11-20 订阅
排序:
Matter, meaning and semiotics
收藏 引用
VISUAL COMMUNICATION 2023年 第1期22卷 174-201页
作者: O'Halloran, Kay L. Univ Liverpool Sch Arts Liverpool England Univ Liverpool Fac Arts 19-23 Abercromby Sq Liverpool L69 7ZG England
We inhabit two worlds - the world of matter and the world of meaning (see Halliday, 'On matter and meaning: The two realms of human experience, 2005). In this article, these two worlds and the physical, biological... 详细信息
来源: 评论
The system for testing different versions of the PHP  3
The system for testing different versions of the PHP
收藏 引用
3rd Edge Computing Workshop, doors 2023
作者: Tiahunova, Mariia Yu. Kyrychek, Halyna H. Turianskyi, Yevhenii D. National University "Zaporizhzhia Polytechnic" 64 Zhukovskyi Str. Zaporizhzhia69063 Ukraine
The paper analyzes various versions of the popular PHP programming language. It is used in web development and there are many popular website engines and frameworks written in PHP. Many new and useful features of PHP ... 详细信息
来源: 评论
CODEBPE: INVESTIGATING SUBTOKENIZATION OPTIONS FOR LARGE LANGUAGE MODEL PRETRAINING ON SOURCE CODE  11
CODEBPE: INVESTIGATING SUBTOKENIZATION OPTIONS FOR LARGE LAN...
收藏 引用
11th International Conference on Learning Representations, ICLR 2023
作者: Chirkova, Nadezhda Troshin, Sergey Naver Labs Europe France University of Amsterdam Netherlands
Recent works have widely adopted large language model pretraining for source code, suggested source code-specific pretraining objectives and investigated the applicability of various Transformer-based language model a... 详细信息
来源: 评论
Research on the construction method of knowledge graph for programming language  3
Research on the construction method of knowledge graph for p...
收藏 引用
3rd International Conference on Artificial Intelligence, Virtual Reality, and Visualization, AIVRV 2023
作者: Luo, Ling Li, Qing Department of Computer and Information Science Chongqing Normal University Chongqing China
Knowledge graph can be used to clarify the curriculum knowledge system and describe the knowledge point and its structural relationship. In order to improve the learning efficiency and level of learners in the process... 详细信息
来源: 评论
Detecting Software Vulnerabilities Based on Source Code Analysis using GCN Transformer
Detecting Software Vulnerabilities Based on Source Code Anal...
收藏 引用
2023 RIVF International Conference on Computing and Communication Technologies, RIVF 2023
作者: Bui, Van-Cong Do, Xuan-Cho Dept. Information Technology UNETI Hanoi Viet Nam Dept. Information Security PTIT Hanoi Viet Nam
Nowadays, the detection of software vulnerabilities is an essential task for security work because the technology for exploiting and attacking the information system through vulnerabilities is improving in aspect of q... 详细信息
来源: 评论
Enhancing Hybrid Electric System Protection with IoT: A Design and Implementation of an Arduino-Based Environmental Monitoring Switching System with nRF24L01 Antenna  11
Enhancing Hybrid Electric System Protection with IoT: A Desi...
收藏 引用
11th IEEE International Conference on Systems and Control, ICSC 2023
作者: Mayouf, Omar Moftah Rekik, Mouna Krichen, Lotfi Electrical Engineering Department Sfax3038 Tunisia
The goal of designing this project is to is to gather crucial environmental data, such as temperature, lighting intensity, gas leakage from batteries, or in the event of a fire, and send it in two different ways, wire... 详细信息
来源: 评论
Detect Stack Overflow Bugs in Rust via Improved Fuzzing Technique  35
Detect Stack Overflow Bugs in Rust via Improved Fuzzing Tech...
收藏 引用
35th International Conference on Software Engineering and Knowledge Engineering, SEKE 2023
作者: Ren, Zhiyong Xu, Hui School of Computer Science Fudan University Shanghai China
Stack overflow has been a common memory vulnerability for a long time due to limited stack memory. Deep or infinite recursion serves as the main cause to exhaust the stack memory and crash the program. As a relatively... 详细信息
来源: 评论
Method for Determining the Number of Lines of Manually Written Source Code  3
Method for Determining the Number of Lines of Manually Writt...
收藏 引用
3rd International Workshop on Information Technologies: Theoretical and Applied Problems, ITTAP 2023
作者: Hovorushchenko, Tetiana Voichur, Yurii Khmelnytskyi National University Institutska str. 11 Khmelnytskyi29016 Ukraine
Improving the veracity of estimating the effort of software development is currently an urgent task. The purpose of this study is to develop a method for determining the number of lines of manually written source code... 详细信息
来源: 评论
Dependently Typed languages in Statix
Dependently Typed Languages in Statix
收藏 引用
2023 Eelco Visser Commemorative Symposium, EVCS 2023
作者: Brouwer, Jonathan Cockx, Jesper Zwaan, Aron Delft University of Technology Netherlands
Static type systems can greatly enhance the quality of programs, but implementing a type checker that is both expressive and user-friendly is challenging and error-prone. The Statix meta-language (part of the Spoofax ... 详细信息
来源: 评论
Longest Common Subsequence-based Source Code Similarity  17
Longest Common Subsequence-based Source Code Similarity
收藏 引用
17th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2023
作者: Pinter, Adam Szenasi, Sandor Óbuda University Doctoral School of Applied Informatics and Applied Mathematics Hungary Óbuda University John von Neumann Faculty of Informatics Hungary J. Selye University Faculty of Economics and Informatics Komárno Slovakia
Determining the similarity of source codes is still a researched topic today. There are several ways to answer the question of whether two source codes are similar, and if so, how much. These methods can be divided in... 详细信息
来源: 评论