formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
COMPUTER MUSIC MODELING AND RETRIEVAL INTERNATIONAL SYMPOSIUM
CMMR 20032004 年出版247 页ISBN：3540209220
COMPUTER AIDED ENGINEERING SYSTEMS HANDBOOK VOLUME 1
J.PUIG-PEY，C.A.BREBBIA1987 年出版288 页ISBN：
SYSTEMS MODELING AND COMPUTER SIMULATION SECOND EDITION
MARCEL DEKKER1996 年出版729 页ISBN：
MICRO-TUNNELING TECHNOLOGY FOR REPLACEMENT ELECTRIC AND TELECOMMUNICATION LINES
DR.RAGAEI SADEK2014 年出版136 页ISBN：
Spintronic Materials and Technology Series in Materials Science and Engineering
Y B Xu2007 年出版423 页ISBN：
SAFE NANOTECHNOLOGY IN THE WORKPLACE Nanotechnology Science and Technology Series
NATHAN I.BIALOR2009 年出版167 页ISBN：
