Вы здесь

Главная

запись

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

An Experimental Reflective Programming System Written in GHC
An Imperative Language with Read/Write Type Modes
EDIF notation for layout/circuit relations
Japanese Phonetic Typewriter Using HMM Phone Recognition and Stochastic Phone-Sequence Modeling
Label-Selective -Calculus
Logging in Main Memory Databases
New-Value Logging in the Echo Replicated File System
On Query Transformation for Non-First-Normal-Form Relational Databases
On the action semantics of concurrent programming languages
Operations on Records
Optimization of Signature File Parameters for Databases with Varying Record Lengths
Order-Sorted Feature Theory Unification
Protected Records in Ada 9X
Records for Logic Programming
Replacing Passive Tasks with Ada 9X Protected Records
Runtime Redundancy Properties of DATALOG Programs
S-R Machines: A Visual Formalism for Reactive and Interactive Systems
Virtual Log Based File Systems for a Programmable Disk
Алгоритм построения логических правил при разметке текстов
Грядет жестокое уплотнение
Математические методы геоинформатики. III. Нечеткие сравнение и распознавание аномалий на временных рядах
Построение структуры баз данных
Утилитарная семантика и алгоритмы синтеза текста по семантической записи