formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
Microprogrammable Parallel Computer MUNAP and Its Applications
Takanobu Baba1987 年出版291 页ISBN：
Process Control Computer Technology:A Programmed Introduction
Peter Schafer1978 年出版297 页ISBN：
COMPUTER MUSIC MODELING AND RETRIEVAL INTERNATIONAL SYMPOSIUM
CMMR 20032004 年出版247 页ISBN：3540209220
SYSTEMS MODELING AND COMPUTER SIMULATION SECOND EDITION
MARCEL DEKKER1996 年出版729 页ISBN：
Lecture Notes in Computer Science 3624 Approximation
Randomization and Combinatorial Cptimization Algorithms and Techniques2005 年出版494 页ISBN：3540282394
Lecture Notes in Computer Science 4110 Approximation
Randomization and Combinatorial Optimization Algorithms and Techniques2006 年出版522 页ISBN：3540380442
INTRODUCTION TO DATA COMMUNICATIONS AND COMPUTER NETWORKS
FRED HALSALL2222 年出版270 页ISBN：0201145472
