咨询与建议

限定检索结果

文献类型

  • 4,826 篇 会议
  • 3,382 篇 期刊文献
  • 8 册 图书

馆藏范围

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

日期分布

学科分类号

  • 7,577 篇 工学
    • 6,956 篇 计算机科学与技术...
    • 6,032 篇 软件工程
    • 533 篇 信息与通信工程
    • 513 篇 控制科学与工程
    • 443 篇 电气工程
    • 257 篇 电子科学与技术(可...
    • 190 篇 材料科学与工程(可...
    • 153 篇 土木工程
    • 144 篇 建筑学
    • 132 篇 机械工程
    • 90 篇 测绘科学与技术
    • 89 篇 仪器科学与技术
    • 72 篇 航空宇航科学与技...
    • 68 篇 生物工程
    • 63 篇 生物医学工程(可授...
    • 46 篇 光学工程
    • 41 篇 化学工程与技术
  • 1,378 篇 理学
    • 1,044 篇 数学
    • 172 篇 物理学
    • 113 篇 统计学(可授理学、...
    • 85 篇 生物学
    • 85 篇 系统科学
    • 53 篇 化学
  • 902 篇 管理学
    • 491 篇 图书情报与档案管...
    • 471 篇 管理科学与工程(可...
    • 195 篇 工商管理
  • 124 篇 教育学
    • 94 篇 教育学
    • 34 篇 心理学(可授教育学...
  • 64 篇 医学
    • 43 篇 临床医学
  • 47 篇 军事学
  • 40 篇 经济学
    • 40 篇 应用经济学
  • 30 篇 法学
  • 23 篇 农学
  • 7 篇 文学
  • 3 篇 艺术学
  • 1 篇 哲学

主题

  • 8,216 篇 computer program...
  • 46 篇 language
  • 37 篇 computer softwar...
  • 34 篇 programming lang...
  • 33 篇 artificial intel...
  • 29 篇 computer program...
  • 28 篇 programming
  • 28 篇 machine learning
  • 27 篇 maximum likeliho...
  • 24 篇 codes
  • 21 篇 logic programmin...
  • 20 篇 computer science
  • 19 篇 semantics
  • 18 篇 algorithms
  • 17 篇 computer languag...
  • 17 篇 students
  • 16 篇 multiple input m...
  • 15 篇 ml
  • 15 篇 computers
  • 15 篇 paper

机构

  • 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 篇 centre for mathe...
  • 5 篇 harvard univ cam...

作者

  • 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,679 篇 英文
  • 1,230 篇 其他
  • 144 篇 德文
  • 48 篇 法文
  • 34 篇 俄文
  • 34 篇 中文
  • 22 篇 日文
  • 9 篇 意大利文
  • 7 篇 波兰文
  • 3 篇 匈牙利文
  • 2 篇 荷兰文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 瑞典文
检索条件"主题词=Computer Programming Languages"
8216 条 记 录,以下是1-10 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
ON languages, MODELS AND programming STYLES
收藏 引用
computer JOURNAL 1990年 第2期33卷 173-180页
作者: PETRE, M WINDER, R Department of Computer Science University College London Gower Street London WC1E 6BT UK
In this paper, we attempt to clarify both the terminology used to classify programming languages and the nature of the classificationitself. We feel that the current terminology and classification as captured in the l... 详细信息
来源: 评论
INDUCTIVELY DEFINED FUNCTIONS IN FUNCTIONAL programming-languages
收藏 引用
JOURNAL OF computer AND SYSTEM SCIENCES 1987年 第2-3期34卷 409-421页
作者: BURSTALL, RM Department of Computer Science University of Edinburgh King's Buildings Mayfield Road Edinburgh EH9 3JZ Scotland U.K.
This paper proposes a notation for defining functions or procedures in such a way that their termination is guaranteed by the scope rules. It uses an extension of case expressions. Suggested uses include programming l... 详细信息
来源: 评论