论证科学出版社形式化平装
论证博库形式化挖掘
中商数字化原版现货
形式化分布式InternationalDistributed
模块化形式Modular海外
形式化方法IntegratedMethods海外
形式化方法离散DynamicalDiscrete
形式化代数FormalizationAlgebraic
结构化StructuredOrientedLanguage
模块化超越形式Modular
西格尔模块化RepresentationClassical
形式化建模InternationalConference
Dirichlet模块化Elementary形式
集合论逻辑形式化Logic
原版中商奈克彼得
Simulink形式化VerificationDeductive
论证形式化挖掘
结构化InternationalStructuredLanguage
形式化方法软件工程EngineeringSoftware
形式化建模ElectronicModelling
形式化建模International定时
容错形式化ProceedingsTechniques
形式化EngineeringDevelopmentIndustrial
形式化方法软件工程InternationalEngineering
Natural自然语言形式化Nooj
西格尔模块化导论Introductory
形式化方法分布式DistributedDevelopment
海德堡模块化ComputationsProceedings
挪威模块化NordfjordeidLectures
形式化方法Verification算法Algorithms
论证挖掘论辩形式化
形式化方法NASAMethods海外
扫描二维码打开
周一至周六
9:00-22:00
宁夏农业科技平台 Copyright © 2010 - 2021 http://nxnykj.yuncomcn.com/ All Rights Reserved
