咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3171-3180 订阅
排序:
Parallel Processing and Applied Mathematics  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Roman Wyrzykowski Konrad Karczewski Jack Dongarra Jerzy Waśniewski
this two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9th international conference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011.the... 详细信息
来源: 评论
Rewriting Techniques and Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the refereed proceedings of the 9th international conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. the 22 revised full papers presented we... 详细信息
来源: 评论
Cloud Computing, Big Data & Emerging Topics  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Marcelo Naiouf Franco Chichizola Enzo Rucci Laura De Giusti
this book constitutes the revised selected papers of the 9th international conference on Cloud Computing, Big Data & Emerging Topics, JCC-BD&ET 2021, held in La Plata, Argentina*, in June 2021.;*the conference... 详细信息
来源: 评论
Integrated Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: John Derrick Stefania Gnesi Diego Latella Helen Treharne
this book constitutes the refereed proceedings of the 9th international conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. the 20 revised full papers presented together with 2 invited p... 详细信息
来源: 评论
Cyber Physical Systems. Model-Based Design  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Roger Chamberlain Martin Edin Grimheden Walid Taha
this book constitutes the proceedings of the 9th international Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th international Workshop on Embedded and Cyber-Physical Systems Education, WES... 详细信息
来源: 评论
programming Multi-Agent Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Rem Collier Jürgen Dix Peter Novák
this book constitutes the proceedings of the 8th international Workshop on programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th international Joint conference on... 详细信息
来源: 评论
Parallel Processing and Applied Mathematics  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Roman Wyrzykowski Konrad Karczewski Jack Dongarra Jerzy Waśniewski
this two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9th international conference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011.the... 详细信息
来源: 评论
Information and Communication Technologies in Education, Research, and Industrial Applications  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Vadim Ermolayev Heinrich C. Mayr Mykola Nikitchenko Aleksander Spivakovsky Grygoriy Zholtkevych
this book constitutes the thoroughly refereed proceedings of the 9th international conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine... 详细信息
来源: 评论
Fundamentals of Software Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Hossein Hojjat Mieke Massink
this book constitutes the thoroughly refereed post-conference proceedings of the 9th international conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.
来源: 评论
Advances in Service-Oriented and Cloud Computing  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Christian Zirpins Zoltan Nochta Oliver Waldhorst Guadalupe Ortiz Jacopo Soldani Massimo Villari Damian Tamburri
this volume contains the technical papers presented in the workshops, which took place at the 9th European conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.;th... 详细信息
来源: 评论