| Найдено документов - 7 | Найти похожие: "Индекс ББК" = '32.97-018' | Версия для печати |
Сортировать по:
1. Книга
Ковальски, Роберт.
Логика в решении проблем / Р. Ковальски ; пер. с англ. Л.Г. Осмоловского [и др.] ; предисл. и примеч. Д.А. Поспелова. - М. : Наука, 1990. - 278 с. : ил. ; 22 см. - (Проблемы искусственного интеллекта ; вып. 18). - Библиогр.: с. 263-271. - Указ. имен: с. 272-278. - 10700 экз. - ISBN 5-02-014148-8 (в пер.).
Логика в решении проблем / Р. Ковальски ; пер. с англ. Л.Г. Осмоловского [и др.] ; предисл. и примеч. Д.А. Поспелова. - М. : Наука, 1990. - 278 с. : ил. ; 22 см. - (Проблемы искусственного интеллекта ; вып. 18). - Библиогр.: с. 263-271. - Указ. имен: с. 272-278. - 10700 экз. - ISBN 5-02-014148-8 (в пер.).
Авторы: Ковальски Роберт
Шифры: 32 - К 56
Ключевые слова: программирование логическое, логика
Экземпляры: Всего: 1, из них: Х-1
2. Книга
Проектирование программного обеспечения персональной ЭВМ Искра-226 / В.З. Аладьев, А.А. Краснопрошина, В.В. Крижановский, Я.Г. Мартыненко. - Киев : Тэхника, 1989. - 254, [1] с. ; 21 см. - Загл. корешка: ПЭВМ Искра 226. - Библиогр.: с. 251-253. - 15000 экз. - ISBN 5-335-00240-9 (в пер.).
Авторы: Аладьев Виктор Захарович, Краснопрошина А.А., Крижановский В.В., Мартыненко Я.Г.
Шифры: 6П2.154.5 - П 79
Ключевые слова: программное обеспечение, проектирование программного обеспечения, вычислительные машины электронные персональные, электронно-вычислительные машины
Экземпляры: Всего: 1, из них: Х-1
3. Книга
Деметрович, Янош.
Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут [!Э. Кнут], П. Радо ; пер. с англ. Л.В. Шабанова ; под ред. Ю.Г. Дадаева. - М. : Мир, 1989. - 115 с. ; 22 см. - Пер. изд.: Computeraided specification technigues / J. Demetrovics, E. Knuth, P. Rado. - Библиогр.: с. 112-115. - 20000 экз. - ISBN 5-03-000487-4.
Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут [!Э. Кнут], П. Радо ; пер. с англ. Л.В. Шабанова ; под ред. Ю.Г. Дадаева. - М. : Мир, 1989. - 115 с. ; 22 см. - Пер. изд.: Computeraided specification technigues / J. Demetrovics, E. Knuth, P. Rado. - Библиогр.: с. 112-115. - 20000 экз. - ISBN 5-03-000487-4.
Авторы: Деметрович Янош, Кнут Е., Радо П.
Шифры: 621.9Т - Д 30
Ключевые слова: вычислительные системы, программы, спецификация
Экземпляры: Всего: 1, из них: Х-1
4. Книга
Простое и сложное в программировании / Ю.С. Вишняков, А.И. Грюнталь, А.А. Кольцова [и др.] ; редкол.: И.М. Макаров (пред.) [и др.] ; предисл. Е.П. Велихова ; Акад. наук СССР. - М. : Наука, 1988. - 169, [4] с. : ил. ; 21 см. - (Кибернетика - неограниченные возможности и возможные ограничения). - 100000 экз. - Текст (визуальный) : непосредственный.
Авторы: Вишняков Юрий Саввич, Грюнталь А.И., Кольцова А.А., Астрин Л., Махлин Ю.
Шифры: 621 - П 82
Ключевые слова: вычислительные машины электронные, программирование
Экземпляры: Всего: 2, из них: Х-2
5. Книга
Кушниренко, Анатолий Георгиевич.
Программирование для математиков : учеб. пособие для вузов по спец. "Математика" и "Прикл. математика" / А.Г. Кушниренко, Г.В. Лебедев. - М. : Наука, 1988. - 382 с. : ил. ; 21 см. - Предм. указ.: с. 380-382. - 70000 экз. - ISBN 5-02-014235-2 (в пер.). - Текст (визуальный) : непосредственный.
Программирование для математиков : учеб. пособие для вузов по спец. "Математика" и "Прикл. математика" / А.Г. Кушниренко, Г.В. Лебедев. - М. : Наука, 1988. - 382 с. : ил. ; 21 см. - Предм. указ.: с. 380-382. - 70000 экз. - ISBN 5-02-014235-2 (в пер.). - Текст (визуальный) : непосредственный.
Авторы: Кушниренко Анатолий Георгиевич, Лебедев Геннадий Викторович
Шифры: 6 - К 96
Ключевые слова: вычислительные машины электронные, программирование, учебники и пособия
Экземпляры: Всего: 1, из них: Х-1
6. Книга
Горстко, Александр Борисович.
Азбука программирования : (информатика для всех) / А.Б. Горстко, С.В. Кочковая. - М. : Знание, 1988. - 140, [3] с. : ил. ; 20 см. - (Народный университет. Естественнонаучный факультет). - Библиогр.: с. 142 (5 назв.). - 200000 экз.
Азбука программирования : (информатика для всех) / А.Б. Горстко, С.В. Кочковая. - М. : Знание, 1988. - 140, [3] с. : ил. ; 20 см. - (Народный университет. Естественнонаучный факультет). - Библиогр.: с. 142 (5 назв.). - 200000 экз.
Авторы: Горстко Александр Борисович, Кочковая С.В.
Шифры: 621.9Т - Г 70
Ключевые слова: программирование, обучение программированию, информатика, ЭВМ
Экземпляры: Всего: 1, из них: Х-1
7. Книга
Вопросы повышения качества функционирования прогрпммного обеспечения вычислительных систем реального времени : сб. науч. трудов / Киев. ин-т инж. гражд. авиации им. 60-летия СССР ; под ред. Ю.Н. Минаева. - Киев : КИИГА, 1987. - 116 с. ; 20 см. - Библиогр. в конце ст. - 300 экз.
Шифры: 32.97 - В 74
Ключевые слова: математическое обеспечение, вычислительные системы
Экземпляры: Всего: 1, из них: Х-1