Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN:0444508120
Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN:0444829490
Genetic engineering of DNA and protein Volume II
Tom Lee2015 年出版254 页ISBN:1632393524
HANDBOOK OF APPLICABILE MATHEMATICS VOLUME 2 PROBABILITY
EMLYN LIOYD2222 年出版450 页ISBN:
HANDBOOK OF NEUROCHEMISTRY VOLUME 2 STRUCTURAL NEUROCHEMISTRY
ABEL LAJTHA2222 年出版579 页ISBN: