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
methods in enzymology The unfolded protein response and cellular stress. Part C (volume 491)
edited by by P. Michael Conn2011 年出版413 页ISBN:012385928X
TRANSPARENCY IN EU INSTITUTIONAL LAW A PRACTITIONER’S HANDBOOK SECOND,COMPLETELY REVISED EDITION
BART DRIESSEN2012 年出版382 页ISBN:9041141278
Advances in Computational Fluid-Structure Interaction and Flow Simulation New Methods and Challengin
Yuri bazilevs2016 年出版500 页ISBN:3319408255
怎样破解一桩谋杀案 物证勘验手册 the forensic handbook
(美)迈克尔·克兰著;李兆隆译2006 年出版218 页ISBN:7501435030
本书中,作者将在当今美国使用的法医学技术以一个专家亲历的方式呈现在读者面前。其中包括:弹道学、DNA比对、指纹分析、血型测定、犯罪现场勘验等内容。用一个虚构的谋杀案件作为本书的开始,作者向人们展示了...