咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3161-3170 订阅
排序:
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äster9;s, Sweden, in September 2014. the 19 revised full papers presente... 详细信息
来源: 评论
ZUM '95: the Z Formal Specification Notation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book presents the proceedings of the 9th international conference of Z Users, ZUM 9;95, held in Limerick, Ireland in September 1995.;the book contains 34 carefully selected papers on Z, using Z, applications o... 详细信息
来源: 评论
Implementation of functional Languages  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the thoroughly refereed post-workshop proceedings of the 9th international Workshop on Implementation of functional Languages, IFL9;97, held in St. Andrews, Scotland, UK, in September 1997.;th... 详细信息
来源: 评论
Parallel Problem Solving from Nature - PPSN IX  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: thomas Philip Runarsson Hans-Georg Beyer Edmund Burke Juan J. Merelo-Guervós L. Darrell Whitley Xin Yao
We are very pleased to present this LNCS volume, the proceedings of the 9th international conference on Parallel Problem Solving from Nature (PPSN IX). PPSNisoneofthemostrespectedandhighlyregardedconferenceseriesinevo... 详细信息
来源: 评论
Software Architecture. ECSA 2022 Tracks and Workshops  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: thais Batista Tomáš Bureš Claudia Raibulet Henry Muccini
this book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.;the 26... 详细信息
来源: 评论
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 Pablo Humberto Centanaro-Quiroz
this book constitutes the refereed proceedings of the 9th international conference on Technologies and Innovation, CITI  2023, held in Guayaquil, Ecuador, during November 13–16, 2023.;the 20 full papers included... 详细信息
来源: 评论
the IBM type 705 autocoder  9
The IBM type 705 autocoder
收藏 引用
9th Joint ACM-AIEE-IRE Western Computer conference, AIEE-IRE 1956
作者: Goldfinger, Roy International Business Machines Corporation PoughkeepsieNY United States
the 705 Autocoder is a system of automatic coding for use with the international Business Machines Corporation (IBM) EDPM type 705. However, before description of the system, the distinction between automatic programm... 详细信息
来源: 评论
Cryptology and Network Security  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Swee-Huay Heng Rebecca N. Wright Bok-Min Goi
the 9th international conference on Cryptology and Network Security (CANS 2010) was held in Kuala Lumpur, Malaysia during December 12–14, 2010. the conference was co-organized by the Multimedia University (MMU), Mala... 详细信息
来源: 评论
Networked Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Karima Echihabi Roland Meyer
this book constitutes the revised selected papers of the 9th international conference on Networked Systems, NETYS 2021, held virtually in May *** 15 revised full papers and 2 short papers presented were carefully revi... 详细信息
来源: 评论
Product-Focused Software Process Improvement  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th international conference on Product-Focused Software Process Improvement (PROFES 2008) held in Frascati - Montepo... 详细信息
来源: 评论