关注微信公众号查券更方便
新书现货 形式化方法:理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
大夏书系班主任家校沟通的艺术如何解决家校沟通形式化单向化被动化的问题如何扭转告状式通知式被动式的程序化沟通华东师范大学
正版包邮 领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等 编著 中国科大出版社 形式化方法 理论及应用
【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
当当网 安全协议形式化分析与验证 计算机/网络 科学出版社 正版书籍
当当网 拉格朗日力学理论的形式化与机器人动力学形式化分析 计算机/网络 科学出版社 正版书籍
预售 按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括
论证挖掘与论证形式化
分数阶系统高阶逻辑形式化验证
当当网 几何代数的形式化与初步应用 自然科学 科学出版社 正版书籍
基于认知的自然语言自动形式化研究
【新华文轩】基于认知的自然语言自动形式化研究 徐超 中国社会科学出版社 正版书籍 新华书店旗舰店文轩官网
【新华文轩】分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 正版书籍 新华书店旗舰店文轩官网 科学出版社
形式化方法导论(第2版)
矩阵结构与矩阵函数的形式化
拉格朗日力学理论的形式化与机器人动力学形式化分析
哈密顿力学理论的形式化与机器人动力学形式化分析
语用寓义推理形式化研究
【正版书籍】形式化方法导论 21世纪高等学校计算机专业实用规划教材 张广泉
几何代数的形式化与初步应用
安全协议形式化分析与验证
正版现货 论证挖掘与论证形式化 鞠实儿 等 科学出版社 9787030734679平装胶订
【官方正版新书】形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材
现货正版 平装胶订 矩阵结构与矩阵函数的形式化 施智平吴爱轩关永王国辉张倩颖 科学出版社 9787030763303
正版 逻辑学导论 原书第三版 三段论逻辑 意义与定义 谬误与论证 基础模态逻辑 道义和祈使逻辑 一个形式化的伦理理论 哥德尔定理
现货正版 平装 分数阶系统高阶逻辑形式化验证 赵春娜蒋慕蓉 科学出版社 9787030622068
法律知识形式化管理理论及工程方法 刘振宇著 9787509672082
正版现货 哈密顿力学理论的形式化与机器人动力学形式化分析 施智平等 科学出版社9787030532046
现货语用寓义推理形式化研究毛眺源科学出版社9787030704078
形式化方法
【正版现货】数字集成电路设计验证 量化评估激励生成形式化验证 李晓维
海外直订A Formal Approach to Discourse Anaphora 语篇回指的形式化研究
海外直订Formal Modeling and Analysis of Timed Systems: 20th International Conference, Fo 时间系统的形式化建模与分析
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
海外直订Formal Engineering for Industrial Software Development: Using the Sofl Method 工业软件开发的形式化工程:使用
海外直订Validation and Verification of Formal Specifications in Object-Oriented Software 面向对象软件工程中形式化规范的
海外直订A Formal Definition of JML in Coq Coq中Jml的形式化定义
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法
海外直订Formal Description Techniques IX: Theory, Application and Tools 形式化描述技术IX:理论、应用和工具
海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二
海外直订Proof, Logic and Formalization 证明、逻辑和形式化
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems 实时和容错系统中的形式化技术
【正版】形式化方法导论 21世纪高等学校计算机专业实用规划教材 张广泉
海外直订Foundations of Real-Time Computing: Formal Specifications and Methods 实时计算的基础:形式化规范和方法
海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法
海外直订Formal Models of Operating System Kernels 操作系统内核的形式化模型
海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规范技术
海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规格说明技术
海外直订Visual Languages for Interactive Computing: Definitions and Formalizations 交互式计算的可视化语言:定义和形式化
海外直订Formalizing the Dynamics of Information, 91 信息动力学的形式化,1991
海外直订Form-Focused Instruction of English Idioms 英语习语的形式化教学
海外直订Knowledge Formalization and Information Retrieval 知识形式化与信息检索
海外直订Intuitive formal modelling of biological systems 生物系统直观的形式化建模
海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视
海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16
海外直订Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Gui 组件软件的形式化方面:第七
海外直订Formalizing Natural Languages with Nooj and Its Natural Language Processing Appl 用Nooj形式化自然语言及其自
海外直订Integrated Formal Methods 综合形式化方法
海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证:
海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五
海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法
MY 矩阵结构与矩阵函数的形式化 9787030763303 科学
SH 嵌入式软件系统测试基于形式化方法的自动化测试解决方案 9787111672425 机械工业
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法:面
海外直订Formalization of Design Patterns by Means of Ontologies 基于本体的设计模式形式化研究
海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统:形式化规范和自动验证
海外直订Formal Verification: An Essential Toolkit for Modern VLSI Design 形式化验证:现代VLSI设计的基本工具
海外直订Formal Methods in Automated Design Debugging 自动化设计调试中的形式化方法
海外直订Integration of Processes using Formal Methods 使用形式化方法集成过程
海外直订Formal Semantics and Verification Of Use Case Maps 用例映射的形式化语义和验证
海外直订The Meaning of General Theoretical Sociology: Tradition and Formalization 一般理论社会学的意义:传统与形式化