Ausgabe 4/2010
Inhalt (17 Artikel)
Cybernetics
Properties of a predicate transformer of the VRS system
A. A. Letichevsky, A. B. Godlevsky, A. A. Letychevsky Jr, S. V. Potiyenko, V. S. Peschanenko
Systems Analysis
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
D. Bjørner
Extension of scala language by distributed and parallel computing tools with Linda coordination system
M. M. Glybovets, S. S. Gorohovskiy, M. S. Stukalo
Software–Hardware Systems
Formal fundamentals of component interoperability in programming
K. M. Lavrischeva
Development of algorithmic algebra tools to design parallel programs using heuristics
A. E. Doroshenko, N. V. Kotyuk, S. S. Nikolayev, G. E. Tseytlin, E. A. Yatsenko
Parallel inference search in logical calculus based on the algebraic programming system
A. A. Letichevsky, V. N. German, M. K. Morokhovets, N. N. Shchogoleva
Scientific Information
International workshop “automata, algorithms, and information technologies”
M. K. Morokhovets