PROGRESS IN BRAIN RESEARCH VOLUME 58 MOLECULAR AND CELLULAR INTERACTIONS UNDERLYING HIGHER BRAIN F
J.-P.CHANGEUX J.GLOWINSKI M.IMBERT AND F.E.BLOOM1983 年出版483 页ISBN:0444801049
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN:3540372156