Проектування
Документи:
- Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації [Текст] : автореф. ... канд. техн. наук : 05.13.06 / Сирота О.П. ; Нац. техн. ун-т України "Київ. політехн. ін-т". — Київ, 2009. — 20 с.
- Информационная образовательная среда по географии [Текст] : Методика и опыт / Е.Ю. Заболотнова // География в школе : Теоретический и научно-методический журнал. — Москва, 2005. — № 8. — С. 38-41 : Схема.
- Інструментарій проектування інтелектуальних інтерфейсів користувача [Текст] : Автореф...канд.фіз.-мат.наук:01.05.03 / Пшонківська І.М.;НАНУ. — Київ, 2000. — 16с.
- Методы схемотехнического проектирования распределенных информационно-вычислительных микропроцессорых систем [Текст] / Бойченко Е.В. — Москва, 1988. — 125 с.
- Объектно-ориентированное проектирование с примерами применения [Текст] / Пер.с англ.А.А.Иванова,А.В.Карнаухова,М.В.Щелкина под ред.А.Н.Артамошкина. — Київ, Москва : Диалектика, И.В.К., 1992. — 519с.
- Практическое программирование. Структуры данных и алгоритмы [Текст] : Учебник / Федеральная целевая программа. — Москва : Логос, 2001. — 224с.
- Проектирование надежных микропроцессорных систем для управления гибкими производственными комплексами [Текст] / АН Респ. Кыргызстан, Бишкек. политехн. ин-т ин-т. — Бишкек : Илим, 1991. — 285 [1] с. : илл.
- Проектирование СБИС [Текст] / М. Ватанабэ, К. Асада, К. Кани, Т. Оцуки. — Москва : Мир, 1988. — 299 с.
- Технологии проектирования программных систем [Текст] : учеб. пособие / [В.В. Казимир и др.] ; М-во образования и науки Украины, Чернигов. гос. технолог. ун-т. — Чернигов : Черниговский государственный технологический университет, 2013. — 363, [1] с. : ил., табл.
- Formal methods of program verification and specification [Текст] / H.K. Berg, W.E. Bocbert, W.R.a.o. Franta. — Englewood Cliffs : Prentice - Hall, 1982. — 207 p.
- Software reliability guidebook. [Текст] / Robert Glass. — Englewood Cliffs, 1979. — 242с.
|
