形式化什么牌子好,形式化哪里有卖? - 第11页 - 宁夏农业科技平台

全部>“形式化” 共538个商品

形式化方法 International Executable Software

海外直订Formal Methods for Executable Software Models: 14th International School on Form 可执行软件模型的形式化方法

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
形式化方法软件工程建模 Engineering

海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法

￥1,967 券后￥2,067 0人已购买
优惠券￥ 100  领券购买 
形式化建模 Electronic Modelling

海外直订Formal Modelling in Electronic Commerce 电子商务中的形式化建模

￥2,286 券后￥2,386 0人已购买
优惠券￥ 100  领券购买 
形式化 Verification Introduction Hardware

海外直订Introduction to Formal Hardware Verification 形式化硬件验证简介

￥544 券后￥594 0人已购买
优惠券￥ 50  领券购买 
伽罗模块化形式 Modular

海外直订Galois Theory and Modular Forms 伽罗瓦理论与模块化形式

￥1,554 券后￥1,654 0人已购买
优惠券￥ 100  领券购买 
形式化内核 Operating 模型

海外直订Formal Models of Operating System Kernels 操作系统内核的形式化模型

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
渐近重整 Renormalization 几何

海外直订Geometrical Formulation of Renormalization-Group... 作为渐近分析的重整化群方法的几何形式

￥1,329 券后￥1,429 0人已购买
优惠券￥ 100  领券购买 
形式化 Proceedings CAD Advances

海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展：I

￥1,967 券后￥2,067 0人已购买
优惠券￥ 100  领券购买 
形式化 Engineering Development Industrial

海外直订Formal Engineering for Industrial Software Development: Using the Sofl Method 工业软件开发的形式化工程:使用

￥582 券后￥632 0人已购买
优惠券￥ 50  领券购买 
形式化方法软件测试 International Approaches

海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
形式化 Verification Sat Solutions

海外直订Sat-Based Scalable Formal Verification Solutions 基于sat的可扩展形式化验证解决方案

￥1,572 券后￥1,672 0人已购买
优惠券￥ 100  领券购买 
形式化方法 System 系统 Perspective

海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视

￥1,808 券后￥1,908 0人已购买
优惠券￥ 100  领券购买 
形式化方法工作组 Standards BCS

海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法：BCS工作组的一份报告

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
事象形式日语解析

海外直订日语形式的モデル化　離散事象／実時間／ハイブリッドシステムのモデル化と解析形式的モデル化　離散事象／実時

￥295 券后￥325 0人已购买
优惠券￥ 30  领券购买 
形式化方法人工智能 Intelligence Artificial

海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法

￥536 券后￥586 0人已购买
优惠券￥ 50  领券购买 
形式化 International Verification Conference

海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证：

￥538 券后￥588 0人已购买
优惠券￥ 50  领券购买 
形式化模块化 Specification Engineering

海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规范技术

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
形式化辅助设计 International Conference

海外直订Formal Methods in Computer-Aided Design: First International Conference, Fmcad ' 计算机辅助设计中的形式化方

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
形式化方法软件工程建模 Engineering

海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法

￥1,967 券后￥2,067 0人已购买
优惠券￥ 100  领券购买 
结构化 International Structured Oriented

海外直订Structured Object-Oriented Formal Language and Method: Second International Work 结构化面向对象的形式语言与

￥461 券后￥491 0人已购买
优惠券￥ 30  领券购买 
形式化 Techniques 海外数据库

海外直订Formal Techniques for Data Base Design 数据库设计的形式化技术

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
容错形式化定时 Techniques

海外直订Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: J 定时和容错系统的形式化技术

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
形式化方法软件工程 Sefm Engineering

海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
结构化 International Structured Language

海外直订Structured Object-Oriented Formal Language and Method: 5th International Worksho 结构化面向对象形式语言与方

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
模块化 Functions 形式 Modular

海外直订Modular Forms and Functions 模块化形式和功能

￥689 券后￥739 0人已购买
优惠券￥ 50  领券购买 
过程形式化 Specification 控制器

海外直订Formal Specification and Synthesis of Procedural Controllers for Process Systems 过程系统过程控制器的形式化规范

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
形式化方法蒸汽 Applications Programming

海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽

￥933 券后￥1,033 0人已购买
优惠券￥ 100  领券购买 
形式化方法辅助设计 International Conference

海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
Environmental Fragmentation 碎片 Gleaning

海外直订New Forms of Environmental Writing: Gleaning and Fragmentation 环境写作的新形式:收集与碎片化

￥1,484 券后￥1,584 0人已购买
优惠券￥ 100  领券购买 
模块化超越形式 Modular

海外直订Modular Forms: Basics and Beyond 模块化形式：基础和超越

￥1,347 券后￥1,447 0人已购买
优惠券￥ 100  领券购买 
模块化导论 Introduction 形式

海外直订Introduction to Modular Forms 模块化形式导论

￥1,243 券后￥1,343 0人已购买
优惠券￥ 100  领券购买 
形式化 Introduction 实时 Systems

海外直订Introduction to the Formal Design of Real-Time Systems 实时系统的形式化设计简介

￥539 券后￥589 0人已购买
优惠券￥ 50  领券购买 
形式化 Proceedings CAD Advances

海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展：I

￥1,967 券后￥2,067 0人已购买
优惠券￥ 100  领券购买 
形式化财务审计建模 Specifications

海外直订Financial Audit Systems Modeling- A Formal Specifications Approach 财务审计系统建模-一种形式化规范方法

￥549 券后￥599 0人已购买
优惠券￥ 50  领券购买 
理科漫画求知欲数理化

数理化狂想曲数学｜物理｜化学全3册正版书籍 300个学科知识点通过漫画的形式激发孩子对理科的求知欲8-12岁儿童趣味理科启蒙漫画

￥57.7 券后￥62.7 0人已购买
优惠券￥ 5  领券购买 
漫画利曼密码孩子

漫画走近懂分寸+数学物理化学密码别莱利曼的漫画趣味数理化启蒙书孩子的通关密码用漫画形式培养孩子的思维兴趣世界科普大师经典

￥77.6 券后￥82.6 0人已购买
优惠券￥ 5  领券购买 
漫画利曼密码孩子

漫画走近懂分寸+数学物理化学密码别莱利曼的漫画趣味数理化启蒙书孩子的通关密码用漫画形式培养孩子的思维兴趣世界科普大师经典

￥75.6 券后￥82.6 0人已购买
优惠券￥ 7  领券购买 
读法合伙人亲子关系

阅读合伙人：改善亲子关系的共读法何子静阅读合伙人共读法亲子关系安全基地育儿难题游戏化的形式戏剧化的表达

￥35.4 券后￥38.4 0人已购买
优惠券￥ 3  领券购买 
创意产品设计案例分析渲染

文创产品设计单阳文化创意表现形式领域创新要素方法运用案例分析渲染技术策略知识产权多元化发展趋势

￥61.1 券后￥64.1 0人已购买
优惠券￥ 3  领券购买 
刘广承继上下册一体化

形式一体化的承继与拓展---刘广三教授文集(上下册)刘广三

￥90.2 券后￥100.2 0人已购买
优惠券￥ 10.01  领券购买 

上一页 1 ... 9 10 11 12 13 ... 14 下一页

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

宁夏农业科技平台　　Copyright © 2010 - 2021 http://nxnykj.yuncomcn.com/ All Rights Reserved