Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X
徐建平 吴庆余2006 年出版387 页ISBN:7040176912
本书是吴庆余编著的《基础生命科学》的英文版,由加拿大McMaster University徐建平和清华大学吴庆余教授共同编写,是国内自编的第一本全彩色、面向大学本科学生的通识课英文版教材。本书内容简单明了,通俗易懂;...
PROCEEDINGS I OF THE 1ST INTERNATIONAL CONFERENCE ON HYDROPOWER TECHNOLOGY & KEY EQUIPMENT 2006
《第一届水力发电技术国际会议论文集》编委会编2006 年出版1647 页ISBN:7508348753
本套书为第一届水力发电技术国际会议论文集,全书分三卷,中文两卷,英文一卷,共计500余万字。论文包括以下七个方面的内容:1.大型水轮机设计、制造和运行关键技术;2.大型水轮发电机及高压设备技术;3.大型水电站设备....