咨询与建议

限定检索结果

文献类型

  • 2,958 篇 会议
  • 98 篇 期刊文献
  • 83 册 图书
  • 2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,939 篇 工学
    • 1,461 篇 计算机科学与技术...
    • 826 篇 软件工程
    • 383 篇 电气工程
    • 259 篇 控制科学与工程
    • 105 篇 信息与通信工程
    • 59 篇 机械工程
    • 57 篇 交通运输工程
    • 47 篇 电子科学与技术(可...
    • 38 篇 石油与天然气工程
    • 33 篇 核科学与技术
    • 31 篇 材料科学与工程(可...
    • 26 篇 生物工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 动力工程及工程热...
    • 20 篇 仪器科学与技术
    • 20 篇 土木工程
    • 15 篇 建筑学
  • 520 篇 理学
    • 370 篇 数学
    • 85 篇 物理学
    • 62 篇 系统科学
    • 57 篇 统计学(可授理学、...
    • 44 篇 生物学
  • 214 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 64 篇 工商管理
    • 45 篇 图书情报与档案管...
  • 77 篇 医学
    • 68 篇 临床医学
    • 46 篇 特种医学
    • 15 篇 基础医学(可授医学...
  • 48 篇 教育学
    • 46 篇 教育学
  • 32 篇 法学
    • 27 篇 社会学
  • 16 篇 经济学
  • 8 篇 农学
  • 6 篇 文学
  • 5 篇 艺术学
  • 3 篇 哲学
  • 1 篇 军事学

主题

  • 274 篇 logic gates
  • 236 篇 fuzzy logic
  • 172 篇 probabilistic lo...
  • 155 篇 programming
  • 139 篇 linear programmi...
  • 110 篇 logic programmin...
  • 89 篇 dynamic programm...
  • 86 篇 optimization
  • 71 篇 computer science
  • 69 篇 programming prof...
  • 69 篇 computational mo...
  • 67 篇 artificial intel...
  • 67 篇 mathematical mod...
  • 58 篇 integer programm...
  • 58 篇 uncertainty
  • 56 篇 software enginee...
  • 54 篇 semantics
  • 50 篇 computer archite...
  • 50 篇 logic
  • 44 篇 genetic programm...

机构

  • 8 篇 university of mi...
  • 6 篇 hitachi ltd hita...
  • 6 篇 st petersburg el...
  • 5 篇 inria
  • 5 篇 kyushu sangyo un...
  • 5 篇 myongji universi...
  • 5 篇 saint petersburg...
  • 5 篇 univ illinois ur...
  • 5 篇 politecnico di b...
  • 5 篇 monash universit...
  • 5 篇 university of pe...
  • 5 篇 carnegie mellon ...
  • 5 篇 polytechnic univ...
  • 5 篇 university of ba...
  • 5 篇 covenant univers...
  • 5 篇 univ illinois de...
  • 4 篇 ist austria klos...
  • 4 篇 graduate school ...
  • 4 篇 institute of mic...
  • 4 篇 school of electr...

作者

  • 6 篇 kitamura m
  • 6 篇 woltran stefan
  • 6 篇 eiter thomas
  • 6 篇 kakugawa s
  • 5 篇 bernady o. apduh...
  • 5 篇 ana maria a.c. r...
  • 5 篇 eufemia tarantin...
  • 5 篇 osvaldo gervasi
  • 5 篇 yeonseung ryu
  • 5 篇 beniamino murgan...
  • 5 篇 sanjay misra
  • 5 篇 inoue katsumi
  • 5 篇 david taniar
  • 5 篇 carmelo m. torre
  • 5 篇 elena stankova
  • 4 篇 schaub torsten
  • 4 篇 belta calin
  • 4 篇 leonard barolli
  • 4 篇 hino n
  • 4 篇 castillo oscar

语言

  • 3,077 篇 英文
  • 47 篇 其他
  • 18 篇 中文
  • 3 篇 葡萄牙文
  • 2 篇 法文
  • 1 篇 俄文
检索条件"任意字段=18th International Conference on Logic Programming"
3141 条 记 录,以下是2771-2780 订阅
排序:
Evolution of the writer's role
Evolution of the writer's role
收藏 引用
international conference on Professional Communication (IPCC)
作者: L. Chamberland IBM Canada Limited Toronto ONT Canada
the paper discusses how the organization of technical writers vis-a-vis programmers significantly influences the effectiveness of the writer as user advocate. A writer can be treated as a peer to developers, but only ... 详细信息
来源: 评论
Stepwise introduction and preservation of safety properties in algebraic high-level net systems  3rd
收藏 引用
3rd international conference on Fundamental Approaches to Software Engineering (FACE 2000) at the European conference on theory and Practice of Software (ETAPS 2000)
作者: Padberg, J Hoffmann, K Gajewsky, M Tech Univ Berlin Inst Commun & Software Technol D-1000 Berlin Germany
Our approach of rule-based refinement(1) provides a formal description for the stepwise system development based on Petri nets. Rules with a left-hand and a right-hand side allow replacing subnets in a given algebraic... 详细信息
来源: 评论
A unified process for software and documentation development
A unified process for software and documentation development
收藏 引用
international conference on Professional Communication (IPCC)
作者: M. Priestley M.H. Utt IBM Toronto Software Laboratory Toronto ONT Canada Sitescape Inc. Maynard MA USA
this paper proposes the integration of the documentation development process into the rational unified process (RUP), a formal development process for software applications. Specifically, the paper identifies (in RUP ... 详细信息
来源: 评论
Exploring navigational patterns on the Web
Exploring navigational patterns on the Web
收藏 引用
international conference on Professional Communication (IPCC)
作者: D. Zimmerman P. Walls Center for Research on Writing and Communication Technologies Department of Journalism & Technical Communication Colorado State University Fort Collins CO USA
Reports on our preliminary analyses of our research which was designed to determine the navigational patterns that users follow in the World Wide Web and hierarchical Web sites. In all, 33 participants completed the s... 详细信息
来源: 评论
Writing as software development: making meaning before, after, and of the code
Writing as software development: making meaning before, afte...
收藏 引用
international conference on Professional Communication (IPCC)
作者: S. Lockhart R. Mehrotra Agilent Technologies Inc. CA USA
this paper presents some thoughts on redefining a technical writer's role in the software development process. It outlines ways in which writers can use their writing skills to collaborate with and add value to th... 详细信息
来源: 评论
Documentation meets version control: an automated backup system for HTML-based help
Documentation meets version control: an automated backup sys...
收藏 引用
international conference on Professional Communication (IPCC)
作者: R. Green IBM Toronto Software Solutions Laboratory Toronto ONT Canada
Software developers have used version control systems for years, to manage source code changes and to enable them to reproduce any given level of their software from the source code that created it. Most writing depar... 详细信息
来源: 评论
Elucidative programming in Java  00
Elucidative programming in Java
收藏 引用
Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork
作者: Kurt Nørmark Max Andersen Claus Christensen Vathanan Kumar Søren Staun-Pedersen Kristian Sørensen Aalborg University Fredrik Bajers Vej 7E DK-9220 Aalborg Denmark
In this paper we describe the ideas of Elucidative programming. With Elucidative programming we are primarily concerned with documentation of program understanding, and presentation of such understanding on the World ...
来源: 评论
Creating single-sourced tutorials  00
Creating single-sourced tutorials
收藏 引用
international conference on Professional Communication (IPCC)
作者: C. Stieren Omni Mark Technologies Corporation Ottawa ONT Canada
Suppose you want to integrate a tutorial, or several tutorials, into your product documentation. Doing so can let your users check their understanding and ability to use what they have learned. In HTML documentation, ... 详细信息
来源: 评论
the technical writer as software process catalyst
The technical writer as software process catalyst
收藏 引用
international conference on Professional Communication (IPCC)
作者: K.V. Scott Standard Document Inc. Los Gatos CA USA
the emergence of a new economy, fueled by business-to-business e-commerce and moving toward things like component-based development, and soon to be dominated by browser-based applications, is creating a shift in focus... 详细信息
来源: 评论
the paradox of information: control versus chaos in managing documentation projects with multiple audiences
The paradox of information: control versus chaos in managing...
收藏 引用
international conference on Professional Communication (IPCC)
作者: R.S. Dicks NC State University Raleigh NC USA
the paper considers how documentation professionals are faced today with a paradox that seems to defy resolution. We have learned the necessity for employing careful planning and mature project management practices to... 详细信息
来源: 评论