关注微信公众号查券更方便
淘宝,优惠券,严选新生活,好物分享家
预售 按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括
大夏书系班主任家校沟通的艺术如何解决家校沟通形式化单向化被动化的问题如何扭转告状式通知式被动式的程序化沟通华东师范大学
论证挖掘与论证形式化 鞠实儿 等9787030734679科学出版社
分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉9787030622068科学出版社
软件工程形式化方法与语言(高等院校精品教
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
论证挖掘与论证形式化 鞠实儿 广义论证本土化研究程序与机器学习论证模式论证元素及结构抽象论辩理论证挖掘方法论证科学人工智能
正版书籍 矩阵结构与矩阵函数的形式化 施智平等 科学出版社 9787030763303
矩阵结构与矩阵函数的形式化9787030763303施智平等科学出版社
哈密顿力学理论的形式化与机器人动力学形式化分析9787030532046施智平等科学出版社
T/CIE 095-2020区块链智能合约形式化表达
几何代数的形式化与初步应用
论证挖掘与论证形式化
海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法:第13
论证挖掘与论证形式化 博库网
海外直订Formal Modeling and Analysis of Timed Systems: 14th International Conference, Fo 定时系统的形式化建模与分析
海外直订Formal Modeling and Analysis of Timed Systems: 17th International Conference, Fo 定时系统的形式化建模与分析
海外直订Formal Methods: Foundations and Applications 形式化方法:基础与应用
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
海外直订Algebraic Formalization of Smart Systems: Theory and Practice 智能系统的代数形式化:理论与实践
海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法:日语及其他
海外直订Algebraic Formalization of Smart Systems 智能系统的代数形式化
海外直订Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2 计算机辅助设计中的形式化方
海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法
海外直订Formal Semantics and Proof Techniques for Optimizing VHDL Models VHDL模型优化的形式化语义与证明技术
海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述
海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
海外直订Formal Description of Programming Concepts 编程概念的形式化描述
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
海外直订Artificial Neural Networks: Formal Models and Their Applications - Icann 2005: 1 人工神经:形式化模型及
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
海外直订Practical Formal Software Engineering 实用形式化软件工程
海外直订Formal Techniques for Distributed Objects, Compo... 分布式对象、组件和系统的形式化技术
海外直订NASA Formal Methods NASA形式化方法
海外直订Formal Modeling and Analysis of Timed Systems 定时系统的形式化建模与分析
海外直订Formal Methods and Software Engineering 形式化方法与软件工程“,
海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十
海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“,”
海外直订Formal Methods and Software Engineering: 17th International Conference on Formal 形式化方法与软件工程:第17
海外直订Software Engineering and Formal Methods 软件工程与形式化方法
海外直订Formal Modeling and Analysis of Timed Systems: 19th International Conference, Fo 时间系统的形式化建模与分析
海外直订Formal Modeling and Analysis of Timed Systems: 18th International Conference, Fo 计时系统的形式化建模与分析
海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
【新华文轩】基于认知的自然语言自动形式化研究 徐超 中国社会科学出版社 正版书籍 新华书店旗舰店文轩官网
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
【全新正版】 安全协议形式化分析与验 9787030626332
海外直订Predictive Software Measures Based on Formal Z Specifications 基于形式化Z规范的预测性软件度量
海外直订Control of Biotechnological Processes: New Formalization of Kinetics 生物技术过程的控制:动力学的新形式化
海外直订Formal Verification of Communication Protocols for Wireless Networks 无线通信协议的形式化验证
【新华文轩】分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 正版书籍 新华书店旗舰店文轩官网 科学出版社
海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一
海外直订Formal Analysis and Verification of Safety Interlock Systems 安全联锁系统的形式化分析与验证
海外直订Financial Audit Systems Modeling- A Formal Specifications Approach 财务审计系统建模-一种形式化规范方法
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证:形式化方法和算法
海外直订Integrated Formal Methods 综合形式化方法
海外直订Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International 分布式系统的形式化技术:第
海外直订Formal Modeling and Analysis of Timed Systems: 7th International Conference, FOR 时间系统的形式化建模与分析
海外直订Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to C 形式化建模:参与者;开放系
海外直订Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr 软件和系统建模中的形式化方
海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symp 实时和容错系统中的形式化技
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用,验证
海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统:形式化方法和自动
海外直订Formal Methods and Software Engineering 形式化方法与软件工程
海外直订Formal Engineering for Industrial Software Development: Using the Sofl Method 工业软件开发的形式化工程:使用
海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法:第9
海外直订Formal Models of Communicating Systems: Languages, Automata, and Monadic Second- 通信系统的形式化模型:语言
海外直订Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 Intern 开放对象分布式系统的形式化
海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
海外直订Formal Methods in Computer-Aided Design: Second International Conference, Fmcad 计算机辅助设计中的形式化方
海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
海外直订Formal Development of Reactive Systems: Case Study Production Cell 反应式系统的形式化开发:生产单元案例研究
海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
海外直订Formal Modeling and Analysis of Timed Systems: 4th International Conference, For 时间系统的形式化建模与分析
海外直订Formal Foundations for Software Engineering Methods 软件工程方法的形式化基础
海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10
海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:
海外直订Formal Modeling and Analysis of Timed Systems: Third International Conference, F 时间系统的形式化建模与分析
海外直订Formal Systems Specification: The Rpc-Memory Specification Case Study 形式化系统规范:Rpc内存规范案例研究