Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
METHODS IN ENZYMOLOGY VOLUME 173 BIOMEMBRANES PART T CELLULAR AND SUBCELLULAR TRANSPORT EUKARYOTIC C
SIDNEY FLEISCHER1989 年出版842 页ISBN:0121820742
METHODS IN ENZYMOLOGY VOLUME 88 BIOMEMBRANES PART I VISUAL PIGMENTS AND PURPLE MEMBRANES II
LESTER PACKER1982 年出版836 页ISBN:0121819884
Lecture Notes in Computer Science 616 Application and Theory of Petri Nets 1992
1992 年出版398 页ISBN:3540556761