计算机密码学——通用方案构造及安全性证明
作者： 出 版 社： 电子工业出版社 出版时间：字数：版次：页数：印刷时间：开本：印次：纸张：I S B N ： 9787121066580包装：
交互式定理证明与程序开发：Coq归纳构造演算的艺术（国外经典教材·计算机科学与技术?59作者： （德）伯托特，（德）卡斯特兰著，顾明等译 出 版 社： 清华大学出版社 出版时间： 2010-1-1字数： 690000版次： 1页数： 432印刷时间： 2010-1-1开本： 大16开印次
交互式定理证明与程序开发：Coq归纳构造演算的艺术(国外经典教材·计算机科学与技术)基本信息·出版社：清华大学出版社 ·页码：432 页 ·出版日期：2010年01月 ·ISBN：9787302208136 ·条形码：9787302208136 ·版本：第1版 ·装帧：平装 ·开本
基本信息出版社:大连理工大学出版社平装ISBN:9787561155554条形码:9787561155554ASIN:B003VWD32G
商品特性商品材质:钛钢、油皮绳商品尺寸:吊坠约3.2*1.3cm，项链总长约42cm可延长4cm包装清单：赠饰品包装盒，爱心寄语卡佩戴方法：直接佩戴说明：图片均为实物拍摄。 基本信息ASIN:B00
商品特性通用型ISOFIX连接器让普通安全座椅变身为ISOFIX座椅简单易用搭配RECARO，KIDDY，BRITAX等大多数安全座椅使用 商品描述您的车子支持isofix latch的儿童安全座椅
商品特性清凉柔软强度佳坚牢耐用抗皱平整安装方便 基本信息商品尺寸:60 x 30 cmASIN:B008APAJUI产地:江苏商品描述商品介绍 品名：儿童汽车安全座椅凉席 成分： 薄款：植物纤维棉
基本信息ASIN:B007KZQ0CK商品描述Nice One 类别：Nice One移动电源 输入：DC5V 1A 重量：130克 充电时间：5小时 体积：100x45x25（毫米） 电量显示：智
基本信息平装ISBN:155083472条形码:155083472ASIN:B00408ACG0
家用卫生杀虫用品安全通用技术条件作者： 本社 主编 出 版 社： 出版时间： 2009-11-1字数： 34000版次： 1页数： 17印刷时间： 2009-11-1开本： 大16开印次： 1纸张： 胶版纸I S B N ：
百态 2023-10-24
百态 2023-09-13
探索 2023-09-06
百态 2023-09-06
百态 2023-08-20
干货 2023-08-06
百态 2023-08-04
百态 2023-07-31
百态 2023-07-25
探索 2023-07-21
探索 2023-07-09
探索 2023-07-02
百态 2020-08-20
百态 2020-05-09
干货 2020-04-30
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
