Mulkers, A. Live Data Structures in LogicPrograms [Text] : derivation by Means of Abstract Interpretation / A. Mulkers. - Berlin;Heidelberg etc. : Springer, 1993. - VIII,220 p. - (Lecture Notes in Computer Science;675). - ISBN 3-540-56694-5 : Б. ц. Bibliogr.p.:213-220
Кл.слова (ненормированные): Структура данных -- Анализ Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |
O-13 Object Technologies for Advanced Software [Text] : first JSSST International Symposium Kanazawa,Japan,Nov.1993.Proceedings / S.Nishio,A.Yonezawa(Eds.). - Berlin;Heidelberg etc. : Springer, 1993. - 543 p. - (Lecture Notes in Computer Science;742). - ISBN 3-540-57342-9 : Б. ц.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |
Behforooz, Ali Software Engineering Fundamentals [Text] / Ali Behforooz, Frederick J. Hudson. - [S. l.] : Oxford University Press, 1996. - 661 p. - ISBN 0-19-510539-7 : Б. ц. Bibliogr.:p.645-661
Кл.слова (ненормированные): Системы -- Спецификация -- Стиль -- Качество -- Языки -- Технические задачи -- Решения Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Hudson, Frederick J. Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |
Gaylord, R. J.и др. An Introduction to Programming with Mathematica [Text] / R.J.и др. Gaylord; R.J.Gaylord,S.N.Kamin,P.R.Wellin. - N.Y.;Berlin etc. : Springer, 1996. - XVII,452 p. - ISBN 0-387-94434-6 : Б. ц. Ref.:p.431-434.Ind.:p.435-452
Кл.слова (ненормированные): Математика Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Kamin, S.N.; Wellin, P.R. Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |
К 77 Крайзмер, Л. П. Информатика и вычислительная техника [Текст] : монография / Л. П. Крайзмер. - Л. : Лениздат, 1988. - 266 с. : ил. - (Для молодых рабочих) (Для молодых рабочих). - Библиогр.: с. 268. - ISBN 5-289-00047-Х : Б. ц. Предм.указ.:с.263-
Вычислительная техника Вычислительная математика, численный анализ и программирование (машинная математика)--519.6 Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 2 ЧЗ (1), 12ХР (1) Свободны: ЧЗ (1), 12ХР (1) |
Братко, Иван Программирование на языке пролог для искусственного интеллекта [Текст] : монография / Иван Братко; Пер.с англ. А.И.Лупенко, А.М.Степанова ; Под ред. А.М.Степанова. - М. : Мир, 1990 ; М. : Мир, 1990. - 559 с. : ил. - ISBN 5-03-001425-X : Б. ц.
Искусственный интеллект Языки программирования Держатели документа: Республиканская научно-техническая библиотека Казахстана Южно-Казахстанский филиал РНТБ Казахстана Павлодарский филиал РНТБ Казахстана Доп.точки доступа: Лупенко, А.И. \пер.\; Степанова, А.М. \пер.\; Степанова, А.М. \ред.\ Экземпляры всего: 6 ХР (5), ЧЗ (1) Свободны: ХР (5), ЧЗ (1) |
Алексеев, А. В. Программирование в подсистеме диалоговой обработки СВМ ЕС [Текст] : монография / А.В. Алексеев, Д.Д. Горбатенко, А.В. Сержантов. - М. : Радио и связь, 1990 ; М. : Радио и связь, 1990. - 257 с. : ил. - Библиогр.: с. 256. - ISBN 5-256-00743-2 : Б. ц.
Программирование (вычисл. техника) Кл.слова (ненормированные): операционные -- системы -- математическое обеспечение -- программы -- ЦВМ Держатели документа: Республиканская научно-техническая библиотека Казахстана Южно-Казахстанский филиал РНТБ Казахстана Павлодарский филиал РНТБ Казахстана Карагандинский филиал РНТБ Казахстана Северо-Казахстанский филиал РНТБ Казахстана Доп.точки доступа: Горбатенко, Д.Д.; Сержантов, А.В. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Алексеев, В. Е. Вычислительная техника и программирование. Практикум по программированию [Текст] : практ. пособие / В.Е. Алексеев, А.С. Ваулин, Г.Б. Петрова. - М. : Высш.шк., 1991 ; М. : Высш. шк., 1991. - 400 с. - ISBN 5-06-001623-3 : Б. ц.
Программирование (вычисл. математика) Кл.слова (ненормированные): математическое -- языки -- обеспечение -- программы -- данные -- обработка Держатели документа: Республиканская научно-техническая библиотека Казахстана Южно-Казахстанский филиал РНТБ Казахстана Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Ваулин, А.С.; Петрова, Г.Б. Экземпляры всего: 3 ЧЗ (1), ХР (2) Свободны: ЧЗ (1), ХР (2) |
Данкан, Рэй Профессиональная работа в MS-DOS [Текст] : пер. с англ. / Рэй Данкан; Под ред. Финогенова К.Г. - М. : Мир, 1993 ; М. : Мир, 1993. - 509 с. : ил. - ISBN 5-03-002142-6 : Б. ц. Предм.указ.:с.506-509.
Кл.слова (ненормированные): компьютер -- MS-DOS Держатели документа: Республиканская научно-техническая библиотека Казахстана Южно-Казахстанский филиал РНТБ Казахстана Павлодарский филиал РНТБ Казахстана Доп.точки доступа: Финогенов, К.Г. \ред.\ Экземпляры всего: 4 ЧЗ (1), ХР (3) Свободны: ЧЗ (1), ХР (3) |
Кнут, Дональд Э. Кнут Д. Искусство программирования для ЭВМИскусство программирования для ЭВМ [Текст] : в 7 т.:Пер.с англ. / Дональд Э. КнутД. КнутД. КнутД. КнутД. КнутД. Кнут : в 7 т.: Пер. с англ. / Д. Кнут. - М. : Мир ; М. : Мир, 19761976 - . Т. 2 : Получисленные алгоритмы / Пер. Г.П. Бабенко и др. - 724 с. : ил. - Б. ц. Указ.обозначений,имен.,предм.:с.703-719. Указ. обозначений, имен., предм.: с. 703-719.
Алгоритмы Держатели документа: Республиканская научно-техническая библиотека Казахстана Павлодарский филиал РНТБ Казахстана Экземпляры всего: 6 ЧЗ (1), ХР (5) Свободны: ЧЗ (1), ХР (5) |
Программирование на языке Ассемблера ЕС ЭВМ [Текст] : монография / З. С. Брич. - 2-е изд.,перераб.и доп.2-е изд., перераб. и доп. - М. : Финансы и статистика, 1986. - 335 с. : ил. - Библиогр.:с.330(7 назв.). - Б. ц.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Брич, З.С. Экземпляры всего: 6 ХР (5), ЧЗ (1) Свободны: ХР (5), ЧЗ (1) |
Чери, С. Логическое программирование и базы данных [Текст] : пер. с англ. / Чери С., Готлоб Г., Танка Л. - М. : Мир, 1992 ; М. : МИР, 1992. - 352 с : ил. - Библиогр.:с.341-350. - ISBN 5-03-002472-7 : Б. ц.
Базы данных Держатели документа: Республиканская научно-техническая библиотека Казахстана Павлодарский филиал РНТБ Казахстана Доп.точки доступа: Готлоб, Г.; Танка, Л. Экземпляры всего: 4 ЧЗ (1), ХР (3) Свободны: ЧЗ (1), ХР (3) |
Уорт, Т. Программирование на языке Бейсик [Текст] / Т. Уорт; Пер. с англ. А.Ю. Пуховского ; Под ред. В.Ф. Шаньгина. - М. : Машиностроение, 1981 ; М. : Машиностроение, 1981. - 255 с. : ил. - Б. ц.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Павлодарский филиал РНТБ Казахстана Доп.точки доступа: Шаньгин, В.Ф. \ред.\ Экземпляры всего: 2 ЧЗ (1), ХР (1) Свободны: ЧЗ (1), ХР (1) |
Муренко, Л. Л. Программаторы запоминающих и логических интегральных микросхем [] : монография / Л.Л. Муренко, В.М. Чурков, Ю.Ф. Широков ; Под ред. В.Г. Домрачева. - М. : Энергоатомиздат, 1988 ; М. : Энергоатомиздат, 1988. - 127 с. : ил. - (Микропроцессорные БИС и их применение) (Микропроцессорные БИС и их применение). - ISBN 5-283-01491-6 : Б. ц.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Павлодарский филиал РНТБ Казахстана Доп.точки доступа: Чурков, В.М.; Широков, Ю.Ф.; Домрачев, В.Г. \ред.\ Экземпляры всего: 5 ХР (5) Свободны: ХР (5) |
Шмидт, М. Quattro Pro for Windows...для пользователя [Текст] : пер. с нем. / М. Шмидт. - М. : БИНОМ, 1994 ; Киев : Торгово-издательское бюро BNV, 1994. - 368 с. : ил. - ISBN 5-7503-0011-0 : 900-00 тг.
Кл.слова (ненормированные): компьютер -- Windows Держатели документа: Южно-Казахстанский филиал РНТБ Казахстана Павлодарский филиал РНТБ Казахстана Экземпляры всего: 2 ЧЗ (1), ХР (1) Свободны: ЧЗ (1), ХР (1) |
Ч-46 Черемных, О. С. Super Calc 4 и 5 [Текст] : руководство пользователя / О.С.Черемных. - М. : МП "ДТД", 1992. - 80 с. - 16-00 тг.
Держатели документа: Южно-Казахстанский филиал РНТБ Казахстана Экземпляры всего: 2 ЧЗ (2) Свободны: ЧЗ (2) |
Ин, Цин Маун Использование Турбо-Пролога [Текст] : пер. с англ. / Цин Маун Ин; Под ред. Сушкова Б.Г. - М. : Мир, 1993 ; М. : Мир, 1993. - 608 с. : ил. - ISBN 5-03-001181-1 : 45-00 р.
Кл.слова (ненормированные): компьютер -- программирование Держатели документа: Жамбылский филиал РНТБ Казахстана Павлодарский филиал РНТБ Казахстана Доп.точки доступа: Сушков, Б.Г. \ред.\; Сушков , Б.Г. \ред.\; Соломон, Д. Экземпляры всего: 2 ЧЗ (1), ХР (1) Свободны: ЧЗ (1), ХР (1) |
Брябрин, В. М. Программное обеспечение персональных ЭВМ [Текст] : монография / В.М.Брябрин. - М. : Наука, 1988. - 271 с. : ил. - 1.40 р.
Держатели документа: Жамбылский филиал РНТБ Казахстана Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Д93 Дьяконов, В. П. Язык программирования лого [Текст] : монография / В.П.Дьяконов. - М. : Радио и связь, 1991. - 143 с. : ил. - Библиогр.: с. 143-144 (33 назв.). - 2-20 р.
Языки программирования Кл.слова (ненормированные): метаязыки -- алгоритмы -- операционные -- системы -- данные -- обработка -- обеспечение Держатели документа: Жамбылский филиал РНТБ Казахстана Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Д93 Дьяконов, В. Ю. Системное программирование [Текст] : учеб. пособие для вузов / В.Ю. Дьяконов, В.А. Китов, И.А. Калинчев ; Под ред. А.Л. Горелика. - М. : Высш. шк., 1990. - 221 с. - Библиогр.: с. 219 (24 назв.). - 0-55 р.
Кл.слова (ненормированные): алгоритмы -- комплексы -- операционные -- системы -- данные -- обработка -- обеспечение -- программы -- ЦВМ Держатели документа: Жамбылский филиал РНТБ Казахстана Доп.точки доступа: Китов, В.А.; Калинчев, И.А.; Горелик, А.Л. \ред.\ Экземпляры всего: 2 ЧЗ (1), ХР (1) Свободны: ЧЗ (1), ХР (1) |