Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
HOW TO WRITE PUBLISH & A SCIENTIFIC PAPER 4TH EDITION
ROBERT A.DAY1994 年出版223 页ISBN：0897748654
the science and design of engineering materials second edition
schaffer ，saxena ，antolovich ，samders ，warner2003 年出版828 页ISBN：7040110547
COMPREHENSIVE MEMBRANE SCIENCE AND ENGINEERING Volume 2 MEMBRANE OPERATIONS IN MOLECULAR SEPARATIONS
2010 年出版490 页ISBN：9780444532046
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
Lecture Notes in Control and Information Sciences 167 M.Rao Integrated System for Intelligent Contro
1992 年出版133 页ISBN：3540549137
Lecture Notes in Artificial Intelligence 4180 OMDoc-An Open Markup Format for Mathematical Documents
2006 年出版428 页ISBN：3540378979
Lecture Notes in Artificial Intelligence 4737 From Web to Social Web:Discovering and Deploying User
2007 年出版162 页ISBN：9783540749509
Lecture Notes in Artificial Intelligence 3394 Adaptice Agents and Multi-Agent Systems II Adaptation
2005 年出版313 页ISBN：3540252606
