咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
Reasoning of real-time distributed programming languages
Reasoning of real-time distributed programming languages
收藏 引用
Proceedings: Fifth International Workshop on Software Specification and Design
作者: Shyamasundar, R.K. Hooman, J. Gerth, R. Pennsylvania State Univ University Park PA USA
The authors provide a hierarchy of proof techniques for deriving the timing properties of real-time distributed programs. First, they provide a static characterization of real-time distributed programs using the maxim... 详细信息
来源: 评论
programming languages FOR MEDICAL APPLICATIONS.
PROGRAMMING LANGUAGES FOR MEDICAL APPLICATIONS.
收藏 引用
Frontiers of computers in Medicine - 1982. Proceedings - 4th Annual Conference IEEE Engineering in Medicine and Biology Society.
作者: Dunn, Stanley M.
来源: 评论
ON THE USE OF ABSTRACT DATA TYPES IN REAL programming languages.
ON THE USE OF ABSTRACT DATA TYPES IN REAL PROGRAMMING LANGUA...
收藏 引用
Proceedings - Canadian Information Processing Society, Session 84: Images of Fear/Images of HOPE.
作者: Levy, Michael R.
来源: 评论
programming languages with plan knowledge representation for learning
Programming languages with plan knowledge representation for...
收藏 引用
2016 International Conference on Artificial Intelligence, ICAI 2016 - WORLDCOMP 2016
作者: Schweikert, Christina Division of Computer Science Mathematics and Science St. John's University QueensNY United States
Introductory programming courses can be taught in a variety of languages that are current with industry demands and support essential features such as object oriented programming. programming languages can also be com... 详细信息
来源: 评论
ROBOT LEVEL programming languages AND THE SRIL-90 LANGUAGE.
ROBOT LEVEL PROGRAMMING LANGUAGES AND THE SRIL-90 LANGUAGE.
收藏 引用
Proceedings - IEEE computer Society's Eighth International computer Software & Applications Conference, COMPSAC 84.
作者: Ahmad, Shaheen Imperial Coll of Science & Technology Dep of Mechanical Engineering London Engl Imperial Coll of Science & Technology Dep of Mechanical Engineering London Engl
The design requirements of robot level languages are outlined by considering an automation example with a robot. The design features of SRIL-90 robot control language are then presented, together with their implicatio... 详细信息
来源: 评论
COMPARING PASCAL AND MODULA-2 AS SYSTEMS programming languages.
收藏 引用
programming languages and System Design, Proceedings of the IFIP TC 2 Working Conference.
作者: Hariel, Pieter H. Univ van Amsterdam Vakgroep Informatica Amsterdam Neth Univ van Amsterdam Vakgroep Informatica Amsterdam Neth
The high-level programming languages Pascal and Modula-2 are evaluated as tools for system programming. The construction of operating system utilities in Pascal is the focal point of the first part of the paper. Pasca... 详细信息
来源: 评论
Robots programming languages.
Robots Programming Languages.
收藏 引用
I Krajowa Konferencja Robotyki. 66, 67 and 68 1985.
作者: Wozniak, Elzbieta
The robot programming languages can be divided into task-oriented and move-oriented, and both automatically specify the robotic motion. Examples of various languages are introduced, starting with Mechanical Hand Inter... 详细信息
来源: 评论
Learning unified features from natural and programming languages for locating buggy source code  25
Learning unified features from natural and programming langu...
收藏 引用
25th International Joint Conference on Artificial Intelligence, IJCAI 2016
作者: Huo, Xuan Li, Ming Zhou, Zhi-Hua National Key Laboratory for Novel Software Technology Nanjing University Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing210023 China
Bug reports provide an effective way for end-users to disclose potential bugs hidden in a software system, while automatically locating the potential buggy source code according to a bug report remains a great challen... 详细信息
来源: 评论
Conference Record of the Seventeenth Annual ACM Symposium on Principles of programming languages
Conference Record of the Seventeenth Annual ACM Symposium on...
收藏 引用
Conference Record of the Seventeenth Annual ACM Symposium on Principles of programming languages, POPL'90
This conference proceedings contains 29 papers. The topics covered include: lambda calculus;types and typing;object oriented languages;dataflow networks;concurrent languages;inheritance;and logic programming.
来源: 评论
programming languages: Principles and Paradigms
收藏 引用
2008年
作者: Adesh K. Pandey
programming languages: Principles and Paradigms focuses on designing, implementation, properties and limitations of new and existing programming languages. The book supports a critical study of the Imperative, Functio... 详细信息
来源: 评论