ADMINISTRATIVE PROCEDURES IN THE ELECTRONIC OFFICE
1991 年出版436 页ISBN：0130194727
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Digital fundamentals = 数字基础 (Seventh Edition)
Thomas L. Floyd2002 年出版828 页ISBN：7030101340
本书为国外高校电子信息类优秀教材（英文影印版）之一。 本书全面论述了数字电路设计的基础知识，包括数字电路概念、数字系统运作及规划、逻辑门、布尔数学运算和逻辑简化、组合逻辑电路及其功能,可编程逻辑器件...
微单圣经=Evil digital camera bible
雷依里2014 年出版0 页ISBN：
一本针对微单发烧友和摄影爱好者的书，书中以数百张专业摄影师提供的精彩摄影作品为例图，以实际拍摄中可能遇到的问题入手，基于微单相机的特殊构造与操作方法，系统地讲述了摄影构图的方法和技巧，可以更好地帮助摄...
