Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
J. Information Processing
Связанные издания:
Multi-Project Scheduling
Natural Language Dialogue Understanding on a Four-layer Plan Recognition Model
Network-Transparent Object Naming and Locating in the GALAXY Distributed Operating System
Object-Oriented Programming in Multiple-Paradigm Language TAO and Its Implementation
Object-Oriented Real-Time Programming in Concurrent Process Language
O(log*) Time Parallel Algorithm for Computing Bounded Degree Maximal Subgraphs
On Query Transformation for Non-First-Normal-Form Relational Databases
Optimal Checkpointing Policies Using the Checkpointing Density
Overview of 32-bit V-Series Microprocessor
Overview of MC/LISP System
Parallel Execution of Three-Dimensional Vector Operations
Parametric Analysis of Optimal Static Load Balancing in Distributed Computer Systems
Polynomial-time MAT Learning of C-Deterministic Context-free Grammars
Precise Formulation and Applicability of a Software Reliability Growth Model Based on Hyper-Geometric Distribution
Processor Element Architecture for a Parallel Inference Machine, PIM/p
Rapid Learning Method for Multilayered Neural Networks Using Two-Dimensional Conjugate Gradient Search
Reasoning for a Logic Circuit Synthesis Expert System
Regular Temporal Logic Expressively Equivalent to Finite Automata and Its Application to Logic Design Verification
Relationship between Lambda Hoisting and Fully Lazy Lambda Lifting
Reliability Assessment Measures Based on Software Reliability Growth Model with Normalized Method
Representation of Legal Knowledge
SIGMA (Softwate Industrialized Generator and Maintenance Aids) Project
Software Design Process as Category Morphism
Software Quality/Reliability Measurement and Assessment: Software Reliability Growth Models and Data Analysis
Software Testing
Structuring and Derivation in Algebraic Specification/Programming Language System
TAO- A Lisp Dialect with Multiple Paradigms
The Applicability of Formal Specification to Maintenance of Large-Scale Software
The Software Development Environment: dmCASE
Towards Integration of Heterogeneous Knowledge for Highly Autonomous Analysis of Dynamical Systems - Preliminary Report from the PSX Project
« первая
‹ предыдущая
1
2