Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN:
Computer models in the social sciences
[by] R. B. Coats and A. Parkin.1977 年出版184 页ISBN:
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X
陈荣主编;《亲历者》编辑部编著2011 年出版226 页ISBN:9787113127855
近年来,随着国民收入的不断提高,出国旅游已成为了一种时尚。走出国门,放松心情,感受异域风情,越来越受到国人的热爱。在这种“出国旅游热”的时代背景下,有关国外游的书籍,也得到了广大读者的青睐。读者在购买......
郁钟铭,刘俊著2003 年出版164 页ISBN:7806622640
本书应用系统力学原理与投入产出方法、计算机模拟与仿真技术,对多维、多级动态的煤矿产业结构进行了全面系统的分析,将系统动力学模型(SD)与投入产出模型(I/O)有机相结合,创建了煤矿产业结构的系统动力学模型(S......
陈荣主编;《亲历者》编辑部编著2012 年出版226 页ISBN:9787113139322
近年来,随着国民收入的不断提高,出国旅游已成为了一种时尚。走出国门,放松心情,感受异域风情,越来越受到国人的热爱。在这种“出国旅游热”的时代背景下,有关国外游的书籍,也得到了广大读者的青睐。读者在购买......