Вы здесь

Главная

New York

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

The Synthesis of Algorithmic Systems
The Typed Polymorphic Label-Selective -Calculus
TIL: A Type-Directed Optimizing Compiler for ML
Towards Creating Specialized Integrity Checks Through Partial Evaluation of Meta-Interpreters
Turing s Cathedral: The Origings of the Digital Universe
Type Analysis of Logic Programs in the Presence of Type Definitions
Type Elaboration and Subtype Completion for Java Bytecode
Type Systems for Distributed Data Structures
Understanding Z: A Specification Language and Its Formal Semantics
Using Abstract Interpretation to Define a Strictness Type Inference System
Using Participles to Sample and Control Implicit Surfaces
VCODE: A Retargetable, Extensible, Very Fast Dynamic Code Generation System
Visual Digests for News Video Libraries
Visual Proceedings: The Art and Interdisciplinary Programs of SIGGRAPH 94
Visual Simulation of Lighthing
Wavelength Dependent Reflectance Functions
Zippered Polygon Meshes from Range Images