Вы здесь

Главная

Новосибирск

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

Введение в программирование на языке БЕЙСИК
Введение в пространственные базы данных
Введение в теоретическую информатику: учебное пособие
Введение в теорию оптимизации программ
Введение в теорию схем программ
Введение в языки реального времени
Вводный курс программирования на базе языка Zonnon
Вводный курс программирования на Паскале в заданиях и упражнениях. Часть 1
Вводный курс программирования на Паскале в заданиях и упражнениях. Часть 2
Веб-системы поддержки теоретико-графовых методов в программировании
Вейвлет-анализ и кластеризация генетических последовательностей
Вейвлет-обработка данных в геофизических исследованиях скважин
Век Лаврентьева
Векторизация программ в системе кросс-программирования
Векторная двойственность и её приложения
Вера Вениаминовна Хвостова - учитель и друг
Верификация C#-программ: перевод из языка C#-light в язык C#-kernel
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри
Верификация алголо-подобных программ методом индуктивных высказываний
Верификация блока генерации кодов транслятора с языка БЭЙСИК
Верификация и тестирование интерпретатора языка БЭЙСИК
Верификация комбинированных логик знаний, действий и времени в моделях
Верификация программ над массивами
Верификация программ на подмножестве ПЛ/I с использованием инструментальных средств
Верификация программ сортировки массивов
Верификация раскрашенных сетей Петри методом проверки моделей
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
Верификация С-программ с помо ью смешанной аксиоматической семантики
Вероятностные модели гидрометеорологических процессов и полей
Версионные текстовые файлы и средства их редактирования
Верхние оценки хроматических характеристик графов
Верхняя оценка сложности разпознавания эквивалентности операторных схем на RASP-машинах
Взаимодействие с ЭВМ на естественном языке. Сборник научных трудов
Взаимодействующая система автоматизации решения задач на ЭВМ
Взгляд на историю информатики в институте математики
Видеоинтерпретатор алгоритмов обработки информации типа сортировки
Виды, константы и переменные во внутреннем языке системы БЕТА
Визуализационные методы идентификации подцепочек в регуляторных последовательностях ДНК
Визуализация алгоритмов на графах: интерпретация алгоритма в качестве программы
Визуализация внутреннего представления программ в системе функционального программирования SFP
Визуализация генетической ннформации
Визуализация графов и графовых моделей
Визуализация графов при помо и программного средства Visual Graph
Визуализация графов при помо и программного средства Visual Graph
Визуализация данных радиоактивного каротажа (C/O-каротажа) и расчет коэффициента нефтенасы енности
Визуальный анализ онтологии и информационного наполнения портала знаний, учитываю ий специфику конкретных отношений
Виктор Николаевич Касьянов (к 70-летию со дня рождения)
Виртуальный каталог
Виртуальный музей истории информатики в Сибири
Виртуальный музей истории информатики в Сибири: модель предметной области и модель пользователя