Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
PERTURBATION METHODS IN APPLIED MATHEMATICS
J. KEVORKIAN1981 年出版558 页ISBN:0387905073
ALGORITHMS AND DISCRETE APPLIED MATHEMATICS
SUMIT GANGULY2015 年出版297 页ISBN:9783319149738
DISCRETE MATHEMATICS FOURTH EDITION
JOHN A.DOSSEY,ALBERT D.OTTO,LAWRENCE E.SPENCE等原著 俞正光,陆玫改编2005 年出版462 页ISBN:
DISCRETE MATHEMATICS THIRD EDITION
JOHN A.DOSSEY ALBERT D.OTTO LAWRENCE E.SPENCE CHARLES VANDEN EYNDEN1997 年出版580 页ISBN:0673980391
BASIC TECHNICAL MATHEMATICS SECOND EDITION
PETER KUHFITTIG1989 年出版695 页ISBN:0534094260