Вы здесь

Главная

алгебраический

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

An Algebraic Framework for Higher-Order Modules
An Algebraic Framework for Separate Type-Checking
An Algebraic Language for Event-Driven Modeling
An Algebraic Proof in VDM
An Algebraic Query Language for Objecr-Oriented Data Models
An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency
An Algebraic Semantics for the Object Specification Language TROLL light
An Algebraic Semantics of Logic Programs as Structured Transition Systems
An Algebraic Semantics of Prolog Program Termination
An Algebraic Semantics of Reffective Objects
An Algebraic Semantics of Subobjects
An Algebraic Theory of Class Specification
An Algebraic Theory of Polymorphic Temporal Media
An Algebraic View of Program Composition
An algebra of mixed computation
An Approach to Algebraic Theory of Discrete Signals
An approach to parameterized continuous data types
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint
An Incremental Specification of a Hydroelectronic Power Plant Control System Using a Class of Modular Algebraic Nets
An Introduction to ASL
An Order-sorted Approach to Algebraic Computation
An Overview of Parallel Strategies for Transitive Closure on Algebraic Machines
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets
Applications of Graph Transformations with Industrial Relevance: Revised Selected and Invited Papers/4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 2011
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./11th Intern. Symp., AAECC-11 Paris, France, July 1995
Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes: Proc./18th International Symposium, AAECC-18, Tarragona, Spain, June 2009
Applied Parallel and Scientific Computing, Part I: Revised Selected Papers/10th International Conference, PARA 2010, Reykjavik, Iceland, June 2010
Approximating the Algebraic Relational Semantics of Imperative Programs
A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
A Process Algebra of Concurrent Constraint Programming
A Quick Introduction to the Programming Language MIKE
Architectural Specifications in CASL
A Recursive Second Order Initial Algebra Specification of Primitive Recursion
Arithmetic of Finite Fields: Proc./Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 2010
Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014
A semi-algorithm for algebraic implementation proofs
A Semi-Algorithm for Algebraic Implementation Proofs
A Semi-Algorithms for Algebraic Implementation Proofs
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets
ASYS: пакет для исследования систем нелинейных алгебраических уравнений
A Theory of Program Modifications
ATLAS: A Typed Language for Algebraic Specification
A Total Approach to Partial Algebraic Specification
A Unified Algebraic Framework for Specifying Communication Protocols
A Uniform Model Theory for the Specification of Data and Process Types
Automatic Presentations of Structures
Behavioral Approaches to Algebraic Specifications. A Comparative Study
Building Bridges between Knowledge Representation and Algebraic Specification
Business Process Management: Proc/7th International Conference, BPM 2009, Ulm, Germany, September 2009