IFIP出版物
出版物
IFIP国际信息处理联合会系列(Springer,直到2009年) IFIP信息和通信技术进展(施普林格) IFIP会议记录(施普林格): 国际单项体育联合会会议记录(Kluwer,1994-2004): IFIP交易 (1992/1994) IFIP现状报告 计算机图形学IFIP系列
活动网络 算法语言与微积分 并行和分布式计算中的应用 信息处理视角下的人工智能 宽带通信 通信和多媒体安全 信息系统设计方法比较综述 计算机硬件描述语言及其应用 正确的硬件设计和验证方法 数据通信及其性能 数据库安全 数据库语义 变形阿凡达 数字取证 分布式应用程序和互操作系统 分布式系统、操作和管理 电子商务、电子商务和电子政府 人机交互工程 分布式系统和通信协议的形式化描述技术 基于开放对象的分布式系统的形式化方法 信息网络与数据通信 信息安全 信息系统概念 综合网络管理 信息系统的完整性和内部控制 网络智能(SMARTNET) 国际计算机制图会议 自动推理国际研讨会 互通 高性能网络 人机交互 中间件 ATM网络的建模与评估 网络安全 公开分布式处理 开源软件 光网络设计与建模 并行体系结构和编译技术 分布式系统和集成通信网络的性能 编程概念、方法和微积分 并行计算编程环境 制造业编程语言(PROLAMAT) 协议规范、测试和验证 高速网络协议 服务质量 并行和分布式系统的软件工程 软件质量和生产力 测试通信系统 高阶逻辑中的定理证明 理论计算机科学 通用服务市场 上层协议、架构和应用程序 超大规模集成 可视化数据库系统 实验工作站