Вы здесь

Главная

Novosibirsk

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

12th A.P.Ershov Informatics Conference PSI 19 : Preliminary Proc./ Akademgorodok, Novosibirsk, Russia, July 2019
Abstracts of the International Conference on Nitroxide Radicals, ICNR-89: Novosibirsk, USSR, September 1989
Abstract Structures for Communication
A Control Language for Designing CSP Solvers
Adding Genericity to Object-Oriented ASMS
Advanced Mathematics: Computations and Applications: Proc./Intern. Conf. AMCA-95. Novosibirsk, Russia, 20-24 June, 1995
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs
A General Schema for Constraint Propagation
Agents as Constraint Objects
A Knowledge Portal for Cultural Information Resources: Towards an Architecture
Algebraic characterization of bihavioural equivalences over event structures
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
Algebraic Specification Language Ruslan 99
Algebraic specifications for dataflow computations design
A Logical Approach to Decidability of Hierarchies of Regular Star-free Languages
A Logical Approach to Specification of Hybrid Systems
A Model of Cooperative Solvers for Computational Problems
A multi-branch narrowing: satisfiability and termination
An Algebra and Axiomatization System of Mixed Computation
An Algebra of Labelled Nondeterministic Processes
Analysis of Sign Languages: A Step Towards Multi-Lingual Machine Translation for Sign Languages
An Automated Procedure for Synthesis of Systolic and Wavefront Arrays
A New Language Basic-Real for Specification and Verification of Distributed System Models
An Investigation of Equivalence Notions on Some Subclasses of Petri Nets
Annotated program transformation
Annotated Program Transformations
An Optimal Algorithm for Purging Regular Schemas
An Orthogonal Programming System Manifesto
A.P.Ershov Institute of Informatics Systems
A.P.Ershov Institute of Informatics Systems. Annual Research Report, 2001
Application of Constraint Hierarchy to Timetabling Problems
Application of Subdefinite Calculations to the Problems of Computer Design
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
Archival International Systems: New Opportunities for Historians
A Three-Level Approach to C# Program Verification
Automated Sisal program verification with ACL2
Automatic Management of Programmable Caches
Automation of correctness checking in education
Background for formalisation of complex systems
Behavioral Notions for Eager Data Flow Computing with I-structures
Bisimulation Equivalence for Hierarchical Petri Nets. Decision Problems
Bulletin of the Novosibirsk Computing Center
Causality-Based Testing in Time Petri Nets
Cellular-Neural Computations: Formal Model
Coloured Petri net approach to modeling of SDL specifications with dynamic constructions
Combining Knowledge and Fixpoints
Component-Based Framework for Constraint Programming
Computable Topology for Reliable Computations
Concepts for a C++ Animator Design for SDL-92
Concurrency and Continuations in Parallel Lisp