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
Harmonic analysis and approximation on the unit sphere = 球面上的调和分析与逼近
Wang Kunyang ; Li Luoqing2000 年出版300 页ISBN:7030083660
PROTEIN EXPRESSION A PRACTICAL APPROACH
S.J.HIGGINS B.D.HAMES2222 年出版282 页ISBN:0199636230