MATHEMATICAL ASPECTS OF SCIENTIFIC SOFTWARE
J.R.RICE1988 年出版208 页ISBN：7506205432
INFORMATION TECHNOLOGY FOR COMMAND AND CONTROL Methods and Tools for Systems Development and Evaluat
Stephen J.Andriole1991 年出版576 页ISBN：
中世纪的思维：思想情感发展史 第1卷=The Medieval Mind:A History of The Development of Thought and Emotion in Middle
（美）亨利·奥斯本·泰勒著；赵立行，周光发译2012 年出版579 页ISBN：
本书共分上下两卷，七编，包括中世纪思维的基础、中世纪早期、理想与现实：圣徒、理想与现实：社会；象征主义；拉丁文化与法律等。
Lecture Notes in Computer Science 3423 Recent Trends in Algebraic Development Techniques 17th Intern
WADT 20042005 年出版271 页ISBN：3540253270
Lecture Notes in Computer Science 4409 Recent Trends in Algebraic Development Techniques 18th Intern
WADT 20062007 年出版171 页ISBN：9783540719977
Safety Analysis of Complex Systems Considerations of Software
Firmware2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
