面向计算机科学的数理逻辑 系统建模与推理 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
产业技术路线图 广东科技管理创新实践 the innovative practice of science and technology management in Guangdong
李兴华主编2008 年出版214 页ISBN:9787535948090
本书介绍了产业技术路线图制作的原理、原则基本结构及方法,同时还列举了广东省无铅、建陶、铝、工业产品环境适应性、国家重点实验室等实例。...
From Markov chains to non-equilibrium particle systems Second Edition = 从马尔科夫链到非平衡粒子系统 第2版
Mu-fa Chen2014 年出版600 页ISBN:7510068232
the frontiers in economic and management research volume I december 2012
editor-in-chief jinquan liu2013 年出版180 页ISBN:703039030X
jinquan liu所著的《the frontiers in economic and management research(volume1-december2012)》收录包括:具有前瞻性的经济学、管理学的理论和方法的研究成果。应用数量经济学方法进行宏观经济形势...