咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Optimization approaches to possibilistic linear programming problems
Optimization approaches to possibilistic linear programming ...
收藏 引用
9th international-Fuzzy-Systems-Association World Congress/20th North-American-Fuzzy-Information-Processing-Society, international conference
作者: Inuiguchi, M Tanino, T Tanaka, H Osaka Univ Dept Elect & Informat Sci Grad Sch Engn Suita Osaka Japan
In this paper, we describe optimization approaches to possibilistic linear programming problems. Especially, achievement rate approaches are developed. Solution algorithms under a given fuzzy goal and under unknown go... 详细信息
来源: 评论
programming Safety Requirements in the REFLECT Design Flow
Programming Safety Requirements in the REFLECT Design Flow
收藏 引用
9th IEEE international conference on Industrial Informatics (INDIN)
作者: Petrov, Zlatko Kratky, Kamil Cardoso, Joao M. P. Diniz, Pedro C. Honeywell International s.r.o. Czech Republic
the common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedi... 详细信息
来源: 评论
functional morphology
Functional morphology
收藏 引用
9th international conference on functional programming
作者: Forsberg, M Ranta, A Chalmers Univ Technol Dept Comp Sci S-41296 Gothenburg Sweden Univ Gothenburg S-41296 Gothenburg Sweden
this paper presents a methodology for implementing natural language morphology in the functional language Haskell. the main idea behind is simple: instead of working with untyped regular expressions, which is the stat... 详细信息
来源: 评论
Towards inductive support logic programming
Towards inductive support logic programming
收藏 引用
9th international-Fuzzy-Systems-Association World Congress/20th North-American-Fuzzy-Information-Processing-Society, international conference
作者: Baldwin, JF Martin, TP Univ Bristol Dept Engn Math Artificial Intelligence Grp Bristol BS8 1TR Avon England
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. this paper presents a snapshot of current research, aimed... 详细信息
来源: 评论
URI Online Judge Academic: A Tool for Algorithms and programming Classes  9
URI Online Judge Academic: A Tool for Algorithms and Program...
收藏 引用
9th IEEE international conference on Computer Science and Education (ICCSE)
作者: Bez, Jean Luca Tonin, Neilor A. Rodegheri, Paulo R. Univ Reg Integrada Comp Sci & Engn Dept Erechim RS Brazil
the URI Online Judge Academic is an online tool that assists professors in programming classes and motivates students to practice more and to go beyond the theoretical base learned in class and, as a result, helps the... 详细信息
来源: 评论
Computer aided systems for target language teaching simplification
Computer aided systems for target language teaching simplifi...
收藏 引用
9th international conference on the Experience of Designing and Application of CAD Systems in Microelectronics
作者: Kushnir, Yuri Sviridova, Tatyana Marikutsa, Ulyana Sasenyuk, Yulia Zakaulov, Alexander Lviv Polytehn Natl Univ Lvov Ukraine
In this paper a review of existing computer aided language learning paradigms are considered and analyzed. the symbolic programming paradigm was introduced and proposed as one to compensate for existing gaps. An examp... 详细信息
来源: 评论
Development and Evaluation of Eclipse Plugin Tool for Learning programming Style of Java  9
Development and Evaluation of Eclipse Plugin Tool for Learni...
收藏 引用
9th IEEE international conference on Computer Science and Education (ICCSE)
作者: Arai, Masayuki Teikyo Univ Grad Sch Sci & Engn Utsunomiya Tochigi Japan
We developed an Eclipse plugin tool for learning the programming style of Java. the tool has the following functions: (1) recommends using CamelCase and English words for the names of classes, methods, and variables;(... 详细信息
来源: 评论
functional Reactive programming, Refactored  9
Functional Reactive Programming, Refactored
收藏 引用
9th ACM SIGPLAN Symposium on Haskell (Haskell 2016)
作者: Perez, Ivan Baerenz, Manuel Nilsson, Henrik Univ Nottingham Nottingham England Univ Bamberg Bamberg Germany
functional Reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. this paper investigates this commonality, tur... 详细信息
来源: 评论
A Computer Platform to Increase Motivation in programming Students - PEP  9
A Computer Platform to Increase Motivation in Programming St...
收藏 引用
9th international conference on Computer Supported Education (CSEDU)
作者: Tavares, Paula Correia Henriques, Pedro Rangel Gomes, Elsa Ferreira Inst Super Engn Porto Dept Informat Porto Portugal Univ Minho Ctr Algoritmi Braga Portugal Univ Minho Dept Informat Braga Portugal INESC TEC Porto Portugal
Motivate students is one of the biggest challenges that teachers have to face, in general and in particular in programming courses. In this article two techniques, aimed at supporting the teaching of programming, are ... 详细信息
来源: 评论
Quantum programming Taxonomy  9
Quantum Programming Taxonomy
收藏 引用
9th international conference on Software Defined Systems, SDS 2022
作者: Belkhir, Maria Benkaouha, Haroun Benkhelifa, Elhadj Usthb University Lsi Laboratory Computer Science Faculty Algiers Algeria Staffordshire University Smart Systems Ai and Cybersecurity Research Centre Stoke on Trent United Kingdom
By boosting computer processing capability, quantum computing will transform digital usage in the upcoming years. the development of the quantum computer and the advancement to the several thousand Qubits involved in ... 详细信息
来源: 评论