Mathematical Programming With Data Perturbations Volume 195
Anthony v.Fiacco2017 年出版442 页ISBN:1138413252
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
FUNDAMENTAL OF ADVANCED COMPUTER PROGRAMMING
周麟祥编著2005 年出版353 页ISBN:7309045769
本书为从事大规模计算和模拟所需具备的计算机核心技术集锦。包括Unix操作系统、计算机语言和SQL。
Programming and Engineering Computing with MATLAB 2017
Huei-Huang Lee2017 年出版528 页ISBN:1630571405
THE LOGIC OF SUBCHAPTER K:A CONCEPTUAL GUIDE TO THE TAXATION OF PARTNERSHIPS FOURTH EDITION
LAURA E.CUNNINGHAM AND NOEL B.CUNNINGHAM2011 年出版263 页ISBN:9780314199850