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
近年来，随着国民收入的不断提高，出国旅游已成为了一种时尚。走出国门，放松心情，感受异域风情，越来越受到国人的热爱。在这种“出国旅游热”的时代背景下，有关国外游的书籍，也得到了广大读者的青睐。读者在购买......
