Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN:
A Computer-Assisted Approach To Elementary Statistics Examples and Problems
William Bulgren1971 年出版162 页ISBN:
INTEGRATING DATA PROCESSING SYSTEMSIn Theory and In Practice
1984 年出版264 页ISBN:0134689917
BANACH SPACES AND DESCRIPTIVE SET THEORY: SELECTED TOPICS
2010 年出版168 页ISBN:9783642121524
BASIC CONCEPTS IN LINEAR SYSTEMS THEORY AND EXPERIMENTS
1983 年出版136 页ISBN:0471875139