Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
HANDBOOK OF NEUROCHEMISTRY VOLUME 5 METABOLIC TURNOVER IN THE NERVOUS SYSTEM PART A
ABEL LAJTHA2222 年出版438 页ISBN：
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
CRC handbook of chemistry and physics : a ready-reference book of chemical and physical data / 80th
editor-in-chief1962 年出版2481 页ISBN：0849304806
HANDBOOK OF NATURAL TOXINS VOLUME 2 INSECT POISONS，ALLERGENS，AND OTHER INVERTEBRATE VENOMS
ANTHONY T.TU1984 年出版732 页ISBN：0824772075
HANDBOOK OF BIOCHEMISTRY AND MOLECULAR BIOLOGY 3RD EDITION NUCLEIC ACIDS VOLUME I
GERALD D.FASMAN1975 年出版638 页ISBN：0878195068
HANDBOOK OF NEUROCHEMISTRY AND MOLECULAR NEUROBIOLOGY NEURAL MEMBRANES AND TRANSPORT 3RD EDITION
MAARTEN E.REITH2007 年出版513 页ISBN：0387303472
FROM GENES TO GENOMES THIRD EDITION CONCEPTS AND APPLICATIONS OF DNA TECHNOLOGY
JEREMY W.DALE，MALCOLM VON SCHANTZ，NICK PLANT2012 年出版386 页ISBN：9780470683866
HANDBOOK OF NATURAL GAS TRANSMISSION AND PROCESSING PRINCIPLES AND PRACTICES THIRD EDITION
SAEID MOKHATAB WILLIAM A.POE JOHN Y.MAK2015 年出版597 页ISBN：0128014998
SMART STRUCTURES AND MATERIALS 1999 INDUSTRIAL AND COMMERCIAL APPLICATIONS OF SMART STRUCTURES TECHN
JACK H.JACOBS1999 年出版508 页ISBN：0819431486
