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