离散140DVO85300隔离Verified
DesignImplementationCryptosystemMethodology
Statistics4.0OfficialVerified
InternationalExperimentsConferenceTheories
InternationalExperimentsConferencSoftware
InternationalExperimentsSoftwareVerified
TheoriesSoftwareExperimeVerified
ExperimentsConferenTheoriesSoftware
ImplementationCryptosystemSoCVerified
CompTIACertificationQuestionsVerified
Numerical数值工具箱Computing
沸石SynthesisMaterials合成
VerifiedInternationalExperimentsConferenc
MATLAB信号处理算法Algorithms
医药图书线性DescribedPrecepts
形式化语义切片Applications
统计数据Statistics4.0Official
9781970001242ProgrammingFunctionalVerified
ExperimenVerifiedTheoriesSoftware
C++工具箱AlgorithmComputing
InternationalExperimentsConferenceVerified
ProgrammingFunctionalVerified海外
9781970001273ProgrammingFunctionalVerified
AgdaProgrammingFunctionalVerified
和实InternationalExperimentsTheories
Fm8501微处理器MicroprocessorVerified
预售新书VERIFIEDVALLEY
HahnemannPrinciplesHomeopathyVerified
佩内洛普斯托特OfficialPenelope
预售ExperimentsTheoriesSoftware
预售ImplementationVerifiedScheme
预订TheoriesSoftwareVerified
InternationalExperimentsConference预订
Experiments预订TheoriesSoftware
9781013270130ElectronicUntrustedEquipment
扫描二维码打开
周一至周六
9:00-22:00
农业优选 Copyright © 2010 - 2021 http://gsslszz.yuncomcn.com/ All Rights Reserved
![按需印刷不退不换Verified Functional Programming in Agda[9781970001242]](https://img.alicdn.com/bao/uploaded/i4/1899623276/O1CN01HO3JVx1a4SIixf5jw_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Verified Functional Programming in Agda[9781970001273]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01Fyhz8e1a4SIY7sIMu_!!0-item_pic.jpg_310x310.jpg)
![[预订]Verified Software. Theories, Tools and Experiments.](https://img.alicdn.com/bao/uploaded/i2/454266620/O1CN011pLqGi1ym0my2x0rv_!!0-item_pic.jpg_310x310.jpg)
![[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270130](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN01fD4ouO1ym0pnK1qOT_!!0-item_pic.jpg_310x310.jpg)