咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 74 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 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. ...
  • 6 篇 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,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是3551-3560 订阅
Parallel Computing Technologies  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Victor E. Malyshkin
the PaCT-2003 (Parallel Computing Technologies) conference was a four-day conference held in Nizhni Novgorod on September 15–19, 2003. this was the 7th international conference of the PaCT series, organized in Russia... 详细信息
来源: 评论
Engineering Societies in the Agents World VIII  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the thoroughly refereed post-conference proceedings of the 7th international Workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. the 19 revi... 详细信息
来源: 评论
ICTERI 2021 Workshops  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Oleksii Ignatenko Vyacheslav Kharchenko Vitaliy Kobets Hennadiy Kravtsov Yulia Tarasich Aleksander Spivakovsky Vadim Ermolayev David Esteban Vitaliy Yakovyna
this book contains the workshops papers presented at the 17th international conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2021, held in Kherson, U... 详细信息
来源: 评论
Perspectives in Conceptual Modeling  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jacky Akoka Stephen W. Liddle Il-Yeol Song Michela Bertolotto Isabelle Comyn-Wattiau Willem-Jan Heuvel Manuel Kolp Juan Trujillo Christian Kop Heinrich C. Mayr
We are pleased to present the proceedings of the workshops held in conjunction with ER 2005, the 24th international conference on Conceptual Modeling. the objective of these workshops was to extend the spectrum of the... 详细信息
来源: 评论
Coordination, Organizations, Institutions and Norms in Agent Systems IV  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jomi Fred Hübner Eric Matson Olivier Boissier Virginia Dignum
this book constitutes the thoroughly refereed post-workshop proceedings of the international Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2008, held as two events at AAMAS 2008... 详细信息
来源: 评论
Hardware and Software: Verification and Testing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Kerstin Eder João Lourenço Onn Shehory
this book constitutes the thoroughly refereed post-conference proceedings of the 7th international Haifa Verification conference, HVC 2011, held in Haifa, Israel in December 2011.;the 15 revised full papers presented ... 详细信息
来源: 评论
Software Language Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Benoît Combemale David J. Pearce Olivier Barais Jurgen J. Vinju
this book constitutes the refereed proceedings of the 7th international conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. the 19 revised full papers presente... 详细信息
来源: 评论
Declarative Agent Languages and Technologies VI  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Matteo Baldoni Tran Cao Son M. Birna Riemsdijk Michael Winikoff
this volume constitutes the revised selected papers of the 6th international Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th international Joint conference on Autonomous Agents and Multiagent Sy... 详细信息
来源: 评论
HCI in Mobility, Transport, and Automotive Systems  1
HCI in Mobility, Transport, and Automotive Systems
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Heidi Krömker
this book constitutes the refereed proceedings of the 7th international conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2025, held as part of the 27th HCI international conference, HCII 2025,... 详细信息
来源: 评论
Technologies and Innovation  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Rafael Valencia-García Martha Bucaram-Leverone Javier Del Cioppo-Morstadt Néstor Vera-Lucio Emma Jácome-Murillo
this book constitutes refereed proceedings of the 7th international conference on Technologies and Innovation, CITI 2021, held in Guayaquil, Ecuador, in November 2021.
来源: 评论