咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 73 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 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,510 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3594 条 记 录,以下是381-390 订阅
排序:
Extending the Event-Based programming Model to support Sensor-Driven Ubiquitous Computing Applications
Extending the Event-Based Programming Model to support Senso...
收藏 引用
7th IEEE international conference on Pervasive Computing and Communications
作者: Reilly, Sean Haahr, Mads Univ Dublin Trinity Coll Dept Comp Sci Distributed Syst Grp Dublin 2 Ireland
We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. the extension consists of three abstractions: Multi-Event Handlers, Event Streams and Execution Policie... 详细信息
来源: 评论
Keystroke Dynamics Based User Authentication using Numeric Keypad  7
Keystroke Dynamics Based User Authentication using Numeric K...
收藏 引用
7th international conference on Cloud Computing, Data Science and Engineering (Confluence)
作者: Saini, Baljit Singh Kaur, Navdeep Bhatia, Kamaljit Singh Sri Guru Granth Sahib World Univ CSE Fatehgarh Sahib Punjab India Lovely Profess Univ Phagwara CSE Phagwara Punjab India Maharaja Ranjit Singh Punjab Tech Univ Bathinda GZSCCET ECE Bathinda Punjab India
Keystroke dynamics is the study to identify/authenticate a person based on his/her typing rhythms, which are inferred from keystroke events like key-press and key-release. A lot of research work has been done in this ... 详细信息
来源: 评论
APL[LAVAL] used as an interactive tool for the description, simulation and micro-programming of digital computers  75
APL[LAVAL] used as an interactive tool for the description, ...
收藏 引用
7th international conference on APL, APL 1975
作者: Robichaud, Louis P.A. Ouellet, Yves Simian, Gerard Centre de Traitement de l'Information Universite LavalOC Canada
this paper presents the use of APL [LAVAL] for the complete study of a digital computer at the micro-programmed control level. For us such a study signifies the description, simulation (i.e. behavorial description), a...
来源: 评论
Automated programming Assignment Marking Tool  7
Automated Programming Assignment Marking Tool
收藏 引用
7th IEEE international conference for Convergence in Technology, I2CT 2022
作者: Vimalaraj, Hareeni thenuwara, T.B.K.P. Wijekoon, Vinuri Udara Sathurjan, thavaraja Reyal, Shyam Kuruppu, thilmi Anuththara tharmaseelan, Janani Department of Computer Science and Software Engineering Malabe Sri Lanka Department of It Malabe Sri Lanka
Due to the enrolment of a very high number of students to programming modules, marking of programming modules is becoming a very tedious and time-consuming process. programming assignments mainly test for the student&... 详细信息
来源: 评论
A complete narrowing calculus for higher-order functional logic programming  7th
A complete narrowing calculus for higher-order functional lo...
收藏 引用
7th international Symposium on programming Languages - Implementations, Logics and Programs (PLILP 95)
作者: Nakahara, K Middeldorp, A Ida, T UNIV TSUKUBA CTR TSUKUBA ADV RES ALLIANCE TSUKUBA IBARAKI 305 JAPAN UNIV TSUKUBA INST INFORMAT SCI & ELECT TSUKUBA IBARAKI 305 JAPAN
Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature lack this feature. the natural way to deal with h... 详细信息
来源: 评论
Project-oriented laboratory with cross platform software programming for embedded system education
Project-oriented laboratory with cross platform software pro...
收藏 引用
10th IEEE international conference on Computer and Information Technology, CIT-2010, 7th IEEE international conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010
作者: Lv, Wenjing Ye, Lili Wang, Zhewen Yang, Zhengguo Zhang, Yikui School of Computer Software Tianjin University Tianjin City 300072 China
In this paper a project-oriented lab for teaching embedded and cross platform programming is presented. the goal of the lab is to increase students' interest of learning embedded systems, and promote their program... 详细信息
来源: 评论
Cross-Language Interoperability of Heterogeneous Code  23
Cross-Language Interoperability of Heterogeneous Code
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Stratikopoulos, Athanasios Blanaru, Florin Fumero, Juan Xekalaki, Maria Papadakis, Orion Kotselidis, Christos Univ Manchester Manchester Lancs England OctoML Seattle WA USA
In recent years, the Java Virtual Machine has evolved from a cross-ISA virtualization layer to a system that can also offer multilingual support. GraalVM paved the way to enable the interoperability of Java with other... 详细信息
来源: 评论
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications  23
ReactCOP Supporting Layer Parameter Management for Front-End...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Hashimoto, Hiroki Tanigawa, Ikuta Ogura, Nobuhiko Watanabe, Harumi Tokai Univ Informat & Telecommun Engn Tokyo Japan Change Vis Inc Fukui Japan Tokyo City Univ Fac Informat Yokohama Kanagawa Japan
In modern software, including web applications, context-dependent behavior is one of the most important features. Context-oriented programming (COP) is a suitable programming technique for developing such software. Ho... 详细信息
来源: 评论
Local search and constraint programming for the post enrolment-based course timetabling problem  7
Local search and constraint programming for the post enrolme...
收藏 引用
7th international conference on the Practice and theory of Automated Timetabling, PATAT 2008
作者: Cambazard, Hadrien Hebrard, Emmanuel O’Sullivan, Barry Papadopoulos, Alexandre Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
We present a study of the university post-enrolment timetabling problem, proposed as Track 2 of the 2007 international Timetabling Competition. We approach the problem using several techniques, particularly local sear... 详细信息
来源: 评论
Presentation of improved version of guide application for teaching programming fundamentals  7
Presentation of improved version of guide application for te...
收藏 引用
7th international Multi-conference on Engineering and Technological Innovation, IMETI 2014
作者: László, Menyhart Pap, Gáborné Department of Media and Educational Informatics Eotvös Lorind University Budapest1117 Hungary
One year ago in our previous article we declared that the education of programming for the informatics students at the University must contain the whole process of the development. It was not changed as our experience... 详细信息
来源: 评论