咨询与建议

限定检索结果

文献类型

  • 3,410 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

  • 3,617 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,406 篇 工学
    • 1,903 篇 计算机科学与技术...
    • 1,157 篇 软件工程
    • 418 篇 电气工程
    • 272 篇 控制科学与工程
    • 200 篇 信息与通信工程
    • 129 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 57 篇 交通运输工程
    • 56 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 46 篇 化学工程与技术
    • 42 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 406 篇 管理学
    • 340 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 108 篇 教育学
    • 105 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 314 篇 linear programmi...
  • 252 篇 programming
  • 188 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 optimization
  • 119 篇 integer programm...
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 computer program...
  • 49 篇 mathematical mod...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 7 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,401 篇 英文
  • 190 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3619 条 记 录,以下是2231-2240 订阅
排序:
A hybrid disciplined Agile software process model
A hybrid disciplined Agile software process model
收藏 引用
the international conference on Informatics and Systems (INFOS)
作者: Karim M. Zaki Ramadan Moawad College of Computing & Information Technology Technology and Maritime Transport Cairo Egypt
there is a more challenging demand nowadays for software organizations to deliver high quality product on time with low budget. Software processes help them achieve this goal, gain their customer satisfaction, accompl... 详细信息
来源: 评论
Knowledge-based service system for supply chain management
Knowledge-based service system for supply chain management
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Paul Moynihan Wei Dai School of Management and Information Systems Victoria University Melbourne VIC Australia
A perennial problem with running modern e-business systems is to manage supply chains cost-effectively. To get the maximum efficiency a higher degree of automation is required. this research intends a preliminary step... 详细信息
来源: 评论
A study on object-oriented implementation of digital watermark based on uncertainty management
A study on object-oriented implementation of digital waterma...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Manabu Hirakawa Junichi Iijima The Department of Industrial Engineering and Management Tokyo Institute of Technology Meguro Tokyo Japan
Recently, the use of digital watermarking has increased, primarily for copyright protection of E-commerce sites and mobile applications. Digital watermarks are highly dependent on the installation platform and OS, and... 详细信息
来源: 评论
Auction of Financial Transmission Rights in electricity market environment
Auction of Financial Transmission Rights in electricity mark...
收藏 引用
international conference on European Electricity Market, EEM
作者: Pedro Ermida Judite Ferreira Zita Vale Tiago Sousa GECAD (Knowledge Engineering and Decision-Support Research Center) of The Institute of Engineering Polytechnic Institute of Porto (ISEP/IPP) Portugal
An auction model is used to increase the individual profits for market players with products they do not use. A Financial Transmission Rights Auction has the goal of trade transmission rights between Bidders and helps... 详细信息
来源: 评论
Formal modeling and verification of services managements for pervasive computing environment
Formal modeling and verification of services managements for...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Hai Wan Zoe Drey Zhiyang You Liu Liu Department of Computer Science and Technology Tsinghua University China Thales LaBRI France School of Software Tsinghua University China
Various forms of pervasive computing environments are being deployed in an increasing number of areas including hospitals, homes and military settings. Entities in this environment provide rich functionalities (i.e. s... 详细信息
来源: 评论
Session details: Session 7  10
Session details: Session 7
收藏 引用
Proceedings of the 15th ACM SIGPLAN international conference on functional programming
作者: Michael Hicks University of Maryland College Park
No abstract available.
来源: 评论
A statecharts — Based software development process for implementing atomic read/ write shared memory in mobile ad hoc network
A statecharts — Based software development process for impl...
收藏 引用
the international conference on Informatics and Systems (INFOS)
作者: Fatma. A. Ornara Reham. A. Shihata Cairo University Giza EG Math's Department EL Minufiya University Shebin-EI Kom Egypt
Mobile agents' paradigm and technology is emerging as a powerful tool for engineering highly dynamic, reconfigurable distributed systems and applications in heterogeneous environments. this paper proposes a statec... 详细信息
来源: 评论
A Practical Management Framework for Commercial Software Development with Open Sources
A Practical Management Framework for Commercial Software Dev...
收藏 引用
IEEE international conference on e-Business Engineering (ICEBE)
作者: Sooho Chang Jaeshin Lee Woobok Yi Advanced Software Research Team Semiconductor Business Samsung Electronics Company Limited South Korea
Open source software (OSS) has been widely accepted as one of reuse methods to develop software applications in industry. OSS is well known for free software which can be used with freedoms on costs and copyrights. No... 详细信息
来源: 评论
Cloning and copying between GNOME projects
Cloning and copying between GNOME projects
收藏 引用
international Mining Software Repositories, MSR
作者: Jens Krinke Nicolas Gold Yue Jia David Binkley Centre for Research on Evolution Search and Testing (CREST) King''s College UK Loyola University Maryland Baltimore MD USA
this paper presents an approach to automatically distinguish the copied clone from the original in a pair of clones. It matches the line-by-line version information of a clone to the pair's other clone. A case stu... 详细信息
来源: 评论
Temperature Dependence of Compressive Deformation Behavior of Mg89Zn4Y7 Extruded LPSO-Phase Alloys
Temperature Dependence of Compressive Deformation Behavior o...
收藏 引用
7th Pacific Rim international conference on Advanced Materials and Processing
作者: Hagihara, Koji Kinoshita, Akihito Sugino, Yuya Yamasaki, Michiaki Kawamura, Yoshihito Yasuda, Hiroyuki Y. Umakoshi, Yukichi Osaka Univ Grad Sch Engn Div Mat & Mfg Sci 2-1 Yamada Oka Suita Osaka 5650871 Japan Kumamoto Univ Dept Materials Sci Kumamoto 8608555 Japan Natl Inst Mat Sci Tsukuba Ibaraki 3050047 Japan
Deformation mechanisms of Mg89Zn4Y7 (at.%) extruded alloy, which is mostly composed of LPSO-phase, was investigated focusing on their temperature dependence. the yield stress of as-extruded alloy showed extremely high... 详细信息
来源: 评论