咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

  • 3,590 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 6 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是51-60 订阅
排序:
Code Legends: RPG Game as a Support Tool for programming in High School  7th
Code Legends: RPG Game as a Support Tool for Programming ...
收藏 引用
7th international conference on Applied Informatics, ICAI 2024
作者: Gomes, Alailson E. S. Mota, Vitor Márcio D. Oliveira, Pedro Almir M. MA Pedreiras Brazil
Educational games have gained prominence by offering dynamic and engaging ways to impart knowledge, providing an alternative to traditional teaching methods. In this context, Role-Playing Games (RPGs) feature ric... 详细信息
来源: 评论
7th international conference on functional Differential Equations and Applications, FDEA 2019
7th International Conference on Functional Differential Equa...
收藏 引用
7th international conference on functional Differential Equations and Applications, FDEA 2019
the proceedings contain 20 papers. the special focus in this conference is on functional Differential Equations and Applications. the topics include: the Second Lyapunov Method for Time-Delay Systems;some Extrema...
来源: 评论
Selected papers from the Rigorous State-Based Methods, 7th international conference, ABZ 2023, Nancy, France, May 30–June 2, 2023
收藏 引用
Science of Computer programming 2025年
作者: Dominique Méry Rosemary Monahan LORIA Université de Lorraine Campus Scientifique 54506 Vandœuvre-lès-Nancy France Maynoth University Department of Computer Science Co. Kildare Maynooth Ireland
来源: 评论
Implementation and Evaluation of an Interpreter for functional Reactive programming on Small Embedded Devices  23
Implementation and Evaluation of an Interpreter for Function...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Suzuki, Go Watanabe, Takuo Moriguchi, Sosuke Tokyo Inst Technol Tokyo Japan
this paper reports the implementation of Emfrp-REPL, an interactive interpreter (REPL) of a functional reactive programming language for resource-constrained embedded systems. Its goal is to accelerate the prototyping... 详细信息
来源: 评论
the Problem with Data  14
The Problem with Data
收藏 引用
IEEE/ACM 7th international conference on Utility and Cloud Computing (UCC)
作者: Fritsch, Joerg Walker, Coral Cardiff Univ Sch Comp Sci & Informat Cardiff CF24 3AA S Glam Wales
Utility Computing requires levels of efficacy and abstraction that are not matched by modern computing clouds. In this paper we argue that the lack of harmonization of data and computation is holding back computing cl... 详细信息
来源: 评论
A music programming tool for learning object-oriented concepts
A music programming tool for learning object-oriented concep...
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Jung, Hyosook Park, Seongbin Korea Univ Dept Comp Sci Educ Seoul South Korea
Object-oriented concepts are difficult to learn. In this paper, we propose a music programming language that involves music in object-oriented programming. We also present a client-server based system for individual l... 详细信息
来源: 评论
Introducing Modelling and Code Comprehension from the First Days of an Introductory programming Class  23
Introducing Modelling and Code Comprehension from the First ...
收藏 引用
7th conference on Computing Education Practice (CEP)
作者: Cutts, Quintin Kallia, Maria Univ Glasgow Glasgow Lanark Scotland
An approach to code comprehension in an introductory programming class is presented, drawing on the Text Surface, functional and Machine aspects of Schulte's Block Model, and emphasising programming as a modelling... 详细信息
来源: 评论
Teaching UML modeling before programming at the high school level
Teaching UML modeling before programming at the high school ...
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Starrett, Cortland Mentor Graphics Corporation Faith Christian School
this paper describes experience teaching modeling at the high school level prior to teaching programming and embedded control. An implementation-independent form of UML modeling is being used to teach students to anal... 详细信息
来源: 评论
Mobile Game programming in Haskell  7
Mobile Game Programming in Haskell
收藏 引用
7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design (FARM)
作者: Zeller, Christina Perez, Ivan Keera Studios Ltd Nottingham England
the use of pure functional languages for interactive applications, especially mobile applications and games, is still rare. Reasons include the lack of libraries and frameworks that implement necessary features, poor ... 详细信息
来源: 评论
Nondeterministic dynamic programming on a parallel coprocessing system
收藏 引用
APPLIED MAthEMATICS AND COMPUTATION 2001年 第1-3期120卷 139-147页
作者: Lew, A Univ Hawaii Manoa Dept Informat & Comp Sci Innovat Compuat Lab Honolulu HI 96822 USA
We describe how nondeterministic dynamic programming (DP) algorithms can be designed for a new class of parallel coprocessing systems using "functional memory", an architecture based upon dataflow computer p... 详细信息
来源: 评论