咨询与建议

限定检索结果

文献类型

  • 2,762 篇 会议
  • 973 篇 期刊文献
  • 44 篇 学位论文
  • 15 册 图书
  • 1 篇 科技报告

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

作者

  • 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,642 篇 英文
  • 141 篇 其他
  • 7 篇 中文
  • 2 篇 西班牙文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 俄文
检索条件"主题词=Functional Programming"
3795 条 记 录,以下是3771-3780 订阅
排序:
Design of a QoS Signaling API for Advanced Multimedia Applications in NGN
Design of a QoS Signaling API for Advanced Multimedia Applic...
收藏 引用
International Conference on Information Technology: New Generations (ITNG)
作者: Ognjen Dobrijevic Miran Mosmondor Maja Matijasevic Faculty of Electrical Engineering and Computing University of Zagreb Zagreb Croatia Ericsson Nikola Tesla Research and Development Center Zagreb Croatia
As a standardized NGN architecture, the 3rd generation partnership project IP multimedia subsystem (IMS) defines standard service capabilities and interfaces, as well as a common IP-based infrastructure, which enable ... 详细信息
来源: 评论
Automatically generating documentation for lambda expressions in Java
arXiv
收藏 引用
arXiv 2019年
作者: Alqaimi, Anwar Thongtanunam, Patanamon Treude, Christoph School of Computer Science University of Adelaide School of Computing and Information Systems University of Melbourne
When lambda expressions were introduced to the Java programming language as part of the release of Java 8 in 2014, they were the language’s first step into functional programming. Since lambda expressions are still r... 详细信息
来源: 评论
A hypergraph rewriting language and its semantics*
收藏 引用
Hokkaido Mathematical Journal 2005年 第1期34卷 103-134页
作者: Higuchi, Akira Kita-ku Sapporo 001-0012 Kita 12 Nishi 3-5-217 Japan
A resource conscious functional language is introduced based a hypergraph rewriting scheme described by higher dimensional hypergraphs. Its operational and denotational semantics are given. © 2005 by the Universi... 详细信息
来源: 评论
AdapT: A reusable package for implementing smart contracts that process transactions of congruous types
收藏 引用
SOFTWARE IMPACTS 2024年 21卷
作者: Gorski, Tomasz Univ Gdansk Inst Comp Sci Wita Stwosza 57 PL-80308 Gdansk Poland
The widespread use of smart contracts results in high repeatability of their source code. The solution seems to lay in reusing the verification rules that check the feasibility of logically related transactions. The s... 详细信息
来源: 评论
Signs of the Week: A functional Approach to Manual Sign Training
收藏 引用
Augmentative and Alternative Communication 1990年 第1期6卷 29-37页
作者: Spragale, Dianne M. Micucci, Debbie Ken-Crest Services/River Crest Center Mont Clare Pennsylvania 19453 United States
A problem exists in training direct care staff that work with developmentally disabled populations to be aware of the use of manual signs as a communication system and to use this system functionally within their envi... 详细信息
来源: 评论
Why computer science students find formal reasoning frightening
收藏 引用
Journal of Computer Assisted Learning 1994年 第4期10卷 240-250页
作者: Fung, P. Goldson, D. Reeves, S. Bornat, R. Institute of Educational Technology Open University United States Queen Mary & Westfield College University of London United Kingdom
Abstract  This paper focuses on difficulties which first‐year undergraduate computer science students experience in learning formal reasoning techniques. The main findings from an empirical investigation are reported... 详细信息
来源: 评论
The Forrest Mms Circuit Scrapbook
收藏 引用
IEEE Transactions on Acoustics, Speech, and Signal Processing 1983年 第4期31卷 1053-1053页
作者: J. Johnston Bell Laboratories Murray Hill NJ
来源: 评论
The Approximate Minimization of functionals
收藏 引用
IEEE Transactions on Automatic Control 1973年 第2期18卷 197-197页
作者: Anderson, Donald G. M. Harvard University Cambridge MA USA
来源: 评论
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
来源: 评论