Вы здесь

Главная

иси

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

Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications
Formal Semantics of Real-Time System Specification Language Basic-Real
Formal Semantics of the ODMG 3.0 Object Query Language
Format verification of programs for abstract register machines
From a Database Programming Language to a Database Specification Language
From Event-Oriented Models to Transition Systems
From Published Expression and Phenotype Data to Structured Knowledge: The Arabidopsis Gene Net Supplementary Database and Its Applications
Generalised Computability and Applications to Hybrid Systems
Generalised mixed computation examplified on programs with stacks
Generalised Mixed Computation Exemplified on Programs with Stacks
Generalized decomposability notions for first-order theories
Generic Facilities in Object-Oriented ASMs
Graph algorithm interactive visualization
GraphCut: задача минимального разреза графа в проблеме генерации текстур
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler
Hierarchial Cause-Effect Structures
Hierarchical Cause-Effect Structures
Hierarchical Graph Models and Visual Processing
Highlights of the Rice-Shapiro Therem in Computable Topology
Hight Level of Programming Language and Indeterminacy: SETL
HM Data Model and its Formal Definition
How do ad-hoc compiler constructs appear in universal mixed computation processes?
HyperCode - открытая система визуализации программ
Hypertext as a Tool for Software Development
Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool
Implicit State Approach for Formalization of Sequential Java-like Programs
Improved Upper Bounds for Propositional Dynamic Logic Variants
Index Sets as a Measure of Continuous Constraint Complexity
Institute of Informatics Systems
Institute of Informatics Systems. Annual Research Report. 1993
Integrated approach to analysis and verification of imperative programs
Integrated Enterprise-Level Security Solution "Vostok"
Intelligence Artificielle
Intelligent Software Technology for the New Decade
Intelligent Software Technology for the New Decade
Interaction with a limited object domain - ZAPSIB Project
INTERBASE- система конструирования ЕЯ-интерфейса к dBASE III PLUS
Interval Domain Library for ECLiPSe and Its Application
Interval Mathematical Library Based on Chebyshev and Taylor Series Expansion
Introduction on the Atoment language
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Investigating equivalence relations in dtsPBC
Investigating Nondeterministic Processes
Investigating Semantic Notions for Coloured Dataflow Netwirks
Investigating Semantic Notions for Coloured Dataflow Networks
Investigation on Computing High-Level Operative Environments
Joint Bulletin of the Novosibirsk Computer Center and A. P. Ershov Institute of Informatics Systems
Joint Bulletin of the Novosibirsk Computing Center and the Institute of Informatics Systems
Kidney Allocation Expert System with Case-Based Reasoning
Knowledge representation language for compilated subject domains