咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,593 篇 电子文献
  • 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,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是3271-3280 订阅
排序:
Optimal reduction of functional expressions  10th
Optimal reduction of functional expressions
收藏 引用
10th international Symposium on programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international conference, ALP 1998
作者: Asperti, Andrea Dipartimento di Scienze dell’Informazione Via di Mura Anteo Zamboni 7 Bologna Italy
the usual implementations of functional programming languages based on a weak evaluation paradigm (no reduction inside a lambda), betray the very spirit, i.e. the higher-order nature, of lambdacalculus. © Springe... 详细信息
来源: 评论
7th European Symposium on programming, ESOP 1998 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 1998
7th European Symposium on Programming, ESOP 1998 Held as Par...
收藏 引用
7th European Symposium on programming, ESOP 1998 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 1998
the proceedings contain 18 papers. the special focus in this conference is on programming Languages and Systems. the topics include: Concurrent constraint programming based on functional programming;a bisimulation met...
来源: 评论
Challenges and opportunities visual programming languages bring to programming language research  7th
Challenges and opportunities visual programming languages br...
收藏 引用
7th international conference on Compiler Construction, CC 1998 and Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 1998
作者: Burnett, Margaret M. Oregon State University United States
来源: 评论
SPHINX: a framework for creating personal, site-specific Web crawlers
收藏 引用
COMPUTER NETWORKS AND ISDN SYSTEMS 1998年 第1-7期30卷 119-130页
作者: Miller, RC Bharat, K Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15208 USA Digital Equipment Corp Syst Res Ctr Palo Alto CA 94301 USA
Crawlers, also called robots and spiders, are programs that browse the World Wide Web autonomously. this paper describes SPHINX, a Java toolkit and interactive development environment for Web crawlers. Unlike other cr... 详细信息
来源: 评论
What after Java? From objects to actors
收藏 引用
COMPUTER NETWORKS AND ISDN SYSTEMS 1998年 第1-7期30卷 573-577页
作者: Varela, CA Agha, GA Univ Illinois Dept Comp Sci Open Syst Lab Urbana IL 61801 USA
In this paper, we discuss some drawbacks of the Java programming language, and propose some potential improvements for concurrent object-oriented software development. In particular, we argue that Javas passive object... 详细信息
来源: 评论
Generalised logic program transformation schemas  7th
收藏 引用
7th international Workshop on Logic Program Synthesis and Transformation, LOPSTR 1997
作者: Büyükyld, Halime Flener, Pierre Department of Computer Engineering and Information Science Bilkent University Bilkent Ankara06533 Turkey
Schema-based logic program transformation has proven to be an eective technique for the optimisation of programs. this paper results from the research that began by investigating the suggestions in [11] to construct a... 详细信息
来源: 评论
Issues in translating Smalltalk to Java  7th
Issues in translating Smalltalk to Java
收藏 引用
7th international conference on Compiler Construction (CC 98) at the Joint European conferences on theory and Practice of Software (ETAPS 98)
作者: Engelbrecht, RL Kourie, DG Univ Pretoria Dept Comp Sci Object Technol Expertise Ctr ZA-0002 Pretoria South Africa
A number of essential issues in translating Smalltalk to Java are addressed. A convention is proposed for mapping Smalltalk method selectors to Java method names. In addition, a Java class hierarchy that parallels the... 详细信息
来源: 评论
Memory Allocation Strategies for Complex Decision Support Queries  98
Memory Allocation Strategies for Complex Decision Support Qu...
收藏 引用
CIKM '98: 7th ACM international conference on Information and knowledge Management - Workshop on New Paradigms in Information Visualization (NPIV '98)
作者: Nag, Biswadeep DeWitt, David J. Computer Sciences Department University of Wisconsin-Madison United States
Complex decision support queries, as exemplified by the TPC-D benchmark, make heavy use of join, aggregation and sorting operations. these operations can be very memory intensive and it is unlikely (particularly in a ... 详细信息
来源: 评论
7th international conference, CC 1998 held as part of the Joint European conferences on theory and Practice of Software, ETAPS 1998
7th International Conference, CC 1998 held as part of the Jo...
收藏 引用
7th international conference on Compiler Construction, CC 1998 and Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 1998
the proceedings contain 24 papers. the special focus in this conference is on Compiler Construction. the topics include: Myths and facts about the efficient implementation of finite automata and lexical analysis;gener...
来源: 评论
SALIERIA General, Interactive Computer Music System  24
SALIERIA General, Interactive Computer Music System
收藏 引用
24th international Computer Music conference, ICMC 1998
作者: Hoos, Holger H. Kilian, Jurgen Renz, Kai Helbich, thomas Darmstadt University of Technology Wilhelminenstr.7 DarmstadtD-64283 Germany
In this paper we describe the SALIERI System, an interactive software environment for structure oriented composition, manipulation, and analysis of music. the system is built on the newly developed SALIERI Language, a... 详细信息
来源: 评论