Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
SADTLER COMMERCIAL INFRARED GRATING SPECTRA-STEROIDS 1983 VO1.4：S751K-S1000K WITH NUMERICAL
ALPHABETICAL MOLECULAR FORMULA AND CLASSES INDEX TO IR GRATING VOLS.1-41983 年出版447 页ISBN：
Color Their World:How to decorate a childa?s mind body heart and soul along with their Room!
2006 年出版88 页ISBN：9781425919719;1425919715
植物的欲望 植物眼中的世界 A plant's-eye view of the world
（美） 迈克尔·波伦著；Michael Pollan 王毅译2003 年出版271 页ISBN：7208040427
人类在选择植物，植物也在利用人类，这都会使得植物的少数品种发达而整体萎缩。所以，保护生物多样性就成为一个极其重要的问题。还是拿苹果来说吧，在果园中只种植缩减后的若干个嫁接品种的做法已经使得苹果不再适...
Lecture Notes in Artificial Intelligence 4002 Finite-State Methods and Natural Language Processing 5
FSMNLP 20052006 年出版312 页ISBN：9783540354673
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
