Вы здесь

Главная

иси

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

20 лет Институту систем информатики им. А.П.Ершова
40 лет Отделу программирования, 10 лет Институту систем информатики им. А.П.Ершова
Academician Andrei Ershov and His Archive
A Categorial Observaion of Timed Testing Equivalence
A Categorical View of Timed Weak Bisimulation
A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
Action refinement and equivalence notions for timed event structures
Adding Genericity to Object-Oriented ASMS
A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population
Affine Model Checking Multi-agent Sliding Window Protocol
A Formal Approach to the Error Localization
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs
A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
Agents as Constraint Objects
AI work in the Computer Center of the Siberian Branch of the USSR Academy of sciences
A Knowledge Portal for Cultural Information Resources: Towards an Architecture
A language of actions in ontological transition systems
ALC for CLA: Towards description logic on concept lattices
Algebraic characterization of bihavioural equivalences over event structures
Algebraic Imperative Specifications
Algebraic Modelling of Imperative Languages with Pointers
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
Algebraic Semantics of Imperative Statements
Algebraic Semantics of Object-Oriented Data Models
Algebraic Semantics of the Oberon Target Machine
Algebraic semantics of XML schema
Algebraic Semantics of XML Schema
Algebraic Specification Language Ruslan 99
Algebraic Specification of an Oberon Compiler
Algebraic specification of dynamic objects
Algebraic specifications for dataflow computations design
Algebra of Two-level Cause-effect Structures
Algorithms, Software and Hardware of Parallel Computers
Alias calculus for a simple imperative language with decidable pointer arithmetic
A Logical Approach to Decidability of Hierarchies of Regular Star-free Languages
A Logical Approach to Specification of Hybrid Systems
A Logic Characteristic for Timed Extensions of Partial Oeder Based Equivalences
A method for annotated programming
A method for constructing quality program versions
A Method of Constraint Propagation Applied to Planning Route in GIS
A Model of Cooperative Solvers for Computational Problems
A Multi-agent Text Analysis Based on Ontology of Subject Domain
A Multi-Agent Text Analysis Based on Ontology of Subject Domain
A multi-branch narrowing: satisfiability and termination
An Algebra and Axiomatization System of Mixed Computation
An Algebra of Labelled Nondeterministic Processes
Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets
Analysis of Some Semantic Properties for Programms of the Applicative Language AL
Analysis of the Equality Relations for the Program Terms