咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是61-70 订阅
排序:
Learning Experiences in programming: the Motivating Effect of a Physical Interface  9
Learning Experiences in Programming: The Motivating Effect o...
收藏 引用
9th international conference on Computer Supported Education (CSEDU)
作者: Martin, Chris Hughes, Janet Richards, John Univ Dundee Life Sci CITR Dundee Scotland Open Univ Sch Comp & Commun Edinburgh Midlothian Scotland IBM TJ Watson Res Ctr Yorktown Hts NY 10598 USA Univ Dundee Dundee Scotland
A study of undergraduate students learning to program compared the use of a physical interface with use of a screen-based equivalent interface to obtain insights into what made for an engaging learning experience. Emo... 详细信息
来源: 评论
programming Safety Requirements in the REFLECT Design Flow
Programming Safety Requirements in the REFLECT Design Flow
收藏 引用
9th IEEE international conference on Industrial Informatics (INDIN)
作者: Petrov, Zlatko Kratky, Kamil Cardoso, Joao M. P. Diniz, Pedro C. Honeywell International s.r.o. Czech Republic
the common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedi... 详细信息
来源: 评论
Aspect-Oriented programming of Video-Based Surveillance Systems
Aspect-Oriented Programming of Video-Based Surveillance Syst...
收藏 引用
9th IEEE international conference on Industrial Informatics (INDIN)
作者: Cardoso, N. Peixoto, N. Cabral, J. Mendes, J. Monteiro, J. Tavares, A. Univ Minho Ctr Algoritmi Dept Ind Elect P-4719 Braga Portugal
When developing video-based surveillance systems the developer faces a highly complex task due to the wide range of application domains where video-based surveillance systems are applied. As the number of domains of a... 详细信息
来源: 评论
functional Reactive programming, Refactored  9
Functional Reactive Programming, Refactored
收藏 引用
9th ACM SIGPLAN Symposium on Haskell (Haskell 2016)
作者: Perez, Ivan Baerenz, Manuel Nilsson, Henrik Univ Nottingham Nottingham England Univ Bamberg Bamberg Germany
functional Reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. this paper investigates this commonality, tur... 详细信息
来源: 评论
Generics for the masses
Generics for the masses
收藏 引用
9th international conference on functional programming
作者: Hinze, Ralf Univ Bonn Inst Informat 3 D-53117 Bonn Germany
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can be derived in Haskell, such as show, re... 详细信息
来源: 评论
Model for Dynamic Grain Sizing through Compound Parallelization for an Optimization Problem Solving Grid Application  08
Model for Dynamic Grain Sizing Through Compound Parallelizat...
收藏 引用
9th IEEE/ACM international conference on Grid Computing
作者: Wahib, M. Munawar, Asim Munetomo, Masaharu Kiyoshi, Akama Hokkaido Univ Grad Sch Info Sci & Tech Sapporo Hokkaido Japan Hokkaido Univ Informat Initiat Ctr Sapporo Hokkaido Japan
MHGrid (Meta Heuristics Grid), a service oriented grid application offering global optimization solvers, allows developers to integrate their solvers and objective functions through an easy-to-use transparent mechanis... 详细信息
来源: 评论
Computer aided systems for target language teaching simplification
Computer aided systems for target language teaching simplifi...
收藏 引用
9th international conference on the Experience of Designing and Application of CAD Systems in Microelectronics
作者: Kushnir, Yuri Sviridova, Tatyana Marikutsa, Ulyana Sasenyuk, Yulia Zakaulov, Alexander Lviv Polytehn Natl Univ Lvov Ukraine
In this paper a review of existing computer aided language learning paradigms are considered and analyzed. the symbolic programming paradigm was introduced and proposed as one to compensate for existing gaps. An examp... 详细信息
来源: 评论
Local variable scoping and Kleene algebra with tests
收藏 引用
JOURNAL OF LOGIC AND ALGEBRAIC programming 2008年 第1期76卷 3-17页
作者: Aboul-Hosn, Kamal Kozen, Dexter Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We provide (i) a fully compositional relatio... 详细信息
来源: 评论
Integer programming Based Heterogeneous CPU-GPU Cluster Scheduler for SLURM Resource Manager
Integer Programming Based Heterogeneous CPU-GPU Cluster Sche...
收藏 引用
14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)
作者: Soner, Seren Ozturan, Can Bogazici Univ Dept Comp Engn Istanbul Turkey
We present an integer programming based heterogeneous CPU-GPU cluster scheduler for the widely used SLURM resource manager. Our scheduler algorithm takes windows of jobs and solves an allocation problem in which free ... 详细信息
来源: 评论
URI Online Judge Academic: A Tool for Algorithms and programming Classes  9
URI Online Judge Academic: A Tool for Algorithms and Program...
收藏 引用
9th IEEE international conference on Computer Science and Education (ICCSE)
作者: Bez, Jean Luca Tonin, Neilor A. Rodegheri, Paulo R. Univ Reg Integrada Comp Sci & Engn Dept Erechim RS Brazil
the URI Online Judge Academic is an online tool that assists professors in programming classes and motivates students to practice more and to go beyond the theoretical base learned in class and, as a result, helps the... 详细信息
来源: 评论