Вы здесь

Главная

Paris

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

Abstract Interpretation by Dynamic Partitioning
A Database Interface for Complex Objects
A Distance Learning Package for Parallel Computing
A Feature Constraint System for Logic Programming with Entailment
A Hardware Implementation of Pure Esterel
Algebraic specification of dynamic objects
A Multi-Microprocessor Architecture Intended as an Extension of a Personal Computer
An innovative model for object-oriented costs estimating
An investigation into software testing for parallel computing
A Parallel Development Environment for the IPSC Hypercube
Approaching Fair Computations by Ultra Metrices
A Transputer-based Parallel Rendering Engine for Computer Graphics
Automatic Motion Planninng for Complex Articulated Bodies
Automatic Translation of VDM Specifications into Standard ML Programs
BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic
Binary Periodic Synchronizing Sequences
Categorical Abstract Data Type (CADT)
Compiling Pattern Matcing by Term Decomposition
Constructive Logics. Part I: A tutorial on Proof Systems and Typed -Calculi
Constructive Logics. Part II: Linear Logic and Proof Nets
Constructive Natural Deduction and Its " -set" Interpretation
Contribution a la Resolution Numerique des Equations de Laplace et de la Chaleur
Distributed Termination in CSP Symmetric Solutions with Minimal Storage
Efficient Graph Rewriting and Its Implementation
EMiLiA: An experimental semantic analyzer of dynamic data structures
Evaluating Parallel Architectures for Rapid Rendering of CSG Object Using Spatial Subdivision
Execution Emulation of the Occam TM Parallel Processing Language
Filtered Back Projection on Hypercube Computers
Functions as Passive Constraints in LIFE
How to exploit the object potential parallelism with a massively parallel architecture
Incremental Computation of Planar Maps
Inferring Graphical Constraints with Rockit
Informatics for Secondary Education. A Curriculum for Schools
Informatics for Secondary Education. Produced by a Working Party of the IFIP under the Auspices of UNESCO
Information Processing 83: Proc./9th IFIP World Computer Congress, Panel discussions, Paris, France, September 1983
Information Processing 83: Proc./9th IFIP World Computer Congress, Paris, France, September 1983
Information Processing 83: Proc./9th IFIP World Computer Congress, Paris, France, September 1983 (папка с копиями статей)
Inheritance and expressive power in concurrent Object-Oriented programming
Interconnection Networks in Engineering Education
Introduction to Programmable Active Memory
Introduction to the UCSD p-System
Label-Selective -Calculus
Les Grammeires Attribuees: Implantation, Applications, Optimisations
Linear Logic and Parallelism
LMO '97 Actes du Colloque Langages et Modeles a Objets
Measuring System Performance with Reprogrammable Hardware
Muller Automata and bi-Infinite Words
Numerical Valuation of High Dimensional Multivariate European Securities
On Circuits and Numbers
On Semantics of Non Deterministic Recursive Program Schemes