Поиск — страница 7 из 216 | НЭБ

Найдено 3 238 результатов

Расширенный поиск

Расширенный поиск

⇅

По релевантности

По названию (от А до Я)

По названию (от Я до А)

По автору (от А до Я)

По автору (от Я до А)

По дате издания (по возрастанию)

По дате издания (по убыванию)

По релевантности По названию (от А до Я) По названию (от Я до А) По автору (от А до Я) По автору (от Я до А) По дате издания (по возрастанию) По дате издания (по убыванию)

Система построения проектов в CMakе : учебник

ДубровД.В.

Система построения проектов в CMakе : учебник

Ростов-на-Дону : Изд-во Южного федерального ун-та, 2015

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : автореферат дис. кандидата физико-математических наук : 05.13.11

Игнатьев В.Н.

Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : автореферат дис. кандидата физико-математических наук : 05.13.11

Москва : 2015

Российская государственная библиотека (РГБ)

Доступ: свободный

Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : диссертация . кандидата физико-математических наук : 05.13.11

Игнатьев В.Н.

Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : диссертация . кандидата физико-математических наук : 05.13.11

Москва : 2015

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Формальные модели и верификация свойств программ с использованием промежуточного представления : автореферат дис. кандидата физико-математических наук : 05.13.17

Кривчиков М.А.

Формальные модели и верификация свойств программ с использованием промежуточного представления : автореферат дис. кандидата физико-математических наук : 05.13.17

Москва : 2015

Российская государственная библиотека (РГБ)

Доступ: свободный

Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация . кандидата физико-математических наук : 05.13.17

Кривчиков М.А.

Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация . кандидата физико-математических наук : 05.13.17

Москва : 2015

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Языки программирования C/C++ : учебное пособие

Пестунов А.И.

Языки программирования C/C++ : учебное пособие

Новосибирск : НГУЭУ, 2015

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Автоматизированный контроль корректности MPI-программ на основе шаблонов ошибочного поведения : автореферат дис. кандидата технических наук : 05.13.11

Власенко А.Ю.

Автоматизированный контроль корректности MPI-программ на основе шаблонов ошибочного поведения : автореферат дис. кандидата технических наук : 05.13.11

Томск : 2014

Российская государственная библиотека (РГБ)

Доступ: свободный

Верификация автоматных программ : автореферат дис. кандидата технических наук : 05.13.11

Лукин М.А.

Верификация автоматных программ : автореферат дис. кандидата технических наук : 05.13.11

Санкт-Петербург : 2014

Российская государственная библиотека (РГБ)

Доступ: свободный

Восстановление закономерностей на основе нечетких регрессионных моделей : автореферат дис. кандидата технических наук : 05.13.17

Сапкина Н.В.

Восстановление закономерностей на основе нечетких регрессионных моделей : автореферат дис. кандидата технических наук : 05.13.17

Воронеж : 2014

Российская государственная библиотека (РГБ)

Доступ: свободный

Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов : автореферат дис. кандидата технических наук : 05.13.11

Буздалов М.В.

Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов : автореферат дис. кандидата технических наук : 05.13.11

Санкт-Петербург : 2014

Российская государственная библиотека (РГБ)

Доступ: свободный

Задачи по программированию

[С. М. Окулов и др.] ; под ред. С. Окулова

Задачи по программированию

Москва : Бином. Лаб. знаний, 2014

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : автореферат дис. кандидата технических наук : 05.13.11

Битнер В.А.

Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : автореферат дис. кандидата технических наук : 05.13.11

Москва : 2014

Российская государственная библиотека (РГБ)

Доступ: свободный

Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : диссертация . кандидата технических наук : 05.13.11

Битнер В.А.

Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : диссертация . кандидата технических наук : 05.13.11

Москва : 2014

Российская государственная библиотека (РГБ)

Доступ: только в ЭЧЗ НЭБ

Математическое и программное обеспечение распределения данных в проблемно-ориентированных параллельных программах : автореферат дис. кандидата технических наук : 05.13.11

Палагин В.В.

Математическое и программное обеспечение распределения данных в проблемно-ориентированных параллельных программах : автореферат дис. кандидата технических наук : 05.13.11

Москва : 2014

Российская государственная библиотека (РГБ)

Доступ: свободный

Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореферат дис. кандидата технических наук : 05.13.11, 05.13.15

Чистяков Г.А.

Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореферат дис. кандидата технических наук : 05.13.11, 05.13.15

Санкт-Петербург : 2014

Российская государственная библиотека (РГБ)

Доступ: свободный

Вы находитесь на новой версии портала Национальной Электронной Библиотеки. Если вы хотите воспользоваться старой версией, перейдите по ссылке .