咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
Using functional programming to Recognize Named Structure in an Optimization Problem: Application to Pooling
收藏 引用
AICHE JOURNAL 2016年 第9期62卷 3085-3095页
作者: Ceccon, Francesco Kouyialis, Georgia Misener, Ruth Imperial Coll London Dept Comp South Kensington SW7 2AZ England
Branch-and-cut optimization solvers typically apply generic algorithms, e.g., cutting planes or primal heuristics, to expedite performance for many mathematical optimization problems. But solver software receives an i... 详细信息
来源: 评论
functional programming for massively parallel computing
Functional programming for massively parallel computing
收藏 引用
1992 Workshop on Future Directions of Massively Parallel Processing: The New Frontiers
作者: Dennis, Jack B. MIT Laboratory for Computer Science United States
One important tool for building software is facilities for encapsulating abstractions. The currently popular programming paradigms for parallel computing do not provide such an encapsulation capability if parallelism ... 详细信息
来源: 评论
functional programming and combinatory algebras  13th
Functional programming and combinatory algebras
收藏 引用
13th Symposium on Mathematical Foundations of Computer Science, MFCS 1988
作者: Böhm, Corrado Dipartimento di Matematica Istituto “G. Castelnuovo” Università degli Studi di Roma “La Sapienza” P.le Aldo Moro 5 ROMAI-00185 Italy
来源: 评论
functional programming with sets  3rd
收藏 引用
3rd International Conference on functional programming Languages and Computer Architecture, 1987
作者: Jayaraman, Bharat Plaisted, David A. Department of Computer Science University of North Carolina at Chapel Hill Chapel HillNC27514 United States
Set abstraction, originally introduced in fuctional languages by Turner, is an appealing construct because it leads to concise definitions of many interesting operations. However, existing approaches treat sets as lis... 详细信息
来源: 评论
functional BIP: Embedding connectors in functional programming languages
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN programming 2017年 92卷 19-44页
作者: Edelmann, Romain Bliudze, Simon Sifakis, Joseph Ecole Polytech Fed Lausanne Stn 14 CH-1015 Lausanne Switzerland Univ Grenoble Alpes Verimag 700 Ave Cent F-38401 St Martin Dheres France
This paper presents a theoretical foundation for functional language implementations of Behaviour -Interaction -Priority (BIP). We introduce a set of connector combinators describing synchronisation, data transfer, pr... 详细信息
来源: 评论
PARA-functional programming
收藏 引用
COMPUTER 1986年 第8期19卷 60-70页
作者: HUDAK, P Yale University
First Page of the Article
来源: 评论
functional programming Applied To Computational Algebra
Functional Programming Applied To Computational Algebra
收藏 引用
作者: Ian Holm Kessler Colorado State University
学位级别:硕士
Underlying many, if not all, areas of mathematics is category theory, an alternative to set theory as a foundation that formalizes mathematical structures and relations between them. These relations abstract the idea ... 详细信息
来源: 评论
THE PROMISES OF TYPED, PURE, AND LAZY functional programming: PART II
收藏 引用
COMPUTING IN SCIENCE & ENGINEERING 2009年 第5期11卷 68-75页
作者: Laeufer, Konstantin Thiruvathukal, George K. Loyola Univ Chicago IL 60611 USA
This second installment picks up where Konrad Hinsen's article "The Promises of functional programming" from the July/August 2009 issue left off, covering static type inference and lazy evaluation in fun... 详细信息
来源: 评论
functional programming and parallel processing  2nd
Functional programming and parallel processing
收藏 引用
2nd International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR 1996
作者: Lins, Rafael Dueire Departamento de Informática Universidade Federal de Pernambuco RecifePE Brazil
functional languages belong to a neat and very high-level programming paradigm. A functional program is a set of function definitions. The λ-Calculus, a theory of functions under recursion, offers a solid theoretic b... 详细信息
来源: 评论
Customizing a functional programming language for web development
收藏 引用
COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2010年 第4期36卷 345-351页
作者: Malkov, Sasa N. Univ Belgrade Fac Math Belgrade 11000 Serbia
The characteristics of functional programming languages recommend them for web development. We checked that in practice, by customizing the functional programming language Wall for web development. Customizations incl... 详细信息
来源: 评论