咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
排序:
An IDE Framework for Grid Application Development  08
An IDE Framework for Grid Application Development
收藏 引用
9th IEEE/ACM international conference on Grid Computing
作者: Kurniawan, Donny Abramson, David Monash Univ Fac Informat Technol Monash E Sci & Grid Engn Lab Clayton Vic 3800 Australia
Grid computing enables the aggregation of a large number of computational resources for solving complex scientific and engineering problems. However, writing, deploying, and testing grid applications over highly heter... 详细信息
来源: 评论
Teaching one language in more depth is better than many languages superficially
Teaching one language in more depth is better than many lang...
收藏 引用
9th IEEE international conference on Emerging eLearning Technologies and Applications, ICETA 2011
作者: Horváth, R. Faculty of Education Trnava University Department of Mathematics and Computer Science Trnava Slovakia
this paper describes the findings on students9; problems in programming learning that have been captured through interviews and essays. It briefly introduces the new class which we intend to use in programming teac... 详细信息
来源: 评论
WappenLite: A web application framework for lightweight programming environments
WappenLite: A web application framework for lightweight prog...
收藏 引用
2010 9th international conference on Information Technology Based Higher Education and Training, IthET 2010
作者: Kagawa, Koji Kagawa University Takamatsu Kagawa 761-0396 Japan
this paper describes WappenLite - a Web application framework for lightweight educational programming environments. In particular, this paper focuses on the back-end (non-user-interface) components of the framework. &... 详细信息
来源: 评论
Designing a Novel Educational Game for Teaching C# programming  9
Designing a Novel Educational Game for Teaching C# Programmi...
收藏 引用
9th international conference on Computer Supported Education (CSEDU)
作者: Hinds, Matthew Baghaei, Nilufar Ragon, Pedrito Lambert, Jonathon Rajakaruna, tharindu Houghton, Travers Dacey, Simon Casey, John Unitec Inst Technol Dept Comp Sci Private Bag 92025 Auckland 1142 New Zealand
Learning to code can be a daunting experience for a lot of students. RunJumpCode is a novel 2D platformer video game, designed and developed in Unity, to teach players the fundamental concepts of C# programming. the g... 详细信息
来源: 评论
Jolie Community on the Rise  9
Jolie Community on the Rise
收藏 引用
9th IEEE international conference on Service-Oriented Computing and Applications (SOCA)
作者: Bandura, Alexey Kurilenko, Nikita Mazzara, Manuel Rivera, Victor Safina, Larisa Tchitchigin, Alexander Innopolis Univ Innopolis Russia Kazan Fed Univ Kazan Russia
Jolie is a programming language that follows the microservices paradigm. As an open source project, it has built a community of developers worldwide - both in the industry as well as in academia - taken care of the de... 详细信息
来源: 评论
Towards Multi-objective Optimisation of Quantitative Goal Models using Constraint programming  9th
Towards Multi-objective Optimisation of Quantitative Goal Mo...
收藏 引用
9th international conference on Operations Research and Enterprise Systems (ICORES)
作者: Ponsard, Christophe Darimont, Robert CETIC Res Ctr Charleroi Belgium Respect IT SA Louvain La Neuve Belgium
Goal Model are widely used to capture system goals and refine them into operational requirements assigned to human, hardware or software. Such models support alternative goal refinements resulting in a potentially lar... 详细信息
来源: 评论
Logical Optimisation and Cost Modelling of Stream-Processing Programs Written in a Purely-functional Framework  15
Logical Optimisation and Cost Modelling of Stream-Processing...
收藏 引用
IEEE/ACM 15th international conference on Utility and Cloud Computing (UCC) / 9th international conference on Big Data Computing, Applications and Technologies (BDCAT)
作者: Dowland, Jonathan Watson, Paul Cattermole, Adam Red Hat Inc 3 Sci Sq Newcastle Upon Tyne NE4 5TG Tyne & Wear England Natl Innovat Ctr Data 3 Sci Sq Newcastle Upon Tyne NE4 5TG Tyne & Wear England Newcastle Univ Sch Comp Urban Sci Bldg1 Sci Sq Newcastle Upon Tyne NE4 5TG Tyne & Wear England
We present a vision for the automatic optimisation of distributed stream processing programs. StrIoT - a distributed stream-processing framework built using purely-functional programming - enables a set of validated l... 详细信息
来源: 评论
Improving Play and Learning Style Adaptation in a programming Education Game  9
Improving Play and Learning Style Adaptation in a Programmin...
收藏 引用
9th international conference on Computer Supported Education (CSEDU)
作者: Lindberg, Renny S. N. Hasanov, Aziz Laine, Teemu H. Ajou Univ Dept Software Suwon South Korea
the drive to teach programming to K-12 students has amplified in the past few years as several European countries have added programming to their national curricula. Teaching programming is not simple as even older st... 详细信息
来源: 评论
the design and research of On-line judge system based on multi-core
The design and research of On-line judge system based on mul...
收藏 引用
14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)
作者: Lei, Chen Yu, Xueyong Meng, XueDuo Xu, Weiqiang Zhejiang Univ Coll Med Affiliated Hosp 1 Hangzhou 310003 Zhejiang Peoples R China Zhejiang Univ City Coll Sch Comp & Comp Sci Hangzhou Peoples R China Huzhou Publ Secur Bur Zhejiang Peoples R China
this article mainly introduces the designning and implement of on-line judge system with multithreading or multiroutine based on multi-core platform. For single core judge system, the problem of lower efficiency judge... 详细信息
来源: 评论
Leveraging Robot programming to Foster Computational thinking  9
Leveraging Robot Programming to Foster Computational Thinkin...
收藏 引用
9th international conference on Computer Supported Education (CSEDU)
作者: Fronza, Ilenia El Ioini, Nabil Corral, Luis Free Univ Bozen Bolzano Piazza Domenicani 3 I-39100 Bolzano Italy UAQ ITESM E Gonzalez 500 Queretaro 76130 Mexico
In 2013, ACM recognized Computational thinking (CT) as "one of the fundamental skills desired of all graduates". this means that, especially in liberal education environments, one of the challenges of CT cou... 详细信息
来源: 评论