咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是81-90 订阅
排序:
A Constraint programming Approach for Agile Earth Observation Satellite Scheduling Problem  9
A Constraint Programming Approach for Agile Earth Observatio...
收藏 引用
9th international conference on Recent Advances in Space Technologies (RAST)
作者: Kucuk, Mustafa Yildiz, Seyda Topaloglu Natl Def Univ Air NCO Higher Vocat Sch Izmir Turkey Dokuz Eylul Univ Fac Engn Dept Ind Engn Izmir Turkey
the Agile Earth Observation Satellite (AEOS) is equipped with onboard optical instruments. they take image of the Earth9;s surface according to the requests of customers. Each imaging request which is called as a t... 详细信息
来源: 评论
Obstacles when teaching functional programming  9
Obstacles when teaching functional programming
收藏 引用
9th Computer Science Education Research conference, CSERC 2020
作者: Motara, Yusuf Moosa Rhodes University Makhanda Eastern Cape South Africa
this work describes a course in typed functional programming, the obstacles that are often encountered during the teaching of this course, and solutions which have been devised for those obstacles. 9; 2020 ACM.
来源: 评论
Teaching Plan for Assembly Language and programming-Conditional Directives and Macro Directives
Teaching Plan for Assembly Language and Programming-Conditio...
收藏 引用
9th international conference for Young Computer Scientists
作者: Zhang, Jun Gao, Fuxiang Wang, Jian Northeastern Univ Coll Informat Sci & Engn Shenyang 110004 Peoples R China
A teaching plan for Assembly Language and programming-Conditional Directives and Macro Directives was recorded in this paper. We changed the traditional teaching method and exchanged the roles of the teacher and stude... 详细信息
来源: 评论
Design and programming of a New 4-DOF Parallel Robot  9
Design and Programming of a New 4-DOF Parallel Robot
收藏 引用
9th international conference on Electronics, Computers and Artificial Intelligence (ECAI)
作者: Apostolescu, Tudor Catalin Ionascu, Georgeta Duminica, Despina Cartal, Laurentiu Adrian Bogatu, Lucian Titu Maiorescu Univ Fac Informat Bucharest Romania Univ Politehn Bucuresti Fac Mech Engn & Mechatron Bucharest Romania
the paper presents an original solution of a 4-DOF parallel robot. Aspects of designing of the robot are described, as well as its programming and experimentation in order to manipulate objects of determined dimension... 详细信息
来源: 评论
Flipped Learning of Scratch programming with ***  17
Flipped Learning of Scratch Programming with ***
收藏 引用
9th international conference on Education Technology and Computers (ICETC)
作者: Kim, Jeong Ah Kim, Hee Jin Catholic Kwandong Univ 579BeonGil BeomIl Ro Kangneung Kangwon South Korea
In this paper, we describe the effect of *** as pre-class resources for flipped learning of Scratch programming education. Pre-class resources are very important for increase the outcome of the flipped learning. these... 详细信息
来源: 评论
Reform and Practice in Teaching J2EE programming
Reform and Practice in Teaching J2EE Programming
收藏 引用
9th international conference for Young Computer Scientists
作者: Chen, Guanlin Weng, Wenyong Zhejiang Univ City Coll Sch Comp & Comp Sci Hangzhou Zhejiang Peoples R China
this paper starts from the introduction of J2EE programming, puts forward the ideas and practices of the curriculum construction and teaching reform, especially expounds the innovative attempts on teaching contents, e... 详细信息
来源: 评论
functional Model of an Electrocardiological Study  9
Functional Model of an Electrocardiological Study
收藏 引用
9th IEEE international conference on Problems of Infocommunications Science and Technology, PIC S and T 2022
作者: Filatova, Anna Povoroznyuk, Anatoliy Fahs, Mohamad National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine
the purpose of this research is to develop a functional model of the electrocardiological study using the methodology of functional modeling IDEF0. the functional model of the electrocardiological study are developed ... 详细信息
来源: 评论
Minimax Design of FIR Nyquist Filters Using a Quadratic programming Method
Minimax Design of FIR Nyquist Filters Using a Quadratic Prog...
收藏 引用
9th international conference on Signal Processing
作者: Lai, Xiaoping Hangzhou Dianzi Univ Inst Informat & Control Hangzhou 310018 Zhejiang Peoples R China
FIR Nyquist filters play important roles in communication applications. Minimax filters are very attractive because of their minimal maximum approximation error. Minimax FIR Nyquist filters, however, may not satisfy t... 详细信息
来源: 评论
An Implementation of Multiple Activities Topic for Learning Intent and Fragment in Android programming Learning Assistance System  9
An Implementation of Multiple Activities Topic for Learning ...
收藏 引用
9th international conference on Information and Education Technology (ICIET)
作者: Syaifudin, Yan Watequlis Funabiki, Nobuo Mu'aasyiqiin, Ikhlaashul Wijaya, Devany C. Okayama Univ Dept Elect & Commun Engn Okayama Japan State Polytech Malang Dept Informat Technol Malang Indonesia
Android application programming has become one of the most important subjects that students should learn in professional schools and universities in IT departments. To provide a self-learning platform for the Android ... 详细信息
来源: 评论
WGP 2013 - Proceedings of the 2013 ACM SIGPLAN Workshop on Generic programming, Co-located with ICFP 2013
WGP 2013 - Proceedings of the 2013 ACM SIGPLAN Workshop on G...
收藏 引用
2013 9th ACM SIGPLAN Workshop on Generic programming, WGP 2013 - Co-located with the 18th ACM SIGPLAN international conference on functional programming, ICFP 2013
the proceedings contain 8 papers. the topics discussed include: histo- and dynamorphisms revisited;generic datatypes á la carte;dependent type providers;N queens problem: a metaprogramming stress test for the com...
来源: 评论