Вы здесь

Главная

Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf.

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

Abstract Structures for Communication
A Control Language for Designing CSP Solvers
A Logical Approach to Specification of Hybrid Systems
Analysis of Sign Languages: A Step Towards Multi-Lingual Machine Translation for Sign Languages
An Optimal Algorithm for Purging Regular Schemas
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
Component-Based Framework for Constraint Programming
Construction of Verified Compiler Front-Ends with Program-Checking
Extensional Set Library for ECLiPSe
Extensions: A Technique for Structuring Functional-Logic Programs
Formal Modeling of Services for Getting a Better Understanding of the Feature Interaction Problem
Formal Verification of a Compiler Back-end Generic Checker Program
Heterogeneous, Nested STL Containers in C++
Hierarchical Cause-Effect Structures
Information Technologies: Revolution at the Beginning of the 21st Century
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data
Late Adaptation of Method Invocation Semantics
Locality Based Programming for FPGAs
Multi-Agent Optimal Path Planning for Mobile Robots in Environment with Obstacles
Object-Oriented Development Framework for Creating Distributed Programs Using Java
On Semantics and Correctness of Reactive Rule-Based Programs
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
Platform Independent Approach for Detecting Shared Memory Parallelism
Relating Paradigms of Mobility
Serializability Preserving Extensions of Concurrency Control Protocols
Sonic Partial Deduction
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification
Twin - A Design Pattern for Modeling Multiple Inheritance