Вы здесь

Главная

Новосибирск

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

130-ка Forever 1959-2009. Книга воспоминаний
16-тиканальная система сбора и регистрации измерительной информации
20 лет Институту систем информатики им. А.П.Ершова
3-локальные подгруппы в конечных простых группах
40 лет Отделу программирования, 10 лет Институту систем информатики им. А.П.Ершова
9-я Ершовская конференция по информатике 2014: Секция "Информатика образования": Доклады и тезисы/ Санкт-Петербург 2014
A Formal Approach to the Error Localization
A Method of Constraint Propagation Applied to Planning Route in GIS
ATKIS: топографическая информационная система как базис для ГИС и цифровой картографии в Западной Германии
btt-сводимость
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: задача минимального разреза графа в проблеме генерации текстур
G - устойчивые изометрические погружения
III Всесоюзная конференция по проблемам теоретической кибернетики (посвящается памяти А.А. Ляпунова). Тезисы докладов
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-машины: развитие архитектуры и принципов построения программного обеспечения
V Всесоюзная конференция по проблемам теоретической кибернетики (18-20 июня). Тезисы докладов
Whot a Universal Semantic Interlingua can and cannot do
XL лет Отделу программирования
XML-алгебра для языка запросов XQUERY
XXV Областная научно-техническая конференция, посвящённая дню радио: Тезисы докладов
Абстрактная интерпретация императивных программ
Абстрактные интерфейсы как структурный аналог множественного наследования