Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN：3540326545
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN：3540221743
语言、逻辑与认知 语言逻辑和语言哲学论集 an essay in language， logic and philosophy
蔡曙山著2007 年出版434 页ISBN：7302139156
本书是作者近年来对语言、逻辑和认知研究的系统性学术成果，从现代语言学和逻辑学的校对，阐述与语言、逻辑和认知有关的一些理论问题。
ADVANCES IN OPTICAL AND ELECTRON MICROSCOPY VOLUME 7
V.E.COSSLETT AND R.BARER1978 年出版397 页ISBN：0120299070
Advances in imaging and electron physics vl.137
henning F.harmuth and beate meffert2005 年出版319 页ISBN：0120147793
DIGITAL PROCESSING OF SYNTHETIC APERTURE RADAR DATA ALGORITHMS AND IMPLEMENTATION
IAN G.CUMMING FRANK H.WONG2222 年出版625 页ISBN：1580530583
Library Services for Children and Young People Challenges and opportunities in the digital age
Carolynn Rankin and Avril Brock2012 年出版248 页ISBN：9781856047128
Lecture Notes in Computer Science 4877:Digital Libraties:Research and Development
Costantino Thanos2007 年出版350 页ISBN：
Concepts and methods in modern theoretical chemistry electronic structure and reactivity
Swapan Kumar Ghosh ; Pratim Kumar Chattaraj2013 年出版462 页ISBN：1466505285
ADVANCES IN APPLIED MATERIALS AND ELECTRONICS ENGINEERING III
BRENDAN GAN2014 年出版803 页ISBN：9783038350583
