咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 7,627 篇 工学
    • 6,964 篇 计算机科学与技术...
    • 6,048 篇 软件工程
    • 540 篇 信息与通信工程
    • 516 篇 控制科学与工程
    • 469 篇 电气工程
    • 275 篇 电子科学与技术(可...
    • 206 篇 材料科学与工程(可...
    • 154 篇 土木工程
    • 145 篇 建筑学
    • 131 篇 机械工程
    • 90 篇 测绘科学与技术
    • 89 篇 仪器科学与技术
    • 75 篇 航空宇航科学与技...
    • 68 篇 生物医学工程(可授...
    • 68 篇 生物工程
    • 48 篇 光学工程
    • 48 篇 化学工程与技术
  • 1,431 篇 理学
    • 1,053 篇 数学
    • 200 篇 物理学
    • 116 篇 统计学(可授理学、...
    • 89 篇 生物学
    • 80 篇 系统科学
    • 69 篇 化学
  • 916 篇 管理学
    • 493 篇 图书情报与档案管...
    • 484 篇 管理科学与工程(可...
    • 195 篇 工商管理
  • 123 篇 教育学
    • 94 篇 教育学
    • 33 篇 心理学(可授教育学...
  • 74 篇 医学
    • 47 篇 临床医学
  • 47 篇 军事学
  • 40 篇 经济学
    • 40 篇 应用经济学
  • 30 篇 法学
  • 24 篇 农学
  • 7 篇 文学
  • 3 篇 艺术学
  • 2 篇 哲学
  • 1 篇 历史学

主题

  • 8,288 篇 computer program...
  • 57 篇 language
  • 42 篇 computer softwar...
  • 35 篇 artificial intel...
  • 34 篇 programming lang...
  • 31 篇 programming
  • 30 篇 machine learning
  • 30 篇 maximum likeliho...
  • 29 篇 computer program...
  • 27 篇 codes
  • 23 篇 semantics
  • 22 篇 logic programmin...
  • 21 篇 computer science
  • 21 篇 algorithms
  • 19 篇 computers
  • 18 篇 coverage
  • 17 篇 ml
  • 17 篇 multiple input m...
  • 17 篇 computer languag...
  • 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 篇 mosses peter d.
  • 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

语言

  • 6,737 篇 英文
  • 1,244 篇 其他
  • 144 篇 德文
  • 48 篇 法文
  • 34 篇 俄文
  • 34 篇 中文
  • 22 篇 日文
  • 9 篇 意大利文
  • 7 篇 波兰文
  • 3 篇 匈牙利文
  • 2 篇 荷兰文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 瑞典文
检索条件"主题词=Computer Programming Languages"
8288 条 记 录,以下是201-210 订阅
排序:
TYPE INFERENCE AND TYPE CHECKING FOR FUNCTIONAL programming languages - A REDUCED COMPUTATION APPROACH.  84
TYPE INFERENCE AND TYPE CHECKING FOR FUNCTIONAL PROGRAMMING ...
收藏 引用
Conference Record of the 1984 ACM Symposium on LISP and Functional programming.
作者: Katayama, Takuya Tokyo Inst of Technology Tokyo Jpn Tokyo Inst of Technology Tokyo Jpn
This paper proposes a new and unified approach to the type inference and checking problems. It is based on the observation that any computation on data domain induces a computation on data type domain. When there is a... 详细信息
来源: 评论
LEXICAL CHARACTERISTICS OF KEYWORDS IN HIGH LEVEL programming languages.
LEXICAL CHARACTERISTICS OF KEYWORDS IN HIGH LEVEL PROGRAMMIN...
收藏 引用
Proceedings - IEEE computer Society's 5th International computer Software & Applications Conference, COMPSAC 81.
作者: Eastman, C.M.
来源: 评论
Is the role of applied programming languages changing?
Is the role of applied programming languages changing?
收藏 引用
Proceedings of the 1996 26th Annual Conference on Frontiers in Education, FIE'96. Part 2 (of 3)
作者: Honchell, Jeffrey W. Robertson, Thomas L. Purdue Univ West Lafayette United States
programming languages such as C, QuickBASIC and Programmable Logic Controller (PLC) ladder logic have been part of Engineering Technology curriculums for years. The increasing availability of powerful and low-cost com... 详细信息
来源: 评论
programming LANGUAGE EXTENSIONS WHICH RENDER JOB CONTROL languages SUPERFLUOUS.
PROGRAMMING LANGUAGE EXTENSIONS WHICH RENDER JOB CONTROL LAN...
收藏 引用
IFIP Work Conf on Command Lang, Proc, Pap and Discuss
作者: Jensen, Jorn Lauesen, Soren
A job control language need not be a ″new″ language, but can be embedded in most existing programming languages. As an example, the necessary extensions for Algol are outlined and several applications of them are gi... 详细信息
来源: 评论
ARCHITECTURAL SUPPORT FOR programming languages IN THE X-TREE PROCESSOR.
ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES IN THE X-TRE...
收藏 引用
作者: Ditzel, David R.
A brief summary is given of a proposed instruction set architecture for the basic processor of X-Tree. The design reflects the need to efficiently support multiple high level languages, the compilers for the languages... 详细信息
来源: 评论
Plagiarism detection across programming languages
Plagiarism detection across programming languages
收藏 引用
29th Australasian computer Science Conference, ACSC 2006
作者: Arwin, Christian Tahaghoghi, S.M.M. School of Computer Science and Information Technology RMIT University GPO Box 2476V Melbourne 3001 Australia
Plagiarism is a widespread problem in assessment tasks;in computing courses, students often plagiarise source code. For all but the smallest classes, manual detection of such plagiarism is impractical, and, while auto... 详细信息
来源: 评论
CONFERENCE RECORD OF THE ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF programming languages, 7TH, 1980.
CONFERENCE RECORD OF THE ANNUAL ACM SYMPOSIUM ON PRINCIPLES ...
收藏 引用
Conf Rec Annu ACM Symp Princ Program Lang 7th Pap Presented at the Symp
作者: Anon
This conference proceedings contains 24 papers. 20 papers are indexed separately. Topics covered include: pointer manipulation;data types;computer document formatting;POPLAR;SUMMER;synchronous schemes;data flow proble... 详细信息
来源: 评论
EQUATIONS AS programming languages.
EQUATIONS AS PROGRAMMING LANGUAGES.
收藏 引用
4th Jerusalem Conference on Information Technology (JCIT): Next Decade in Information Technology.
作者: Dershowitz, Nachum
来源: 评论
INVESTIGATION OF programming languages FOR AUTOMATIC TESTING APPLICATIONS.
INVESTIGATION OF PROGRAMMING LANGUAGES FOR AUTOMATIC TESTING...
收藏 引用
Proceedings - AUTOTESTCON '87: IEEE International Automatic Testing Conference, 'Bridging Standards to Advancing Technology'.
作者: Bunsen, A. SPS Software Products & Services Inc New York NY USA SPS Software Products & Services Inc New York NY USA
Modern programming languages such as Modula-2, Ada, and ATLAS are discussed with respect to automatic testing applications. The advantages and disadvantages are evaluated. Special features are explained by using examp... 详细信息
来源: 评论
LOGIC OF DDP AND ITS IMPACT ON programming languages.
LOGIC OF DDP AND ITS IMPACT ON PROGRAMMING LANGUAGES.
收藏 引用
作者: Hirst, Norman F.
This study suggests that DDP will provide computational resources that are not only quantitatively different but are different in kind from what the authors have known in the past. However, to realize the benefits, th... 详细信息
来源: 评论