QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2011    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 set-theoretic foundation of parametric polymorphism and subtyping 会议论文 16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September Castagna Giuseppe; Xu Zhiwu 收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 Computer programming languages  Recursive functions   extending logic programs with description logic expressions for the semantic web 会议论文 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23 Shen Yi-Dong; Wang Kewen 收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08 Atoms  Data description  Formal languages  Logic programming  Ontology  Semantic Web  Semantics  User interfaces   a practical covert channel identification approach in source code based on directed information flow graph 会议论文 2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02 Wu JingZheng; Ding Liping; Wang Yongji; Han Wei 收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10 Algorithms  Building codes  Computer operating systems  Computer programming languages  Graphic methods  Software reliability   design and implementation of a graphical programming tool for children 会议论文 2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011, Shanghai, China, 10-Jun-02 Xiajian Chen; Danli Wang; Hongan Wang 收藏  |  浏览/下载：10/0  |  提交时间：2011/10/10 Computer graphics  Computer programming languages  Computer science   Monitoring of pulsed MIG welding process of aluminum alloy based on the LabVIEW real-time vision 会议论文 作者:  Huang, Jiankang;  Lu, Lihui;  Shao, Ling;  Shi, Yu;  Fan, Ding 收藏  |  浏览/下载：18/0  |  提交时间：2020/11/15 Computer programming languages  Data acquisition  Gas metal arc welding  Inert gas welding  Signal processing  Software testing  COM technology  Complex signal processing  Data acquisition cards  LabViEW  Measurement and control  Pulsed MIG welding  Real-time visual processing  Synchronous acquisition