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:
MUTATIONAL ANALYSIS: A JOINT FRAMEWORK FOR CAUCHY PROBLEMS IN AND BEYOND VECTOR SPACES
2010 年出版516 页ISBN:9783642124709
PUTTING LABOUR IN ITS PLACE LABOUR PROCESS ANALYSIS AND GLOBAL VALUE CHAINS
KIRSTY NEWSOME,PHIL TAYLOR,JENNIFER BAIR,JENNIFER BAIR,AL RAINNIE2015 年出版295 页ISBN:9781137410351
Bussiness ratio report: an industry sector analysis: food processing and packaging machinery industr
1986 年出版122 页ISBN:0862618924
How to make war:a comprehensive guide to modern warfare in the twenty-first century
2222 年出版659 页ISBN:006009012X
定量化学分析 = QUANTITATIVE CHEMICAL ANALYSIS
李娜2009 年出版308 页ISBN:9787301156599
北京大学的分析化学课程2003年被评为国家级精品课,是全国分析化学课程中首门国家级精品课程。编者从2003年以来开始对定量化学分析课进行英文讲授。本书得到新闻出版总署“走出去”项目经费支持。全书共10章...
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