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

   Программные средства вычислительной техники : каталог / ГОССТАНДАРТ, Всесоюзный научно-исследовательский институт комплексной информации по стандартизации и качеству (ВНИИКИ) ; ред. Прохоров В. Н. - Москва, 1991.
   Вып. 2 : Международные, зарубежные, региональные, национальные стандарты. - 1991. - 174 с.

Затонский А. В., Бильфельд Н. В.
   Программирование и основы алгоритмизации: теоретические основы и примеры реализации численных методов : учебное пособие для вузов / Затонский А. В., Бильфельд Н. В. - 2-е изд. - Москва : РИОР : ИНФРА-М, 2014. - 165 с. - (Высшее образование. Бакалавриат). - Библиогр.: с.161. - ISBN 978-5-369-01195-9. - ISBN 978-5-16-006671-4.

   Автоматизированные системы для обучения программированию. Проектирование и реализация : монография / Рынгач В. Д., Краснов М. А., Лысиков А. Ф., Мазурук А. А. ; Кишинёвский гос. ун-т им. В. И. Ленина ; ред. Довгялло А. М. - Кишинёв : Штиинца, 1989. - 160 с. : рис., табл. - Библиогр.: с.138-143. - ISBN 5-376-00065-6.

Круз Р. Л.
   Структуры данных и проектирование программ : [учеб. пособие] / Круз Р. Л. ; пер.3-го англ. изд. Финогенов К. Г. - Москва : БИНОМ. Лаборатория знаний, 2017. - 765 с. : ил. - (Программисту). - Библиогр. в конце глав, прил. - ISBN 978-5-94774-879-6.

Максимов А. В.
   Оптимальное проектирование ассемблерных программ математических алгоритмов: теория, инженерные методы : учебное пособие для вузов / Максимов А. В. - Санкт-Петербург : Лань, 2016. - 188 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с.186. - ISBN 978-5-8114-2150-3.

   Методы представления знаний и доказательное программирование : сборник научных трудов / АН УССР, Институт кибернетики им. В. М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика". - Киев, 1990. - 116 с. - Библиогр. в конце статей. - ISBN 5-7702-0043-X.

Ачасов С. М., Бандман О. Л.
   Корректность параллельных вычислительных процессов : монография / Ачасов С. М., Бандман О. Л. ; Академия наук СССР, СО, Вычислительный центр ; отв. ред. Миренков Н. Н. - Новосибирск : Наука, СО, 1990. - 252 с. - Библиогр.: с.246-349. - ISBN 5-02-029334-2.

   Технология разработки и САПР программного обеспечения : сборник научных трудов / Рижский технический университет. - Рига : Изд-во Рижского технического университета, 1990. - 94 с. : ил. - Библиогр. в конце статей. - ISBN 5-7970-0071-7.

Захарова А. А., Молнина Е. В., Чернышева Т. Ю.
   Информатика и программирование: программные средства реализации информационных процессов : учебник для вузов / Захарова А. А., Молнина Е. В., Чернышева Т. Ю. ; Национальный исследовательский Томский политехнический университет, Юргинский технологический институт. - 3-е изд. - Томск : Изд-во Томского политехнического университета, 2013. - 317 с. : ил. - Библиогр.: с.317. - ISBN 978-5-4387-0338-9.

   Методы и средства алгебраического и логического программирования : сборник научных трудов / АН УССР, Институт кибернетики им. В. М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика" ; отв. ред. Летичевский А. А. - Киев, 1990. - 74 с. - Библиогр. в конце статей. - ISBN 5-7702-0045-6.