Вы здесь

Главная

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

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

Algebraic Operations on Bags in a Web Warehouse
Algebraic Optimization of Object-Oriented Query
Algebraic Programming in Opal
Algebraic Programming in OPAL
Algebraic Properties of a Class of Logic Programs
Algebraic Properties of Loop Invariants
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
Algebraic Semantics of Coordination or What Is in a Signature
Algebraic Semantics of Imperative Statements
Algebraic Semantics of Object-Oriented Data Models
Algebraic Semantics of the Oberon Target Machine
Algebraic Semantics of XML Schema
Algebraic Simplification of Multiple-Valued Functions
Algebraic Specification
Algebraic Specification and Development in Geometric Modeling
Algebraic Specification and Program Development by Stepwise Refinement. Extended Abstract
Algebraic Specification and Proof of Properties of a Mail Service
Algebraic Specification Language Ruslan 99
Algebraic Specification Languages: An Overview
Algebraic Specification of an Oberon Compiler
Algebraic specification of dynamic objects
Algebraic Specification of the Programming Language Oberon.
Algebraic specifications for dataflow computations design
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
Algebraic Specifications with Higher-Order Operations
Algebraic State Machines
Algebraic Structures of Truth Values in Fuzzy Logic
Algebraic Surface Design with Hermite Interpolation
Algebraic System Specification and Development: Survey and Annotated Bibliography, 2nd Edition, 1997
Algebraic Techniques for Concurrency and their Application
Algebraic Techniques in Software Development
Algebraic Theories for Name-Passing Calculi
Algebraische Spezifikation
Algebra of Logic Programming
Algebra of States and Transitions
Algeraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
Algorithmic Number Theory: Proc./9th International Symposium, ANTS-IX, Nancy, France, July 2010
Algorithms and Discrete Applied Mathematics: Proc./1st International Conference, CALDAM 2015, Kanpur, India, February 2015
Algorithmss for Intersecting Parametric and Algebraic Curves I: Simple Intersections
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar Systems
Amalgamation and Extension in the Framework of Specification Logic and Generalized Morphisms
A Meta-Environment for Generating Programming Environments
A Method for Fortran Programs Reverse Engineering Using Algebraic Specifications
An Algebraic Approach to Communication Complexity
An Algebraic Approach to Sharing Analysis of Logic Programs
An Algebraic Approach to Temporal Logic
An Algebraic Development Technique for Information Systems
An Algebraic Framework for Abstract Interpretation of Definite Programs
An Algebraic Framework for Developing and Maintaining Real-Time Systems