形式化

价格：全部￥0 - 200 ￥200 - 500 ￥500以上

￥-

综合有券销量↓价格↑人气↓

预售按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括

208.3 元券

￥1874.7; 去看看
预售按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括

海外直订Formal Modeling and Analysis of Timed Systems: 20th International Conference, Fo 时间系统的形式化建模与分析

30 元券

￥577; 去看看
海外直订Formal Modeling and Analysis of Timed Systems: 20th International Conference, Fo 时间系统的形式化建模与分析

海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一

30 元券

￥578; 去看看
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一

海外直订Validation and Verification of Formal Specifications in Object-Oriented Software 面向对象软件工程中形式化规范的

30 元券

￥588; 去看看
海外直订Validation and Verification of Formal Specifications in Object-Oriented Software 面向对象软件工程中形式化规范的

海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法

60 元券

￥964; 去看看
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法

海外直订Algebraic Formalization of Smart Systems: Theory and Practice 智能系统的代数形式化：理论与实践

60 元券

￥973; 去看看
海外直订Algebraic Formalization of Smart Systems: Theory and Practice 智能系统的代数形式化：理论与实践

海外直订Algebraic Formalization of Smart Systems 智能系统的代数形式化

60 元券

￥973; 去看看
海外直订Algebraic Formalization of Smart Systems 智能系统的代数形式化

海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他

60 元券

￥973; 去看看
海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他

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

60 元券

￥973; 去看看
海外直订Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2 计算机辅助设计中的形式化方

海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法

60 元券

￥973; 去看看
海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法

海外直订Formal Semantics and Proof Techniques for Optimizing VHDL Models VHDL模型优化的形式化语义与证明技术

60 元券

￥973; 去看看
海外直订Formal Semantics and Proof Techniques for Optimizing VHDL Models VHDL模型优化的形式化语义与证明技术

海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

60 元券

￥973; 去看看
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述

60 元券

￥973; 去看看
海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述

海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技

60 元券

￥973; 去看看
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技

海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:

60 元券

￥973; 去看看
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:

海外直订Artificial Neural Networks: Formal Models and Their Applications - Icann 2005: 1 人工神经：形式化模型及

60 元券

￥973; 去看看
海外直订Artificial Neural Networks: Formal Models and Their Applications - Icann 2005: 1 人工神经：形式化模型及

海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统

60 元券

￥973; 去看看
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统

海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化

60 元券

￥973; 去看看
海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化

海外直订Formal Description of Programming Concepts 编程概念的形式化描述

60 元券

￥973; 去看看
海外直订Formal Description of Programming Concepts 编程概念的形式化描述

海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述

60 元券

￥973; 去看看
海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述

海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何

60 元券

￥973; 去看看
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何

海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

60 元券

￥973; 去看看
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

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

60 元券

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

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

30 元券

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

海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二

30 元券

￥605; 去看看
海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二

海外直订Proof, Logic and Formalization 证明、逻辑和形式化

30 元券

￥605; 去看看
海外直订Proof, Logic and Formalization 证明、逻辑和形式化

海外直订A Formal Approach to Discourse Anaphora 语篇回指的形式化研究

60 元券

￥1443; 去看看
海外直订A Formal Approach to Discourse Anaphora 语篇回指的形式化研究

海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:

30 元券

￥608; 去看看
海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:

海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16

30 元券

￥609; 去看看
海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16

海外直订Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Gui 组件软件的形式化方面:第七

30 元券

￥609; 去看看
海外直订Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Gui 组件软件的形式化方面:第七

海外直订Formalizing Natural Languages with Nooj and Its Natural Language Processing Appl 用Nooj形式化自然语言及其自

30 元券

￥609; 去看看
海外直订Formalizing Natural Languages with Nooj and Its Natural Language Processing Appl 用Nooj形式化自然语言及其自

海外直订Integrated Formal Methods 综合形式化方法

30 元券

￥609; 去看看
海外直订Integrated Formal Methods 综合形式化方法

海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五

30 元券

￥609; 去看看
海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五

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

30 元券

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

海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm

60 元券

￥988; 去看看
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm

海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

30 元券

￥617; 去看看
海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

海外直订Foundations of Real-Time Computing: Formal Specifications and Methods 实时计算的基础：形式化规范和方法

60 元券

￥1490; 去看看
海外直订Foundations of Real-Time Computing: Formal Specifications and Methods 实时计算的基础：形式化规范和方法

海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法

60 元券

￥1490; 去看看
海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法

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

60 元券

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

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

60 元券

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

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

60 元券

￥1490; 去看看
海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规格说明技术

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

60 元券

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

海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面

30 元券

￥626; 去看看
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面

海外直订Formalization of Design Patterns by Means of Ontologies 基于本体的设计模式形式化研究

30 元券

￥634; 去看看
海外直订Formalization of Design Patterns by Means of Ontologies 基于本体的设计模式形式化研究

海外直订The Meaning of General Theoretical Sociology: Tradition and Formalization 一般理论社会学的意义:传统与形式化

60 元券

￥1271; 去看看
海外直订The Meaning of General Theoretical Sociology: Tradition and Formalization 一般理论社会学的意义:传统与形式化

海外直订Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective o 星座自展的概念与形式化：量

60 元券

￥1283; 去看看
海外直订Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective o 星座自展的概念与形式化：量

海外直订Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective o 星座自展开的概念和形式化：

60 元券

￥1283; 去看看
海外直订Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective o 星座自展开的概念和形式化：

海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

60 元券

￥1039; 去看看
海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

海外直订Visual Languages for Interactive Computing: Definitions and Formalizations 交互式计算的可视化语言：定义和形式化

60 元券

￥1808; 去看看
海外直订Visual Languages for Interactive Computing: Definitions and Formalizations 交互式计算的可视化语言：定义和形式化

海外直订Design Patterns Formalization Techniques 设计模式形式化技术

60 元券

￥1067; 去看看
海外直订Design Patterns Formalization Techniques 设计模式形式化技术

海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法

30 元券

￥913; 去看看
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法

海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面向

60 元券

￥1589; 去看看
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面向

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

60 元券

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

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

60 元券

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

海外直订Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools 系统生物学建模与分析:形式化

60 元券

￥1597; 去看看
海外直订Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools 系统生物学建模与分析:形式化

海外直订Understanding Physics and Physical Chemistry Using Formal Graphs 用形式化图形理解物理和物理化学

30 元券

￥673; 去看看
海外直订Understanding Physics and Physical Chemistry Using Formal Graphs 用形式化图形理解物理和物理化学

海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践

60 元券

￥1605; 去看看
海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践

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

60 元券

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

海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统：形式化规范和自动验证

30 元券

￥947; 去看看
海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统：形式化规范和自动验证

海外直订Formal Verification: An Essential Toolkit for Modern VLSI Design 形式化验证:现代VLSI设计的基本工具

30 元券

￥947; 去看看
海外直订Formal Verification: An Essential Toolkit for Modern VLSI Design 形式化验证:现代VLSI设计的基本工具

返回顶部

copyright © 网红基地