Вы здесь

Главная

Новосибирск

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

130-ка Forever 1959-2009. Книга воспоминаний
16-тиканальная система сбора и регистрации измерительной информации
20 лет Институту систем информатики им. А.П.Ершова
40 лет Отделу программирования, 10 лет Институту систем информатики им. А.П.Ершова
9-я Ершовская конференция по информатике 2014: Секция "Информатика образования": Доклады и тезисы/ Санкт-Петербург 2014
A Formal Approach to the Error Localization
Algebraic semantics of XML schema
A Method of Constraint Propagation Applied to Planning Route in GIS
ATKIS: топографическая информационная система как базис для ГИС и цифровой картографии в Западной Германии
Building Natural Language Interfaces for Environmental Data Bases
Business Rule Manager - средство восстановления бизнес-логики программ
Case-технология и возможности современных case-средств в поддержке этапов проектирования программного продукта
CHRONOS: пространственно-временной сервер данных для ГИС
Computer Games and Ethical Foundation of Sustainable Development
Dynamic System Modeling by Typed Gurevich Machines
-Equivalences for Analysis of Concurrent Systems Modelled by Petri Nets with Silent Transitions
Ershov Informatics Conference 2011. International Workshop on Program Understanding/ July, Novososedovo, Russia
Explain: программная система по анализу микрочипов и поиску ключевых молекул
GODOT: построение объектно-ориентированной географической системы
GraphCut: задача минимального разреза графа в проблеме генерации текстур
II Всесоюзн. конф. по прикладной логике: Тез. докл. Новосибирск, 7-9 июня 1988 г.
IV Всесоюзн. конф. по проблемам теоретической кибернетики: Тез. докл. 30 августа - 1 сентября 1977
Laws of Man-made Systems. Software Support for Infrastructures
Merging Constraint Programming Paradigm with Database Processing
MITHRIL - Переносимая Оберон-2 система
New Facilities of Constraint Logic Programming
NUMA-архитектура: некоторые особенности компиляции и генерации кода
Parallel Computing Technologies: Proc./Intern. Conf., USSR, Novosibirsk, sept. 1991
RTST - технология программирования встроенных систем реального времени
SICAD: обзор семейства геоинформационных систем фирмы Siemens Nixdorf
Sisal 90 - руководство пользователя
Slicing: срезы программ и их использование
SmogDX - объектно-ориентированная графика для Windows (DirectX и Visual C++)
TAO: An Object-based Timed Concurrent Constraint Programming Technology
The Main Transformations Problems in the Fabula System
The Mixed Axiomatic Semantics Method
Time-EX/Windows - новое поколение недоопределенной технологии календарного планирования
USL - The Language of Natural State Machines
VIII Международная конференция по электронным публикациям "El-Pub 2003", 8-10 октября 2003 г.
VLIW-машины: развитие архитектуры и принципов построения программного обеспечения
Whot a Universal Semantic Interlingua can and cannot do
XL лет Отделу программирования
XML-алгебра для языка запросов XQUERY
Абстрактная интерпретация императивных программ
Абстрактные интерфейсы как структурный аналог множественного наследования
Автоматизация использования ситуативного подхода при обучении иностранному языку
Автоматизация исследований развития опорной транспортной сети
Автоматизация методов принятия решений на железнодорожном транспорте как гарантия обеспечения безопасности движения
Автоматизация планирования геологоразведческих работ в производственном геологическом объединении (на примере ПГО "СЕВВОСТГЕОЛОГИЯ")
Автоматизация построения трансляторов