咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
Automatic Toll Monitoring System using PLC-SCADA programming  9
Automatic Toll Monitoring System using PLC-SCADA programming
收藏 引用
9th international conference on Cloud Computing, Data Science and Engineering (CONFLUENCE)
作者: Kulkarni, Onkar R. Metri, R. A. Tata Consultancy Serv MES Implementat Pune Maharashtra India Shivaji Univ Rajarambapu Inst Technol Sakharale Dept Elect Engn Kolhapur Maharashtra India
Automation is a need of today9;s world. By introducing automation in traditional systems, one can achieve greater accuracy and flawless performance of the system. Toll monitoring system is taken as an object and au... 详细信息
来源: 评论
An open-source sandbox for increasing the accessibility of functional programming to the bioinformatics and scientific communities
An open-source sandbox for increasing the accessibility of f...
收藏 引用
9th international conference on Information Technology, ITNG 2012
作者: Fenwick, Matthew Sesanker, Colbert Schiller, Martin R. Ellis, Heidi Jc Hinman, M. Lee Vyas, Jay Gryk, Michael R. Department of Microbial Molecular and Structural Biology University of Connecticut Health Center 263 Farmington Avenue Farmington CT 06030 United States School of Life Sciences University of Nevada Las Vegas 4505 Maryland Pkwy. Las Vegas NV 89154-4004 United States Department of Computer Science/Information Technology Western New England University Springfield MA United States
Scientists are continually faced with the need to express complex mathematical notions in code. the renaissance of functional languages such as LISP and Haskell is often credited to their ability to implement complex ... 详细信息
来源: 评论
A Nonlinear Array Subscripts Dependence Test
A Nonlinear Array Subscripts Dependence Test
收藏 引用
14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)
作者: Zhao Jie Zhao Rongcai Han Lin China Natl Digital Switching Syst Engn & Technol Zhengzhou 450002 Henan Peoples R China
Linear dependence tests determine the dependences with linear array subscripts, but only give the passive results for those with nonlinear ones. that is to say, dependences exist as long as there are nonlinear cases, ... 详细信息
来源: 评论
Comparative analysis of debugging tools in parallel programming for multi-core processors
Comparative analysis of debugging tools in parallel programm...
收藏 引用
9th international conference on the Experience of Designing and Application of CAD Systems in Microelectronics
作者: Shipunov, Valeriy Gavryushenko, Andrey Kuznetsov, Eugene Kharkiv Natl Univ Radioelect CAD Dept UA-79013 Kharkov Ukraine
In this paper existing tools and architectures, comparative characteristic and using recommendations are given.
来源: 评论
Emergence of automated assignment conceptions in a functional programming course
Emergence of automated assignment conceptions in a functiona...
收藏 引用
Proceedings of the 9th Annual SIGCSE conference on Innovation and Technology in Computer Science Education
作者: Paz, Tamar Lapidot, Tami Dept. of Educ. in Sci. and Technol. Technion Israel Institute of Technology Haifa 32000 Israel
this paper reports a research into the performance of high school students while they were first exposed to the paradigm of functional programming. the findings have been organized using three categories. In this pape... 详细信息
来源: 评论
How to Increase Interest in Studying functional programming via Interdisciplinary Application  8
How to Increase Interest in Studying Functional Programming ...
收藏 引用
8th and 9th international Workshop on Trends in functional programming in Education (TFPIE)
作者: Figueiredo, Pedro Kim, Yuri Le Minh, Nghia Sitt, Evan Ying, Xue Zsok, Viktoria Eotvos Lorand Univ Fac Informat Dept Programming Languages & Compilers Budapest Hungary
functional programming represents a modern tool for applying and implementing software. the state of the art in functional programming reports an increasing number of methodologies in this paradigm. However, extensive... 详细信息
来源: 评论
An Undergraduate Parallel and Distributed Computing Course in Multi-Core
An Undergraduate Parallel and Distributed Computing Course i...
收藏 引用
9th international conference for Young Computer Scientists
作者: Li, Jianhua Guo, Weibin Zheng, Hong E China Univ Sci & Technol Dept Comp Sci & Engn Shanghai 200237 Peoples R China
Current undergraduate parallel and distributed computing course faces several problems such as neglecting the importance of the course, lack of programming practice, etc. As multi-core computers spreads, it is necessa... 详细信息
来源: 评论
Application of Software Visualization in programming Teaching  9
Application of Software Visualization in Programming Teachin...
收藏 引用
9th IEEE international conference on Computer Science and Education (ICCSE)
作者: Ding, Yi Hang, Yongmin Wan, Gang He, Shuiyan Wuhan Vocat Coll Software & Engn Sch Comp Wuhan Peoples R China
Motivating students to comprehend software structure, behavior and complexity is often difficult because software cannot be seen or even touched, disappear into files on disks. To overcome this problem, the author has... 详细信息
来源: 评论
MHPM: Multi-Scale Hybrid programming Model A Flexible Parallelization Methodology
MHPM: Multi-Scale Hybrid Programming Model A Flexible Parall...
收藏 引用
14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)
作者: Khammassi, Nader Le Lann, Jean-Christophe Diguet, Jean-Philippe Skrzyniarz, Alexandre ENSTA Bretagne CNRS Lab STICC UMR 6285 F-29806 Brest 9 France Univ South Brittany CNRS Lab STICC F-56321 Lorient France Thales Airbone Syst Radra & Warfare Syst Domain Desing Author F-29200 Brest France
the continuous proliferation of multicore architectures has placed developers under great pressure to parallelize their applications accordingly with what such platforms can offer. Unfortunately, traditional low-level... 详细信息
来源: 评论
DB-Learn: Studying Relational Algebra concepts by Snapping Blocks  9
DB-Learn: Studying Relational Algebra concepts by Snapping B...
收藏 引用
9th international conference on Computing, Communication and Networking Technologies (ICCCNT)
作者: Vinayakumar, R. Soman, K. P. Menon, Pradeep Amrita Vishwa Vidyapeetham Amrita Sch Engn Ctr Computat Engn & Networking CEN Coimbatore Tamil Nadu India Lakhshya Cyber Secur Labs Pvt Ltd Coimbatore Tamil Nadu India
With the introduction of fundamental concept computational thinking, Block-based programming tools are turning into more and more common in primary, middle and high school level introductory classes. Block-based progr... 详细信息
来源: 评论