Symbolic execution of distributed systems Volume 5PDF电子书下载
- 电子书积分：9 积分如何计算积分？
- 作 者：Raimondas Sasnauskas
- 出 版 社：Shaker Verlag
- 出版年份：2013
- ISBN：3844021592
- 页数：168 页
图书介绍：
《Symbolic execution of distributed systems Volume 5》目录
标签：
出版社其它书籍
- 《视网膜脱离手术学》（英）奇内尔（Chignell，A.H.）著；任高英，马志中译 1994
- 《蓄热技术及其应用》（奥地利）G. 培克曼，（奥地利）P. V吉利著；程祖虞，奚士光译 1989
- 《微距摄影》（德）马丁·西格里斯特，（德）埃尔温·施特格曼原著；冯小平，夏耀，汪庆芳翻译 2004
- 《霍克海默集》（德）霍克海默（Moriz Horkheimer）著；曹卫东编选 渠东等译 1997
- 《INTRODUCING DESIGNS FOR MAKING A FIRST IMPRESSION DIE GESTALTEN VERLAG》ROBERT KLANTEN 2005
- 《没有道德的市场 国际金融精英的失误》（德）苏珊娜·施密特著；马倩茹译 2012
- 《噢！你这条肥狗 漫画集》（德）乌利·施泰因（Uli Stein）著；唐艳梅译 2003
- 《科学程序设计引论 用Mathematica和C求解计算问题》（美）Joseph L.Zachary著；裘宗燕等译 2001
- 《卢卡契谈话录》（匈）卢卡契（Lukacs Georg）著；（匈）伊斯特万（Istvan Eorsi）编；郑积耀等译 1991
- 《会计与监管 基于监管 市场与制度的新见解》RobertoDiPietra，StuartMcLeay，JoshuaRonen编；中国人民银行会计财务司译 2016