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

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

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

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

⇅

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Идеальные языки и синхронизируемые автоматы : автореферат дис. кандидата физико-математических наук : 01.01.09

Масленникова М.И.

Идеальные языки и синхронизируемые автоматы : автореферат дис. кандидата физико-математических наук : 01.01.09

Екатеринбург : 2015

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

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

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

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

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

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

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

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

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

Самоваров О.И.

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

Москва : 2015

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

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

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

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

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

Москва : 2015

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

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

Компьютерные науки. Основы программирования : учебное пособие для студентов, обучающихся по программе бакалавриата по направлению подготовки 010800 "Механика и математическое моделирование"

Кувшинов Д.Р.

Компьютерные науки. Основы программирования : учебное пособие для студентов, обучающихся по программе бакалавриата по направлению подготовки 010800 "Механика и математическое моделирование"

Екатеринбург : Изд-во Уральского ун-та, 2015

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

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

Donum semanticum : opera lingvistica et logica in honorem Barbarae Partee a discipulis amicisque Rossicis oblata

под ред. Петра Аркадьева [и др.]

Donum semanticum : opera lingvistica et logica in honorem Barbarae Partee a discipulis amicisque Rossicis oblata

Москва : Языки славянской культуры, 2015

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

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

Комбинаторные свойства факторных языков перестановок : автореферат дис. кандидата физико-математических наук : 01.01.09

Валюженич А.А.

Комбинаторные свойства факторных языков перестановок : автореферат дис. кандидата физико-математических наук : 01.01.09

Новосибирск : 2015

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

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

Разработка метода моделирования процессов жизненного цикла прикладных автоматизированных систем, обеспечивающего формирование нормативно-методической среды их поддержки : автореферат дис. кандидата технических наук : 05.13.01

Тюрбеева Т.Б.

Разработка метода моделирования процессов жизненного цикла прикладных автоматизированных систем, обеспечивающего формирование нормативно-методической среды их поддержки : автореферат дис. кандидата технических наук : 05.13.01

Москва : 2015

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

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

Компьютерные средства обучения молекулярным вычислениям бакалавров информационных систем и технологий : диссертация . кандидата педагогических наук : 13.00.02

Ракитин А.Г.

Компьютерные средства обучения молекулярным вычислениям бакалавров информационных систем и технологий : диссертация . кандидата педагогических наук : 13.00.02

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

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

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

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

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

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

Москва : 2015

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

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

Компьютерные средства обучения молекулярным вычислениям бакалавров информационных систем и технологий : автореферат дис. кандидата педагогических наук : 13.00.02

Ракитин А.Г.

Компьютерные средства обучения молекулярным вычислениям бакалавров информационных систем и технологий : автореферат дис. кандидата педагогических наук : 13.00.02

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

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

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

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

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

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

Москва : 2015

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

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

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

Рожков М.В.

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

Воронеж : 2015

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

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

Модель и метод кластеризации объектов с нечеткими значениями параметров : диссертация . кандидата технических наук : 05.13.18

Назаров А.О.

Модель и метод кластеризации объектов с нечеткими значениями параметров : диссертация . кандидата технических наук : 05.13.18

Казань : 2014

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

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

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