咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
9th international Symposium on programming Languages: Implementations, Logics, and Programs, PLILP '97
9th International Symposium on Programming Languages: Implem...
收藏 引用
9th international Symposium on programming Languages: Implementations, Logics, and Programs, PLILP 1997, Including a Special Track on Declarative programming Languages in Education
the proceedings contain 20 papers. the special focus in this conference is on programming languages: implementations, logics, and programs. the topics include: Narrowing the narrowing space;an object calculus with alg...
来源: 评论
CodeMage: Educational programming Environment For Beginners  9
CodeMage: Educational Programming Environment For Beginners
收藏 引用
9th international conference on Knowledge and Smart Technology (KST)
作者: Whittall, S. J. Prashandi, W. A. C. Himasha, G. L. S. De Silva, D. I. Suriyawansa, T. K. Sri Lanka Inst Informat Technol Dept Software Engn Fac Comp Malabe Sri Lanka
CodeMage is an interactive educational programming environment targeted at novice Java programmers who have little knowledge in basic programming. the system comes with innovative features such as, real-time guidance ... 详细信息
来源: 评论
Usage of generic programming on hackage - Experience report
Usage of generic programming on hackage - Experience report
收藏 引用
2013 9th ACM SIGPLAN Workshop on Generic programming, WGP 2013 - Co-located with the 18th ACM SIGPLAN international conference on functional programming, ICFP 2013
作者: Bezirgiannis, Nikolaos Jeuring, Johan Leather, Sean Department of Information and Computing Sciences Utrecht University P.O. Box 80.089 3508 TB Utrecht Netherlands School of Computer Science Open University Netherlands
Generic programming language constructs, tools and libraries have been available in Haskell since the first report on the programming language Haskell. At the beginning of the 1990s generic programming techniques coul... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
9th international Workshop on Aspect-Oriented Modeling
9th International Workshop on Aspect-Oriented Modeling
收藏 引用
9th international conference on Model Driven Engineering Languages and Systems
作者: Kienzle, Joerg Stein, Dominik Cazzola, Walter Gray, Jeff Aldawud, Omar Elrad, Tzilla McGill Univ Montreal PQ H3A 2T5 Canada Univ Duisburg Essen Duisburg Germany Univ Milan I-20122 Milan Italy Univ Alabama Birmingham Birmingham AL 35487 USA Lucent Technol Murray Hill NJ USA IIT Chicago IL 60616 USA
this report summarizes the outcomes of the 9th Workshop on Aspect-Oriented Modeling (AOM) held in conjunction with the 9th international conference on Model Driven Engineering Languages and Systems - MoDELS 2006 - in ... 详细信息
来源: 评论
Detection of Fibrosis in Liver Biopsy Images-Using Multi-Objective Genetic programming  9
Detection of Fibrosis in Liver Biopsy Images-Using Multi-Obj...
收藏 引用
9th international conference on Information Technology and Electrical Engineering (ICITEE)
作者: thong-on, Purit Watchareeruetai, Ukrit King Mongkuts Inst Technol Ladkrabang Int Coll Chalongkrung Rd Bangkok 10520 Thailand
this paper proposes an automatic construction of feature extractor for liver fibrosis detection using a multi objective genetic programming approach in which a constructed feature extractor was measured in different a... 详细信息
来源: 评论
Asynchronous exceptions as an effect
Asynchronous exceptions as an effect
收藏 引用
9th international conference on Mathematics of Program Construction
作者: Harrison, William L. Allwein, Gerard Gill, Andy Procter, Adam Univ Missouri Dept Comp Sci Columbia MO 65211 USA Naval Res Lab Washington DC 20375 USA Galois Inc Beaverton OR 97005 USA
Asynchronous interrupts abound in computing systems, yet they remain a thorny concept for both programming and verification practice. the ubiquity of interrupts underscores the importance of developing programming mod... 详细信息
来源: 评论
Logic Error Detection Algorithm for Novice Programmers based on Structure Pattern and Error Degree  9
Logic Error Detection Algorithm for Novice Programmers based...
收藏 引用
9th international conference on Awareness Science and Technology (iCAST)
作者: Yoshizawa, Yuto Watanobe, Yutaka Univ Aizu Grad Dept Comp Sci & Engn Fukushima 9658580 Japan
In recent years, the importance of programming skills is increasing due to advances in information and communication technologies. However, the difficulty involved in learning programming is a major problem for novice... 详细信息
来源: 评论
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... 详细信息
来源: 评论