咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,402 篇 工学
    • 1,899 篇 计算机科学与技术...
    • 1,155 篇 软件工程
    • 418 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 403 篇 管理学
    • 338 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 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,494 篇 英文
  • 82 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3605 条 记 录,以下是2741-2750 订阅
排序:
Learning at the nanoscale: Research questions that the rapidly evolving interdisciplinarity of science poses for the learning sciences
Learning at the nanoscale: Research questions that the rapid...
收藏 引用
7th international conference of the Learning Sciences, ICLS 2006
作者: His, Sherry Sabelli, Nora Krajcik, Joseph Tinker, Robert Ellenbogen, Kirsten Exploratorium and NISE Network 3601 Lyon Street San Francisco CA 94123 United States SRI International 333 Ravenswood Ave BN-316 Menlo Park CA 94025 United States University of Michigan NCLT 610 East University Avenue Ann Arbor MI 48109 United States Concord Consortium 10 Concord Crossing Concord MA 01742 United States Science Museum of Minnesota NISE Network 120 West Kellogg Boulevard Saint Paul MN 55102 United States
Recent interdisciplinary discoveries in the sciences and engineering at the nanoscale, specifically in our ability to manipulate, molecules at atomic scales, suggests a need for the education community to reconsider t... 详细信息
来源: 评论
Measurement of moisture conditions for mine waste storage facilities using the Deep Diviner moisture probe
Measurement of moisture conditions for mine waste storage fa...
收藏 引用
7th international conference on Acid Rock Drainage 2006, ICARD 2006, Also Serves as the 23rd Annual Meetings of the American Society of Mining and Reclamation
作者: Dobchuk, Bonnie Barbour, S. Lee Dobchuk, Jeff O'Kane, Mike O'Kane Consultants Inc. Saskatoon SK S7N 4S1 Canada Department of Civil and Geological Engineering University of Saskatchewan Saskatoon SK S7N 5A9 Canada Convergent Motion Control Inc. Saskatoon SK S7H 1N6 Canada O'Kane Consultants Inc. Calgary AB T3H 3C8 Canada
there is a need to measure deep in situ moisture conditions for all types of waste storage facilities in a safe, cost effective, practical, and efficient manner. this paper describes the Deep Diviner moisture probe, a... 详细信息
来源: 评论
theorizing games in/and education
Theorizing games in/and education
收藏 引用
7th international conference of the Learning Sciences, ICLS 2006
作者: Halverson, Richard Shaffer, David Squire, Kurt Steinkuehler, Constance University of Wisconsin-Madison 225 North Mills Street Madison WI United States
Games are a nascent topic for educational research, with an increasing number of conferences (e.g. Games, Learning, & Society), print publications (e.g. Games & Culture), and even federal grants (e.g. Quest At... 详细信息
来源: 评论
Integrated enterprise information system development through component abstraction
Integrated enterprise information system development through...
收藏 引用
international Baltic conference on Databases and Information Systems, DB&IS
作者: A. Lupeikiene Institute of Mathematics and Informatics Vilnius Lithuania
this paper discusses the attempts to combine classical enterprise information systems development methodologies with component-based approach. It argues to use component-oriented paradigm for the development of system... 详细信息
来源: 评论
Progress in Biomedical Optics and Imaging: Photons Plus Ultrasound: Imaging and Sensing 2006 the Seventh conference on Biomedical thermoacoustics, Optoacoustis, and Acousto-optics
Progress in Biomedical Optics and Imaging: Photons Plus Ultr...
收藏 引用
7th conference on Biomedical thermoacoustics, Optoacoustics, and Acousto-optics - Photons Plus Ultrasound: Imaging and Sensing 2006
the proceedings contain 62 papers. the topics discussed include: ultrasonically modulated x-ray phase contrast and vibration potential imaging methods;capacitive micromachined ultrasonic transducers (CMUTs) for photoa... 详细信息
来源: 评论
Describing customer loyalty to Spanish petrol stations through rule extraction
收藏 引用
7th international conference on Intelligent Data Engineering and Automated Learning, IDEAL 2006
作者: Vellido, Alfredo Etchells, Terence A. García, David L. Nebot, Ángela Department of Computing Languages and Systems Technical University of Catalonia C. Jordi Girona Barcelona 08034 Spain School of Computing and Mathematical Sciences Liverpool John Moores University Byrom Street L3 3AF Liverpool United Kingdom
Globalization and deregulation are modifying the competitive framework in the majority of economic sectors and, as a result, many companies are changing their commercial model to focus on the preservation of existing ... 详细信息
来源: 评论
A compositional logic for control flow
A compositional logic for control flow
收藏 引用
7th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2006
作者: Tan, Gang Appel, Andrew W. Computer Science Department Boston College Computer Science Department Princeton University
We present a program logic, Lc, which modularly reasons about unstructured control flow in machine-language programs. Unlike previous program logics, the basic reasoning units in Lc are multiple-entry and multiple-exi... 详细信息
来源: 评论
Automated Testing of Unix Command-line and Scripting Skills
Automated Testing of Unix Command-line and Scripting Skills
收藏 引用
international conference on Information Technology Based Higher Education and Training, IthET
作者: Andrew Solomon Daniel Santamaria Raymond Lister University of Technology Sydney NSW Australia
this paper describes the use of LinuxGym - software which assists a student's learning of Linux scripting, from directory listing to advanced Perl programming. the software randomly generates new tasks for each st... 详细信息
来源: 评论
Proceedings Seventh AGIS international conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing SNPD 2006
Proceedings Seventh AGIS International Conference on Softwar...
收藏 引用
7th ACIS international conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, SNPD 2006, including Second ACIS international Workshop on Self-Assembling Wireless Networks, SAWN 2006
the proceedings contain 65 papers. the topics discussed include: decision table based analysis of trading models;a three-layer model for software engineering metrics;design phase analysis of software qualities using a... 详细信息
来源: 评论
Tracking using dynamic programming for appearance-based sign language recognition
Tracking using dynamic programming for appearance-based sign...
收藏 引用
international conference on Automatic Face and Gesture Recognition
作者: P. Dreuw T. Deselaers D. Rybach D. Keysers H. Ney Lehrstuhl für Informatik VI-Computer Science Department RWTH Aachen University Aachen Germany
We present a novel tracking algorithm that uses dynamic programming to determine the path of target objects and that is able to track an arbitrary number of different objects. the traceback method used to track the ta... 详细信息
来源: 评论