可解映射在程序与系统验证中的应用

可解映射在程序与系统验证中的应用

出版社：中国科学院

出版年：2012

作者：徐鸣

资源类型：图书

细分类型：中文文献,学位论文

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Teichmuller映射在图形插值与区域参数化中的应用

作者：年先顺
出版年：2017

多线性映射在密码学中的应用研究

作者：唐飞
出版年：2015

基于ThreadX的SoC系统验证技术及应用

作者：安蓉
出版年：2008

自适应QoS保证中映射的研究与应用

作者：韩新启
出版年：2003

基于三级映射的FTL算法设计与验证

作者：何浩
出版年：2013

一维系统中的混沌 :符号动力学，映射序列，一致收敛和沙可夫斯基定理 :sym

作者：包米克
ISBN：9787560339634
出版社：哈尔滨工业大学出版社
出版年：2022