咨询与建议

限定检索结果

文献类型

  • 3,394 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,401 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 420 篇 电气工程
    • 272 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 74 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 61 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 43 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 37 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 675 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 53 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 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...
  • 87 篇 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. ...
  • 7 篇 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,496 篇 英文
  • 79 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1161-1170 订阅
排序:
Proceedings - 2017 7th World Engineering Education Forum, WEEF 2017- In Conjunction with: 7th Regional conference on Engineering Education and Research in Higher Education 2017, RCEE and RHEd 2017, 1st international STEAM Education conference, STEAMEC 2017 and 4th Innovative Practices in Higher Education Expo 2017, I-PHEX 2017
Proceedings - 2017 7th World Engineering Education Forum, WE...
收藏 引用
7th World Engineering Education Forum, WEEF 2017
the proceedings contain 168 papers. the topics discussed include: how ready is renewable energy? a review on renewable energy and fuel cell teaching in schools;critical thinking and problem solving skills among engine...
来源: 评论
On the Design and Implementation of a Virtual Machine for Arduino  7th
On the Design and Implementation of a Virtual Machine for Ar...
收藏 引用
7th international conference on Robotics in Education (RiE)
作者: Zabala, Gonzalo Moran, Ricardo Teragni, Matias Blanco, Sebastian Univ Abierta Interamer Buenos Aires DF Argentina
Arduino has become one of the most popular platforms for building electronic projects, especially among novices. In the last years countless tools, environments, and programming languages have been developed to suppor... 详细信息
来源: 评论
Assessing the performance portability of modern parallel programming models using TeaLeaf
Assessing the performance portability of modern parallel pro...
收藏 引用
Euro-Par conference / 7th international Workshop on programming Models and Applications for Multicores and Manycores (PMAM) held in conjunction with the 21st SIGPLAN Symposium on Principles and Practice of Parallel programming (PPoPP)
作者: Martineau, Matthew McIntosh-Smith, Simon Gaudin, Wayne Univ Bristol HPC Grp Bristol Avon England UK Atom Weap Estab AWE Aldermaston England
In this work, we evaluate several emerging parallel programming models: Kokkos, RAJA, OpenACC, and OpenMP 4.0, against the mature CUDA and OpenCL APIs. Each model has been used to port Tealeaf, a miniature proxy appli... 详细信息
来源: 评论
Psychology of programming: the Role of Creativity, Empathy and Systemizing  7th
收藏 引用
7th international conference in Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL)
作者: Pasini, Margherita Solitro, Ugo Brondino, Margherita Burro, Roberto Raccanello, Daniela Zorzi, Margherita Univ Verona Dept Human Sci Lungadige Porta Vittoria 17 I-37129 Verona Italy Univ Verona Dept Comp Sci Str Le Grazie 15 I-37134 Verona Italy
In this paper, we started to analyse the impact of individual cognitive processes on early programming learning and performances. In particular, we focused our attention on divergent thinking, creative personality and... 详细信息
来源: 评论
Towards a Generic Autonomic Model to Manage Cloud Services  7
Towards a Generic Autonomic Model to Manage Cloud Services
收藏 引用
7th international conference on Cloud Computing and Services Science (CLOSER)
作者: Lejeune, Jonathan Alvares, Frederico Ledoux, thomas Sorbonne Univ INRIA CNRS Paris France IMT Atlantique LS2N Nantes France
Autonomic Computing has recently contributed to the development of self-manageable Cloud services. It provides means to free Cloud administrators of the burden of manually managing varying-demand services while enforc... 详细信息
来源: 评论
7th international conference on Methodologies and intelligent Systems for Techhnology Enhanced Learning, MIS4TEL 2017
收藏 引用
7th international conference on Methodologies and intelligent Systems for Techhnology Enhanced Learning, MIS4TEL 2017
the proceedings contain 15 papers. the special focus in this conference is on Methodologies and intelligent Systems for Techhnology Enhanced Learning. the topics include: A fuzzy-based multi-agent model for group form...
来源: 评论
Design of a Mobile System for Metro Value-Added Services
Design of a Mobile System for Metro Value-Added Services
收藏 引用
2018 7th international conference on Advanced Materials and Computer Science(ICAMCS 2018)
作者: Xian Zhu Linzhi Zhu School of Health Economics & Management Nanjing University of Chinese Medicine School of Information Management Nanjing University
In recent years,metro has not only become an important means of public transportation for local people,but also become a window to show a city's appearance and cultural *** our research,we comprehensively consider... 详细信息
来源: 评论
Suitability of BlackBox Dataset for Style Analysis in Detection of Source Code Plagiarism  7
Suitability of BlackBox Dataset for Style Analysis in Detect...
收藏 引用
7th international conference on Innovative Computing Technology (INTECH)
作者: Mirza, Olfat M. Joy, Mike Cosma, Georgina Univ Warwick Dept Comp Sci Coventry CV4 7AL W Midlands England Nottingham Trent Univ Sch Sci & Technol Nottingham NG1 4FQ England
Plagiarism is one of the most common problem that has been increasing in the field of higher education. Many research papers have highlighted the issue of plagiarism in context to its detection and source that is ofte... 详细信息
来源: 评论
Lessons learned and software process improvement  2017
Lessons learned and software process improvement
收藏 引用
7th international conference on Information Communication and Management, ICICM 2017
作者: Oré, Sussy Bayona Feliu, Tomas San Dirección de Investigación Universidad Autónoma Del Perú Lima Peru Facultad de Informática Universidad Politécnica de Madrid Madrid Spain
Current methods focus on the aspects related to the lessons learned, feedback and information sharing, however many organizations do not establish feedback mechanisms for organizational learning with the lessons learn... 详细信息
来源: 评论
Improving security level through obfuscation technique for source code protection using AES algorithm  2017
Improving security level through obfuscation technique for s...
收藏 引用
7th international conference on Communication and Network Security, ICCNS 2017
作者: Ismanto, Romi Nur Salman, Muhammad Electrical Engineering Department Faculty of Engineering Universitas Indonesia
PEEP is a server-side scripting programming language that is widely used to develop website services. However, web-based PHP applications are distributed in source code so that the security is vulnerable and weak beca... 详细信息
来源: 评论