SIGNAL PROCESSING II: THEORIES AND APPLICATIONS PROCEEDINGS OF EUSIPCO-83 SECOND EUROPEAN SIGNAL PRO
W.-GERMANY SEPTEMBER 12-161983 年出版857 页ISBN：
Lecture Notes in Computer Science 4802 Advances in Conceptual Modeling-Foundations and Applications
FP-UMLQoIS 年出版0 页ISBN：SeCoGIS
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 4896 E-Voting and Identity First International Conference
VOTE-ID 20072007 年出版189 页ISBN：9783540774921
THE LAST BEST HOPE OF EARTH:ABRAHAM LINCOLN AND THE PROMISE OF AMERICA
JOHN H.RHODEHAMEL THOMAS F.SCHWARTZ JAMES M.MCPHERSON1993 年出版79 页ISBN：
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
CRIME AND THE LAW THE SOCIAL HISTORY OF CRIME IN WESTERN EUROPE SINCE 1500
V.A.C.GATRELL1980 年出版381 页ISBN：
THE POLITICS OF ECONOMIC DECILINE ECONOMIC MANAGEMENT AND POLITICAL BEHAVIOUR IN BRITAIN SINCE 1964
JAMES E.ALT1978 年出版296 页ISBN：052122327X
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
葛竞著2007 年出版174 页ISBN：9787807328346
个头不高，眼睛又大又亮，头发总是乱蓬蓬的包达达，是个号称牛爱比尔——牛顿+爱因斯坦+比尔盖茨的6年级小学生。包达达遇见了一个叫卜卜的男孩，以自己的日记本为交换条件，许下了3个一定会实现的愿望：让自己的同学.....
