Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
THE CHICKENCOOP CHINAMAN AND THE YEAR OF THE DRAGON
1981 年出版146 页ISBN：0295958332
THE ENEMY OF NATURE THe end of Capitalism or the end of the world?
Joel Kovel2002 年出版273 页ISBN：1842770811
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
WHO PROTECTS THE OCEAN? ENVIROMENT AND THE DEVELOPMENT OF THE LAW OF THE SEA
JOHN LAWRENCE HARGROVE1975 年出版250 页ISBN：
金利主编2011 年出版319 页ISBN：9787561156988
本书共分2篇，上篇介绍用友U8系统，下篇介绍金蝶K3系统，内容翔实使用，适于高职高专层次的学生和相关会计与电算化会计类从业人员使用。
MATHEMATICAL PROBLEMS IN SEMICONDUCTOR PHYSICS
2003 年出版141 页ISBN：9783540408024;3540408029
