咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8,278 篇 computer program...
  • 55 篇 language
  • 42 篇 computer softwar...
  • 34 篇 programming lang...
  • 32 篇 artificial intel...
  • 31 篇 programming
  • 30 篇 maximum likeliho...
  • 29 篇 computer program...
  • 28 篇 codes
  • 28 篇 machine learning
  • 23 篇 semantics
  • 22 篇 logic programmin...
  • 20 篇 computer science
  • 20 篇 algorithms
  • 18 篇 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 篇 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,727 篇 英文
  • 1,241 篇 其他
  • 144 篇 德文
  • 48 篇 法文
  • 37 篇 中文
  • 34 篇 俄文
  • 22 篇 日文
  • 9 篇 意大利文
  • 7 篇 波兰文
  • 3 篇 匈牙利文
  • 2 篇 荷兰文
  • 1 篇 捷克文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 瑞典文
检索条件"主题词=Computer programming languages"
8278 条 记 录,以下是221-230 订阅
排序:
To Supervise or not - ML based UWB Obstacle Detection
To Supervise or not - ML based UWB Obstacle Detection
收藏 引用
ITG-Fachtagung Mobilkommunikation
作者: Raja Sattiraju Jacob Kochems Hans D. Schotten
In a previous paper we presented methods for integrating ranging functionality into radio communication systems and using machine learning (ML) algorithms to identify obstacles in a train pairing scenario. Further inv... 详细信息
来源: 评论
Beyond polarity: Towards a multi-discipline intermediate language with sharing  27
Beyond polarity: Towards a multi-discipline intermediate lan...
收藏 引用
27th Annual EACSL Conference computer Science Logic, CSL 2018
作者: Downen, Paul Ariola, Zena M. University of Oregon EugeneOR United States
The study of polarity in computation has revealed that an "ideal" programming language combines both call-by-value and call-by-name evaluation;the two calling conventions are each ideal for half the types in... 详细信息
来源: 评论
CodeWiki: Toward efficient source code sharing on the web  8
CodeWiki: Toward efficient source code sharing on the web
收藏 引用
2018 8th International Workshop on computer Science and Engineering, WCSE 2018
作者: Fukuda, Hiroaki Arunothaikrit, Worachat Kanokchoteworakarn, Maylada Shibaura Institute of Technology 3-7-5 Toyosu Koto Tokyo Japan
Nowadays most of developers can find some useful references of source code on the website. Moreover, those source codes come with their explanations which usually located above or below the code. When the code is too ... 详细信息
来源: 评论
Statistical unigram analysis for source code repository
Statistical unigram analysis for source code repository
收藏 引用
作者: Xu, Weifeng Xu, Dianxiang Alatawi, Abdulrahman El Ariss, Omar Liu, Yunkai Department of Computer Science Bowie State University BowieMD United States Department of Computer Science Boise State University BoiseID United States Department of Computer Science Texas AandM University CommerceTX75428 United States Department of Computer and Information Science Gannon University EriePA United States
Unigram is a fundamental element of n-gram in natural language processing. However, unigrams collected from a natural language corpus are unsuitable for solving problems in the domain of computer programming languages... 详细信息
来源: 评论
Towards coq formalisation of {log} set constraints resolution  3
Towards coq formalisation of {log} set constraints resolutio...
收藏 引用
3rd International Workshop on Sets and Tools, SETS 2018
作者: Dubois, Catherine Weppe, Sulyvan ENSIIE Lab. Samovar CNRS Évry France ENSIIE Évry France
The language {log} is a Constraint Logic programming language that natively supports finite sets and constraints such as (non) equality and (non) membership. The set constraints resolution process is mathematically fo... 详细信息
来源: 评论
Study of InN thin film for pulse oximeter application
Study of InN thin film for pulse oximeter application
收藏 引用
Latin America Optics and Photonics Conference, LAOP 2018
作者: Sparvoli, Marina Gazziro, Mario Mansano, Ronaldo Chubaci, José Jorge, Fábio Onmori, Roberto Universidade Federal do ABC Centro de Matemática Computação e Cognição Santo André Brazil Universidade de São Paulo São Paulo Brazil
During the last few years the interest in indium nitride (InN) semiconductor has been remarkable because this material is a small bandgap semiconductor and could be used for infrared applications and as an IR sensor. ... 详细信息
来源: 评论
Revisiting monitors  18
Revisiting monitors
收藏 引用
22nd Brazilian Symposium on programming languages, SBLP 2018
作者: Santos, Renan Rodriguez, Noemi Ierusalimschy, Roberto PUC-Rio Rio de Janeiro RJ Brazil
Most current programming languages do not restrict the use of the concurrency primitives they provide, leaving it to the programmer to detect data races. In this paper, we revisit the monitor concept, which guards aga... 详细信息
来源: 评论
A Review of programming Code Assessment Approaches  5
A Review of Programming Code Assessment Approaches
收藏 引用
5th IEEE International Conference on Engineering Technologies and Applied Sciences, ICETAS 2018
作者: Qayyum, Noor Ul Seman, Muhamad Sadry Abu Shah, Asadullah Qureshi, Muhammad Shuaib Raza, Ali Kulliyyah of Information and Communication Technology International Islamic University Malaysia Kuala Lumpur Malaysia
Learning computer programming language in harmony with practical coding activity while ensuring proper content progression is critical in introductory programming courses. Novice programmers usually face difficulty in... 详细信息
来源: 评论
_ToflowChart: A prototype compiler to convert source-code to flowchart  18
_ToflowChart: A prototype compiler to convert source-code to...
收藏 引用
18th International Conference on Advances in ICT for Emerging Regions, ICTer 2018
作者: Shafeek, Nasik Karunarathne, Damitha D. University of Colombo School of Computing University of Colombo Sri Lanka
In the modern distributed software development environment inter-developer communication is mainly through the source-code they write themselves. Source-code that one developer writes may not definitely make sense to ... 详细信息
来源: 评论
Poster: Guiding developers to make informative commenting decisions in source code  40
Poster: Guiding developers to make informative commenting de...
收藏 引用
40th ACM/IEEE International Conference on Software Engineering, ICSE 2018
作者: Huang, Yuan Jia, Nan Zhou, Qiang Chen, Xiangping Xiong, Yingfei Luo, Xiaonan Sun Yat-sen University Guangzhou GuangDong China Hebei GEO University Shijiazhuang HeBei China Peking University Haidian Qu Beijing China
Code commenting is a common programming practice of practical importance to help developers review and comprehend source code. However, there is a lack of thorough specifications to help developers make their commenti... 详细信息
来源: 评论