咨询与建议

限定检索结果

文献类型

  • 2,760 篇 会议
  • 970 篇 期刊文献
  • 44 篇 学位论文
  • 12 册 图书
  • 1 篇 科技报告

馆藏范围

  • 3,787 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,278 篇 工学
    • 1,868 篇 计算机科学与技术...
    • 1,481 篇 软件工程
    • 303 篇 电气工程
    • 95 篇 控制科学与工程
    • 67 篇 信息与通信工程
    • 38 篇 电子科学与技术(可...
    • 25 篇 机械工程
    • 18 篇 力学(可授工学、理...
    • 17 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 10 篇 建筑学
    • 10 篇 农业工程
  • 383 篇 理学
    • 310 篇 数学
    • 42 篇 物理学
    • 30 篇 生物学
    • 17 篇 化学
    • 16 篇 系统科学
  • 121 篇 管理学
    • 77 篇 管理科学与工程(可...
    • 46 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 44 篇 教育学
    • 41 篇 教育学
  • 20 篇 文学
    • 15 篇 新闻传播学
  • 18 篇 法学
    • 15 篇 社会学
  • 18 篇 医学
    • 11 篇 基础医学(可授医学...
    • 10 篇 临床医学
  • 14 篇 艺术学
    • 11 篇 音乐与舞蹈学
  • 11 篇 农学
    • 10 篇 作物学
  • 5 篇 经济学
  • 4 篇 哲学
  • 1 篇 历史学
  • 1 篇 军事学

主题

  • 3,787 篇 functional progr...
  • 257 篇 computer science
  • 228 篇 computer languag...
  • 225 篇 programming prof...
  • 201 篇 application soft...
  • 190 篇 logic programmin...
  • 135 篇 parallel program...
  • 134 篇 linear programmi...
  • 131 篇 computer archite...
  • 128 篇 hardware
  • 118 篇 testing
  • 116 篇 concurrent compu...
  • 109 篇 computational mo...
  • 109 篇 control systems
  • 106 篇 parallel process...
  • 105 篇 genetic programm...
  • 99 篇 java
  • 96 篇 mathematical pro...
  • 95 篇 object oriented ...
  • 92 篇 constraint optim...

机构

  • 14 篇 chalmers univ te...
  • 9 篇 univ edinburgh e...
  • 9 篇 chalmers univers...
  • 8 篇 radboud univ nij...
  • 8 篇 microsoft res ca...
  • 7 篇 univ oxford comp...
  • 7 篇 carnegie mellon ...
  • 7 篇 portland state u...
  • 6 篇 univ copenhagen ...
  • 6 篇 indiana univ blo...
  • 6 篇 graduate school ...
  • 6 篇 univ utrecht utr...
  • 6 篇 univ oxford dept...
  • 6 篇 imperial coll lo...
  • 6 篇 microsoft resear...
  • 6 篇 charles universi...
  • 6 篇 univ penn philad...
  • 6 篇 carnegie mellon ...
  • 5 篇 chalmers univers...
  • 5 篇 departamento de ...

作者

  • 17 篇 gibbons jeremy
  • 15 篇 pardo alberto
  • 15 篇 loulergue freder...
  • 13 篇 wang meng
  • 13 篇 plasmeijer rinus
  • 12 篇 m. sakawa
  • 12 篇 jeuring johan
  • 12 篇 hofmann martin
  • 12 篇 vinoski steve
  • 11 篇 sabel david
  • 11 篇 hammond kevin
  • 10 篇 schmidt-schauss ...
  • 10 篇 runciman colin
  • 10 篇 hanus michael
  • 9 篇 viera marcos
  • 9 篇 hudak paul
  • 9 篇 jones simon peyt...
  • 8 篇 orchard dominic
  • 8 篇 lescanne pierre
  • 8 篇 henriksen troels

语言

  • 3,634 篇 英文
  • 141 篇 其他
  • 7 篇 中文
  • 2 篇 西班牙文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 俄文
检索条件"主题词=Functional Programming"
3787 条 记 录,以下是3771-3780 订阅
排序:
DISTRIBUTED COMPUTATION BY GRAPH REDUCTION
收藏 引用
SYSTEMS RESEARCH 1985年 第4期2卷 285-295页
作者: KELLER, RM UNIV UTAH DEPT COMP SCISALT LAKE CITYUT 84112 USA
We describe the use and distributed implementation of a functional language based on the graph‐reduction concept. Attention is given to the issue of implementing higher‐order functions and concurrent evaluation. Pro... 详细信息
来源: 评论
8086/8088 16-Bit Microprocessor Primer
收藏 引用
IEEE Transactions on Acoustics, Speech, and Signal Processing 1983年 第4期31卷 1053-1053页
作者: R. Sorace TRW Electronic Systems Group Redondo Beach CA
来源: 评论
Geometric programming
收藏 引用
IEEE Transactions on Systems, Man, and Cybernetics 1974年 第6期SMC-4卷 593-593页
作者: R. J. Duffin E. L. Peterson C. M. Zener
来源: 评论
End-user driven Service Creation for Converged Service of Telecom and Internet
End-user driven Service Creation for Converged Service of Te...
收藏 引用
4th Advanced International Conference on Telecommunications (AICT 2008)
作者: Youngmee Shin Chorong Yu Seunghwa Chung Sangki Kim Convergent Service Platform Research Department Electronics and Telecommunications Research Institute South Korea
Convergence and user-centricity are the leading trends in telecom network. The service creation scheme is changing to realize these trends. This paper describes the end-user driven service creation method for converge... 详细信息
来源: 评论
Design and Validation of an Open Architecture for an Industrial Robot
Design and Validation of an Open Architecture for an Industr...
收藏 引用
2007 IEEE International Symposium on Industrial Electronics (ISIE 2007), vol.5
作者: J. Gamez Garcia J. Gomez Ortega L. Nieto Nieto A. Sanchez Garcia Jaen University Jaén Spain
In the improvement of robotic manipulator systems, open software platforms play an important role in control design of robots, especially where new techniques, as force control, want to be included. A good platform ca... 详细信息
来源: 评论
Editorial
收藏 引用
Higher-order and symbolic computation 2009年 第1期22卷 1-1页
作者: Olivier Danvy Julian Padget Department of Computer Science Aarhus University Aarhus Denmark University of Bath Bath UK
The present issue is composed of three contributed articles. In "Compilation of extended recursion in call-by-value functional languages," Tom Hirschowitz, Xavier Leroy and J.B. Wells formalize a compilation... 详细信息
来源: 评论
Granular Computing Technical Committee [Society Briefs]
收藏 引用
IEEE Computational Intelligence Magazine 2007年 第3期2卷 4-4页
作者: Xiaohu Hu Drexel University USA
来源: 评论
Rate Distortion Theory: A Mathematical Basis for Data Compression
收藏 引用
IEEE Transactions on Communications 1972年 第6期20卷 1202-1202页
作者: L. Davisson Hughes Aircraft Company El Segundo CA USA
来源: 评论
Guest Editors' Introduction
收藏 引用
IEEE Expert 1987年 第3期2卷 15-15页
Presents the guest editorial for this issue of the publication.
来源: 评论
Introduction to WLLs [Book Review]
收藏 引用
IEEE Network 2004年 第3期18卷 5-5页
作者: I. Nikolaidis University of Alberta Canada
来源: 评论