Handbook of Reagents for Organic Synthesis Reagents for Glycoside
Nucleotide2005 年出版770 页ISBN:
DRAWING & RENDERING FOR THEATRE A PRACTICAL COURSE FOR SCENIC
COSTUME2007 年出版272 页ISBN:
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN:0124166199
Exercise booklet for keys for writers:a brief handbook
Ann Raimes1996 年出版151 页ISBN:
Information technology for management : making connections for strategic advantage
Efraim Turban1999 年出版791 页ISBN:
PHYSICAL EDUCATION FOR LEARNING A GUIDE FOR SECONDARY SCHOOLS
RICHARD BAILEY2010 年出版259 页ISBN:9781847065025
Preparing for Blockade 1885-1914 Naval Contingency for Economic Warfare
STEPHEN COBB2013 年出版349 页ISBN:9781409434191
BASIC PIANO FOR ADULTS FOR CLASS AND INDIVIDUAL INSTRUCTION
HELENE ROBINSON1964 年出版108 页ISBN:0534000657