BRIDGE TO ABSTRACT MATHEMATICS MATHEMATICAL PROOF AND STRUCTURES
RANDOM HOUSE1987 年出版395 页ISBN:
Introduction to Time-Frequency and Wavelet transforms
Shie Qian2222 年出版280 页ISBN:
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
Biosynthesis of heterocycles: from isolation to gene cluster
Patrizia Diana ; Girolamo Cirrincione2015 年出版764 页ISBN:1118028674
INTRODUCTION TO THE FOUNDATIONS OF AMERICAN EDUCATION
JAMES A.JOHNSON VICTOR L. DUPUIS DIANN MUSIAL GENE E.HALL DONNA M.GOLLNICK1999 年出版533 页ISBN:0205306837
CHALLENGES TO MULTILATERAL TRADE THE IMPACT OF BILATERAL
PREFERENTIAL AND REGIONAL AGREEMENTS2008 年出版273 页ISBN:9041127119
OFF AND RUNNING A PRACTICAL GUIDE TO LEGAL RESEARCH,ANALYSIS,AND WRITING
ANGELA C.AREY,NANCY A.WANDERER2014 年出版256 页ISBN:9781454836155
PROBABILITY AND RANDOM PROCESSES WITH APPLICATIONS TO SIGNAL PROCESSING AND COMMUNICATIONS SECOND
SCOTT L.MILLER AND DONALD CHILDERS2012 年出版611 页ISBN:0123869811
MATHEMATICS WITH CALCULUS AND ITS APPLICATIONS TO MANAGEMENT LIFE AND SOCIAL SCIENCES
MARGARET B.COZZENS & RICHARD D.PORTER1987 年出版993 页ISBN:0669096661