FITNESS FOR LIFE ELEMENTARY SCHOOL GUIDE FOR WELLNESS COORDINATORS
20102222 年出版0 页ISBN：
Handbook of Reagents for Organic Synthesis Reagents for Glycoside
Nucleotide2005 年出版770 页ISBN：
DRAWING & RENDERING FOR THEATRE A PRACTICAL COURSE FOR SCENIC
COSTUME2007 年出版272 页ISBN：
Lecture Notes in Computer Science 3831 SOFSEM 2006:Theory and Practice of Computer Science 32nd Conf
2006 年出版576 页ISBN：354031198X
Lecture Notes in Computer Science 3381 SOFSEM 2005:Theory and Practice of Computer Science 31st Conf
2005 年出版428 页ISBN：354024302X
a first course in graph theory=图论基础教程
xu junming（徐俊明）2015 年出版458 页ISBN：7030438639
本书着眼于有向图，将无向图作为特例，在一定的深度和广度上系统地阐述了图论的基本概念、理论和方法以及基本应用。全书内容共分7章，包括Euler回与Hamilton圈、树与图空间、平面图、网络流与连通度、匹配与独立...
面向计算机科学的数理逻辑 系统建模与推理 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
