咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是161-170 订阅
排序:
Applications of Enhanced Dynamic Code Evolution for Java in GUI Development and Dynamic Aspect-Oriented programming  10
Applications of Enhanced Dynamic Code Evolution for Java in ...
收藏 引用
9th international conference on Generative programming and Component Engineering
作者: Wuerthinger, thomas Binder, Walter Ansaloni, Danilo Moret, Philippe Moessenboeck, Hanspeter Johannes Kepler Univ Linz Linz Austria Univ Lugano Lugano Switzerland
While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support for dynamic code evolution in high-performance, state-of-the-art ... 详细信息
来源: 评论
Program Learning for Beginners: Survey and Taxonomy of programming Learning Tools  9
Program Learning for Beginners: Survey and Taxonomy of Progr...
收藏 引用
9th IEEE international conference on Engineering Education (ICEED)
作者: Saito, Daisuke Sasaki, Ayana Washizaki, Hironori Fukazawa, Yoshiaki Muto, Yusuke Waseda Univ Tokyo Japan Fuji Televis Kids Entertainment Inc Tokyo Japan
Occasionally a game or visual programming language tool designed for programming education is used to teach programming. In general, these tools have various attributes, which inhibit a great learning effect if the to... 详细信息
来源: 评论
Polarization-Insensitive Linear Waveguiding with Annular Photonic Crystals
Polarization-Insensitive Linear Waveguiding with Annular Pho...
收藏 引用
9th international conference on Numerical Simulation of Optoelectronic Devices
作者: Cicek, A. Ulug, B. Akdeniz Univ Dept Phys Fac Arts & Sci TR-07058 Antalya Turkey
Simultaneous propagation of transverse-electric and transverse-magnetic modes through a linear waveguide defined in an annular photonic crystal in two dimensions is demonstrated. Overlapping of the two linearly-indepe... 详细信息
来源: 评论
CodeMage: Educational programming Environment For Beginners  9
CodeMage: Educational Programming Environment For Beginners
收藏 引用
9th international conference on Knowledge and Smart Technology (KST)
作者: Whittall, S. J. Prashandi, W. A. C. Himasha, G. L. S. De Silva, D. I. Suriyawansa, T. K. Sri Lanka Inst Informat Technol Dept Software Engn Fac Comp Malabe Sri Lanka
CodeMage is an interactive educational programming environment targeted at novice Java programmers who have little knowledge in basic programming. the system comes with innovative features such as, real-time guidance ... 详细信息
来源: 评论
Parallel evolutionary algorithms based on shared memory programming approaches
收藏 引用
JOURNAL OF SUPERCOMPUTING 2011年 第2期58卷 270-279页
作者: Redondo, J. L. Garcia, I. Ortigosa, P. M. Univ Almeria Dpt Comp Architecture & Elect Almeria Spain
In this work, two parallel techniques based on shared memory programming are presented. these models are specially suitable to be applied over evolutionary algorithms. To study their performance, the algorithm UEGO (U... 详细信息
来源: 评论
Cost-Oriented Virtual Resource Allocation for Device-to-Device Communications Underlaying LTE Networks  9
Cost-Oriented Virtual Resource Allocation for Device-to-Devi...
收藏 引用
2017 9th IEEE international conference on Communication Software and Networks (ICCSN 2017)
作者: Yulun Cheng Longxiang Yang Jiangsu Key Lab of Wireless Communications Nanjing University of Posts and Telecommunications
Wireless virtualization is an emerging solution for future wireless networks. Besides, device-to-device(D2 D) communications has also gathered significant attention as another promising technology to meet the increasi... 详细信息
来源: 评论
A Pronominal Approach to Binding and Computation
A Pronominal Approach to Binding and Computation
收藏 引用
9th international conference on Typed Lambda Calculi and Applications
作者: Harper, Robert Licata, Daniel R. Zeilberger, Noam Carnegie Mellon Univ Pittsburgh PA 15213 USA
there has been a great deal of research on programming languages for computing with binding and scope (bound variables, α-equivalence, capture-avoiding substitution). these languages are useful for a variety of tasks... 详细信息
来源: 评论
Unified treatment of some different fabrication-cost functions in truss topology optimization  60
Unified treatment of some different fabrication-cost functio...
收藏 引用
60th Anniversary Symposium of the international-Association-for-Shell-and-Spatial-Structures (IASS SYMPOSIUM) / 9th international conference on Textile Composites and Inflatable Structures (STRUCTURAL MEMBRANES)
作者: Kanno, Yoshihiro Ohsaki, Makoto Guest, James K. Univ Tokyo Math & Informat Ctr Hongo 7-3-1 Tokyo 1138656 Japan Kyoto Univ Dept Architecture & Architectural Engn Kyoto Japan Johns Hopkins Univ Dept Civil Engn Baltimore MD 21218 USA
this paper presents a unified formulation of the fabrication costs, or the cost of nodes (connections), in truss topology optimization. this formulation is readily incorporated into an existing mixed-integer programmi... 详细信息
来源: 评论
Management Enhanced Double PBL Based Reform in Advanced programming Design Course
Management Enhanced Double PBL Based Reform in Advanced Prog...
收藏 引用
14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)
作者: Zhang, Yikui Liu, Yaqin Tianjin Univ Sch Comp Software Tianjin 300072 Peoples R China
Lacking real-world experience in software engineering has always been a problem in Software Engineering education. the aim of this paper is to solve this problem by taking a series of reformation during the "Adva... 详细信息
来源: 评论
9th international Workshop on Aspect-Oriented Modeling
9th International Workshop on Aspect-Oriented Modeling
收藏 引用
9th international conference on Model Driven Engineering Languages and Systems
作者: Kienzle, Joerg Stein, Dominik Cazzola, Walter Gray, Jeff Aldawud, Omar Elrad, Tzilla McGill Univ Montreal PQ H3A 2T5 Canada Univ Duisburg Essen Duisburg Germany Univ Milan I-20122 Milan Italy Univ Alabama Birmingham Birmingham AL 35487 USA Lucent Technol Murray Hill NJ USA IIT Chicago IL 60616 USA
this report summarizes the outcomes of the 9th Workshop on Aspect-Oriented Modeling (AOM) held in conjunction with the 9th international conference on Model Driven Engineering Languages and Systems - MoDELS 2006 - in ... 详细信息
来源: 评论