THEORY OF SINGLE AND MULTIPLE INTERFACES:THE METHOD OF SURFACE GREEN FUNCTION MATCHING
FEDERICO GARCIA-MOLINER & WICTOR R.VELASCO1992 年出版498 页ISBN:9810208189
USING PASCAL AN INTRODUCTION TO COMPUTER SCIENCE 1
DAVID D.RILEY1987 年出版608 页ISBN:0878352341
USING THE INTERNET WITH WINDOWS 95 SPECIAL EDITION
MARY ANNE PIKE1996 年出版1296 页ISBN:0789706466
SIMULATION MODELING USING @RISK:UPDATED FOR VERSION 4
WAYNE L.WINSTON2222 年出版226 页ISBN:053438059x
AN INTRODUCTION TO GROUPS AND LATTICES:FINITE GROUPS AND POSITIVE DEFINITE RATIONAL LATTICES
2010 年出版251 页ISBN:9787040292053
本书介绍了有理格、有限群的基本知识和基本定理,并深入介绍了这两种理论之间的关系。作者是美国密歇根大学数学系教授,2010年获美国数学会Leroy P. Steele奖。...
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。