Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Control and Information Sciences 107 Structural Analysis and Design of Multivariabl
Y.T.Tsay，L.-S.Shieh，S.Barnett1988 年出版208 页ISBN：7506207516
INTRODUCTION TO AUTOMATA THEORY，LANGUAGES，AND COMPUTATION （THIRD EDITION）
[美]JOHN E.HOPCROFT RAJEEV MOTWANI JEFFREY D.ULLMAN著2008 年出版535 页ISBN：9787111223924
本书介绍了形式语言、自动机理论和计算复杂性理论。
INTRODUCTION TO COMPUTATIONAL SCIENCE: MODELING AND SIMULATION FOR THE SCIENCES
ANGELA B.SHIFLET AND GEORGE W.SHIFLET2006 年出版554 页ISBN：0691125651
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
Lecture Notes in Computer Science 2984 Fundamental Approaches to Software Engineering 7th Internatio
FASE 20042004 年出版389 页ISBN：3540213058
Lecture Notes in Computer Science 3922 Fundamental Approaches to Software Engineering 9th Internatio
FASE 20062006 年出版425 页ISBN：3540330933
YURII NESTEROV AND ARKADII NEMIROVSKII INTERIOR POINT POLYNOMIAL ALGORITHMS IN CONVEX PROGRAMMING
SIAM1993 年出版405 页ISBN：0898715156
THE APHASIC PATIENT A PROGRAM FOR AUDITORY COMPREHENSION AND LANGUAGE TRAINING CLINICIAN'S EDITION
WILLIAM P.BAER1976 年出版135 页ISBN：0398035679
Lecture Notes in Computer Science 4679 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20072007 年出版494 页ISBN：9783540741954
