Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN：9783540732297
SERIES IN COMPUTER SCIENCE-VOL.5 VISUALIZING ABSTRACT BOJECTS AND RELATIONS A CONSTRAINT-BASED APPRO
1989 年出版162 页ISBN：9810200099
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN：3540311424
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
生态功能区划与生态系统管理 理论与实证 theory framewrok and demonstration research
燕乃玲著2007 年出版178 页ISBN：780681972X
本书针对我国生态环境恶化的状况，阐明生态功能区划的基本概念，研究对象和主要任务，提出功能区域的基本原则、方法。
CRIMINAL JUSTICE THEORY EXPLAINING THE NATURE AND BEHAVIOR OF CRIMINAL JUSTICE
DAVID E.DUFFEE EDWARD R.MAGUIRE著2222 年出版380 页ISBN：0415954797
火箭外弹道偏差与修正理论=the trajectory error and correction theory of rockets
杨绍卿编著2011 年出版0 页ISBN：
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
