开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems
开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems作者： Roberto Gorrieri，Heike Wehrheim 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 266印刷时间： 2006/12/01
网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件） Formal techniques for networked and distributed systems作者： Elie Najm，Jean-Francois Pradat-Peyre，Véronique Viguié Donzeau-Gouge 著 出 版 社： 湖南文艺出版社 出版时间： 2006
组件和对象用形式方法/Formal methods for components and objects作者： Frank S. de Boer 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 429印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I
性能评价用形式方法与随机模型：EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation作者： András Horváth 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 237印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
面向对象信息系统／会议录Object-oriented information systems(面向对象信息系统／会议录)作者： Zohra Bellahsene 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 550印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I
金融市场中的统计模型和方法(应用统计学丛书)(Statistical Models and Methods for Financial Markets)基本信息·出版社：高等教育出版社 ·页码：323 页 ·出版日期：2009年11月 ·ISBN：9787040182934 ·条形码：9787040182934 ·版本：第1版 ·装帧：平装 ·开本
实时分布系统中基于知识的软件发展KNOWLEDGE-BASED SOFTWARE DEVELOPMENT FOR REAL-TIME DISTRIBUTED SYSTEMS作者： Jeffrey J. P. Tsai，Thomas Weigert著 出 版 社： 中国矿大出版社 出版时间： 2001-12-1字数：版次： 1页数： 234印刷时间： 1993/12/01
分布系统的稳定性、安全与保密：SSS 2006 /会议录LNCS-4280: Stabilization, safety, and security of distributed systems作者： Ajoy K. Datta 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 590印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B
基本信息·出版社：西安交通大学出版社 ·页码：174 页 ·出版日期：2004年 ·ISBN：7560518427 ·条形码：9787560518428 ·包装版本：1版 ·装帧：平装 ·开本：16
基于知识的智能信息与工程系统： KES 2006/会议录 第III部分Knowledge-based intelligent information and engineering systems作者： Bogdan Gabrys 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 1301印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
百态 2023-10-24
百态 2023-09-13
探索 2023-09-06
百态 2023-09-06
百态 2023-08-20
干货 2023-08-06
百态 2023-08-04
百态 2023-07-31
百态 2023-07-25
探索 2023-07-21
探索 2023-07-09
探索 2023-07-02
百态 2020-08-20
百态 2020-05-09
干货 2020-04-30
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
