THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN:9783540727873
CROSS-DISCIPLINARY APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION:ADVANCING TRCHNOL
2012 年出版755 页ISBN:1613504291
BRIEF CALCULS WITH MODELING:TECHNOLOGY AND APPLICATION WITH GLOSSARY OF INTERNET TERMS
1996 年出版468 页ISBN:0030445647
METHODS IN ENZYMOLOGY VOLUME 485:CONSTITUTIVE ACTIVITY IN RECEPTORS AND OTHER PROTEINS PART B
P.MICHAEL CONN2010 年出版652 页ISBN:9780123812964
METHODS IN ENZYMOLOGY VOLUME 134 STRUCTURAL AND CONTRACTILE PROTEINS PART C THE CONTRACTILE APPA
RICHARD B.VALLEE2222 年出版748 页ISBN:0121820343
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN:3540388621
储能技术应用潜力与经济性研究 = ENERGY STORAGE APPLICATION POTENTIAL AND ECONOMIC EVALUATION
刘坚著2016 年出版193 页ISBN:7513643665
Some topics in harmonic analysis and applications = 调和分析及其应用中的一些问题
Junfeng Li ; Xiaochun Li ; Guozhen Lu2015 年出版424 页ISBN:7040430189