Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
Topology with applications topological spaces via near and far
Somashekhar A. Naimpally ; James F. Peters2013 年出版278 页ISBN：9814407656
Lecture Notes in Computer Science 3167 Refinement Techniques in Software Engineering First Pernambuc
PSSE 20042006 年出版391 页ISBN：3540462538
BUSINESS PROCESS MODELING：SOFTWARE ENGINEERING，ANALYSIS AND APPLICATIONS
JASON A.BECKMANN2011 年出版188 页ISBN：1612093442
Basic research methods in social science : the art of empirical investigation
Julian L. Simon.1969 年出版525 页ISBN：
THE SCIENCE AND APPLICATIONS OF ACOUSTICS SECOND EDITION
2006 年出版660 页ISBN：0387260625
Principles of Environmental Engineering and Science 第2版
（美）戴维斯 （美）马斯坦2008 年出版0 页ISBN：
In-vitro materials design modern atomistic simulation methods for engineers
Roman Leitsmann ; Philipp Planitz ; Michael Schreiber2015 年出版224 页ISBN：3527334238
MEASUREMENT AND DATA ANALYSIS FOR ENGINEERING AND SCIENCE SECOND EDITION
2010 年出版490 页ISBN：1439825686
