PHARMACOLOGY AND PHYSIOLOGY IN ANESTHETIC PRACTICE
1987 年出版859 页ISBN：0397507712
Design and Test of Digital Circuits by Quantum-Dot Cellular Automata
Fabrizio Lombardi2008 年出版382 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
FLEXIBLE MANUFACTURING SYSTEMS IN PRACTICE APPLICATIONS
DESIGN2222 年出版358 页ISBN：
