Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
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 ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
YOU：身体使用手册 2 腰部管理 The owner's manual for waist management
（美）迈克尔·罗伊森（Micheal F. Roizen），（美）迈哈迈特·奥兹（ Mehmet C. Oz）著；（美）加里·哈格仑（Gary Hallgren）插图 兆彬，吕方译2007 年出版352 页ISBN：7544702588
本书是《YOU：身体使用手册》的续篇。此本健康书通过图文并茂、深入浅出的科学介绍，揭示了如何控制腰围从而避免由于肥胖而带来的一系列健康风险。让读者“身材不走样，身体更健康！”...
星球大战 死星完全图解 DS 1 orbital battle station owner's workshop manual
（美）赖德·温德姆著；（美）克里斯·雷夫，克里斯·特里瓦斯绘；徐辰译2016 年出版123 页ISBN：9787302426547
本书全面介绍了《星球大战》电影中最著名的人造天体死星，并配有精美的图片。特别是全部重新手续的星球结构剖视图，为星战爱好者带来的令人惊叹的阅读体验。...
STUDENT'S STUDY GUIDE AND SOLUTIONS MANUAL TO ACCOMPANY MATHEMATICAL IDEAS NINTH EDITION AND EXPANDE
EMMETT M.LARSON2222 年出版0 页ISBN：
