Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
COMPUTER NUMBER SYSTEMS AND ARITHMETIC
NORMAN R.SCOTT2222 年出版254 页ISBN：0131642111
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
A Computer-Assisted Approach To Elementary Statistics Examples and Problems
William Bulgren1971 年出版162 页ISBN：
Transportation Systems Engineering:Theory and Methods
2001 年出版710 页ISBN：0792367928
Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN：9780521118156
DISTRIBUTED INTELLIGENCE SYSTEMS:METHODS AND APPLICATION
D.MLADENOV1989 年出版360 页ISBN：0080357415
THERMAL SOLAR DESALINATION METHODS AND SYSTEMS
VASSILIS BELESSIOTIS2016 年出版368 页ISBN：0128096567
Interactive Computer Systems Videotex and Multimedia
1993 年出版434 页ISBN：0306443953
