Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
MODELING IN THE NEUROSCIENCES FROM BIOLOGCIAL SYSTEMS TO NEUROMIMETIC ROBOTICS SECOND EDITION
G.N.REEKE2005 年出版711 页ISBN:0415328683
MICRO NANO DEVICES STRUCTURE AND COMPUTING SYSTEMS
DEHUAI ZENG2011 年出版754 页ISBN:3037850091
DESIGNING AND PROGRAMMING MODERN COMPUTER SYSTEMS VOLUME Ⅱ SUPERCOMPUTING SYSTEMS:RECONFIGURABLE ARC
SVETLANA P.KARTASHEV STEVEN I.KARTASHEEV2222 年出版428 页ISBN:0132014351
DIGITAL NETWORKS AND COMPUTER SYSTEMS SECOND EDITION
TAYLOR L. BOOTH2222 年出版592 页ISBN: