咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
Unravelling Technical debt topics through Time, programming languages and Repository
arXiv
收藏 引用
arXiv 2025年
作者: Shivashankar, Karthik Martini, Antonio University of Oslo Norway
This study explores the dynamic landscape of Technical Debt (TD) topics in software engineering by examining its evolution across time, programming languages, and repositories. Despite the extensive research on identi... 详细信息
来源: 评论
Conference Record of Conference on Functional programming languages and computer Architecture
Conference Record of Conference on Functional Programming La...
收藏 引用
Conference Record of Conference on Functional programming languages and computer Architecture
The proceedings contains 30 papers. Topics discussed include computer programming languages, polymorphism, semantics, parallelism in computer languages, memory allocation, inference, and computer architecture.
来源: 评论
USING computer SIMULATED MODELS TO TEACH programming languages.
USING COMPUTER SIMULATED MODELS TO TEACH PROGRAMMING LANGUAG...
收藏 引用
Proceedings of NECC/5, National Education Computing Conference 1983.
作者: Czejdo, Bogdan Univ of Houston Houston TX USA Univ of Houston Houston TX USA
In this paper computer generated models to teach programming languages are defined and examined. The memory modeling, the program generation and the flowchart creation are presented. Generation and transformation of p... 详细信息
来源: 评论
If You Write It Better, You Will Say It Better
收藏 引用
Ubiquity 2025年 第January期2025卷 1-8页
作者: Yaffe, Philip Boston MA United States
Each "Communication Corner"essay is self-contained;however, they build on each other. For best results, before reading this essay and doing the exercise, go to the first essay "How an Ugly Duckling Beca... 详细信息
来源: 评论
Neural Network Verification is a programming Language Challenge  34th
Neural Network Verification is a Programming Language Challe...
收藏 引用
34th European Symposium on programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025
作者: Cordeiro, Lucas C. Daggitt, Matthew L. Girard-Satabin, Julien Isac, Omri Johnson, Taylor T. Katz, Guy Komendantskaya, Ekaterina Lemesle, Augustin Manino, Edoardo Šinkarovs, Artjoms Wu, Haoze University of Manchester Manchester United Kingdom University of Western Australia Perth Australia Atomic Energy and Alternative Energies Commission Paris France Hebrew University of Jerusalem Jerusalem Israel Vanderbilt University Nashville United States Southampton University Southampton United Kingdom Heriot-Watt University Edinburgh United Kingdom Amherst College Amherst United States
Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming lan... 详细信息
来源: 评论
programming-languages FOR computer MUSIC SYNTHESIS, PERFORMANCE, AND COMPOSITION
收藏 引用
COMPUTING SURVEYS 1985年 第2期17卷 235-265页
作者: LOY, G ABBOTT, C LUCASFILM LTD SAN RAFAELCA 94912
The development of formal, descriptive, and procedural notations has become a practical concern within the field of music now that computers are being applied to musical tasks. Music combines the real-time demands of ... 详细信息
来源: 评论
Specification of programming languages for computer Diagnostic Systems.
Automatizace Praha
收藏 引用
Automatizace Praha 1985年 第7期28卷 180-183页
作者: Janousek, Ivo
Necessary prerequisites for further development of technical diagnostics is formalization of diagnostic processes and application of computers as master components of diagnostic systems. This article deals with system... 详细信息
来源: 评论
APPLICATIONS OF HIGH-LEVEL computer languages IN N/C PART programming.
Technical Paper - Society of Manufacturing Engineers. MS
收藏 引用
Technical Paper - Society of Manufacturing Engineers. MS 1980年
作者: Stevenson, Dennis R.
APT and other N/C computer programming languages are often used to generate N/C tapes for complex part shapes. However, BASIC and similar high-level computer languages may be used effectively in some circumstances. Th... 详细信息
来源: 评论
Requirements Imposed on computer-Assisted Instruction (CAI) Environments for Higher-Level (Dialog) programming languages.
Angewandte Informatik/Applied Informatics
收藏 引用
Angewandte Informatik/Applied Informatics 1976年 第12期18卷 522-526页
作者: Bode, A. Sattler, H. Schwarz, W.
The lack of flexibility of dedicated systems is the cause for the increased use of general purpose higher level programming languages in computer assisted instruction (CAI). To improve the construction of CAI-programs... 详细信息
来源: 评论
HIGHS AND LOWS OF MICROcomputer programming languages - 2.
Instruments and Control Systems
收藏 引用
Instruments and Control Systems 1978年 第6期51卷 81-84页
作者: Ogdin, Carol Anne
Unlike minicomputer high level languages, the micro's languages do not focus on standard versions of BASIC, FORTRAN, or COBOL. Rather, they range from FORTRAN compilers written by hobbyists to state-of-the-art lan... 详细信息
来源: 评论