数学方法与软件技术 Algebraic methodology and software technology

数学方法与软件技术 Algebraic methodology and software technology

作者： Michael Johnson，Varmo Vene 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 387印刷时间： 2006/12/01开本：印次

程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction

作者： Roland Backhouse著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 385印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S

形式方法和软件工程LNCS-4260: Formal methods and software engineering

作者： Zhiming Liu 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 775印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

模型驱动软件开发 Model-Driven Software Development: Technology, Engineering, Management

作者： Thomas Stahl 著 出 版 社： John Wiley & Sons 出版时间： 2006-12-1字数：版次： 1页数： 428印刷时间： 2006/05/01开本：印次：纸张：

Positivity in algebraic geometry I : classical setting :,line bundles and linear series代数几何学中的正性 I

作者： R.K. Lazarsfeld 著 出 版 社： 北京燕山出版社 出版时间： 2007-5-1字数：版次： 1页数： 387印刷时间： 2007/05/01开本： 16开印次： 1纸张： 胶版

Positivity in Algebraic Geometry II: Positivity for Vector Bundles, and Multiplier Ideals 代数几何学中的正性 II

作者： R.K. Lazarsfeld著 出 版 社： 北京燕山出版社 出版时间： 2004-10-1字数：版次： 1页数： 385印刷时间： 2004/10/01开本： 16开印次： 1纸张： 胶版

临床检验方法学评价(The Methodology Evaluation Guide in Clinical Laboratory)

基本信息·出版社：人民卫生出版社 ·页码：377 页 ·出版日期：2008年 ·ISBN：9787117105811 ·条形码：9787117105811 ·包装版本：1版 ·装帧：平装 ·开本：1