Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
FUNCTIONAL ANALYSIS IN MARKOV PROCESSES
M.FUKUSHIMA1982 年出版307 页ISBN:354011484X
Beijing Lectures in Harmonic Analysis
Stein1986 年出版424 页ISBN:9780691084190;069108419X
The OMICs applications in neuroscience
Giovanni Coppola2014 年出版374 页ISBN:0199855452