Вы здесь

Главная

ИСИ СО РАН

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

20 лет Институту систем информатики им. А.П.Ершова
40 лет Отделу программирования, 10 лет Институту систем информатики им. А.П.Ершова
A Formal Approach to the Error Localization
Algebraic semantics of XML schema
An XML Algebra for XQuery
Bisimulation Equivalence for Hierarchical Petri Nets. Decision Problems
Concepts for a C++ Animator Design for SDL-92
Equivalences on Petri Nets
Event Structures and their Properties
Explain: программная система по анализу микрочипов и поиску ключевых молекул
Extended PASCAL to C++ converter
Formal Semantics of Real-Time System Specification Language Basic-Real
Mapping of Time Cause-Effect Structures into Time Regular Petri Nets
Model Checking for Distributed Systems in the Modal Mu-calculus
Notes on Logical Axiomatization of Density Concepts
Petri-Net Based Environment for the Specification, Analysis and Simulation of Concurrent Systems
Problems of technology migration for VLSI Layout
Sisal 90 - руководство пользователя
Slicing: срезы программ и их использование
Specification, Verification, and Net Models of Concurrent Systems
The Mixed Axiomatic Semantics Method
Time Petri Nets without Intersections of Firing Intervals
Towards Automatic Program Verification: Problem-Oriented Knowledge Bases
USL - The Language of Natural State Machines
XL лет Отделу программирования
XML-алгебра для языка запросов XQUERY
Автоматическое восстановление бизнес-логики программ
Автоматическое выявление таксономии в области преобразований программ на основе анализа семантических связей в публикациях
Автоматическое выявление тематической карты документа
Автоматическое доказательство формул корректности предикатной программы в системе Russell
Автоматическое построение SQL запросов для объектных данных
Автоматная модель визуального описания синтаксического разбора
Адаптивные методы и средства поддержки дистанционного обучения программированию
Алгоритм анализа свойств поведения временных сетей Петри с использованием темпоральной логики
Алгоритмы выделения особенностей на изображениях с целью классификации заболеваний растений
Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри
Анализ MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Анализ добротности информационных потоков в программах на языках Модула-2/Оберон-2
Анализ модульного подхода и его применение в различных языках программирования
Анализ об его понятия программы
Анализ последовательностей ДНК с помо ью кода Голея
Анализ различных участков ДНК с помо ью автокорреляционной функции
Анализ свойств рекурсивных схем и проблема древесной эквивалентности
Анализ требований к системе "Электронный документооборот" на предприятии с повышенной степенью ответственности за конечный продукт и возможности использования для этих нужд современных информационных систем
Андрей Петрович Ершов
Андрей Петрович Ершов - ученый и человек
Архив академика А.П.Ершова
Архитектура и функциональное назначение адаптивной среды обучения программированию
Базисные алгоритмы обработки бесконтурных графов
Базовые средства языка SISAL 3.1