Вы здесь

Главная

символьный

Связанные издания:

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Statistics on Random Trees
Stepwise CTL Model Checking of State/Event Systems
Structural Methods to Improve the Symbolic Analysis of Petri Nets
Subdefinite Computations and Symbolic Transformations in the UniCalc Solver
Subtyping Inheritance in Languages for Symbolic Computation Systems
SWIFT - a New Symbolic Processor
Symbolic Analysis: A Basis for Parallelization, Optimization, and Scheduling of Programs
Symbolic and Numerical Scientific Computation: Revised Papers/Second Intern. Conf., SNSC 2001, Hagenberg, Austria, September 2001
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proc./European Conf. ECSQARU 93. Granada, Spain, November 1993
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./9th European Conference, ECSQUARU 2007. Hammamet, Tunisia, October/November 2007
Symbolic and Spatial Database for Structural Biology
Symbolic Animation as a Proof Tool
Symbolic Bisimulation Minimisation
Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams
Symbolic Constraints and Tree Automata
Symbolic Incidence Geometry Proposal for Doing Geometry with a Computer
Symbolic Languages in Data Processing/ Proc. of the Symposium organized by the International Computation Centre, Rome, March, 1962
Symbolic Model Checking and Constraint Logic Programming: A Cross-Fertilization
Symbolic Model Checking for Distributed Real-Time Systems
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
Symbolic Model Checking with Fewer Fixpoint Computations
Symbolic Performance Prediction of Data-Dependent Parallel Programs
Symbolic Reachability Graph and Partial Symmetries
Symbolic Reaching Definitions Analysis of Ada Programs
Symbolic Representation of Neural Networks
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
Symbolic Verification with Gap-Order Constraints
Symbolic Verification with Periodic Sets
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures
SymO2: Objects and Classes for Symbolic Computation Systems
Temporal and Functional Verification of a Symbolic Representation of Complex Systems
Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019
The Algebraic Constructor CAC: computing in construction-defined domains
The Beginning and Development of FORMAC (FORmula MAnipulation Compiler)
The Progress Towards an Intelligent Assistant - A Discussion Paper
The Symbolic Computation Curriculum at RISC-Linz
The Typed Polymorphic Label-Selective -Calculus
The Weyl Computer Algebra Substrate
Towards a Constraints Functional Logic Compiler for Symbolic Computation Systems
Understanding the Performance of Parallel Symbolic Programs
Un gestionnaire de memoire temps reel pour systemes symboliques
User Interaction and Symbolic Extensions to Dependence Analysis
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models
Validation of Multiagent Systems by Symbolic Model Checking
Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach