Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Advanced materials science and engineering of carbon = 先进碳材料科学与工程
Feiyu Kang ; Michio Inagaki2013 年出版436 页ISBN：7302347174
本书由于富勒烯和石墨烯分别获得了1996年诺贝尔化学奖和2010年诺贝尔物理奖，加上1991年发现的纳米炭管，引发了世界范围内的纳米科技革命。碳材料无论在科技界还是工业界都是热点，各国投入了大量的财力物力进行...
Lecture Notes in Computer Science 4638 Engineering Stochastic Local Search Algorithms Designing
Implementing and Analyzing Effective Heuristics2007 年出版223 页ISBN：9783540744450
INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGINEERING
1999 年出版472 页ISBN：0819431613
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Lecture Notes in Computer Science 4309 Software Engineering Education in the Modern Age
2006 年出版205 页ISBN：9783540682035
Lecture Notes in Computer Science 4336 Empirical Software Engineering Issues Critical Assessment and
2007 年出版193 页ISBN：9783540713005
Lecture Notes in Computer Science 3167 Refinement Techniques in Software Engineering First Pernambuc
PSSE 20042006 年出版391 页ISBN：3540462538
Lecture Notes in Computer Science 3270 Grid Services Engineering and Management First International
GSEM 20042004 年出版165 页ISBN：3540233016
