519.6 М34 Математика программных систем : Межвуз. сб. науч. тр. / Пермский гос. ун-т. - Пермь : [б. и.], 2001. - 188 с. - ISBN 5794402032 : 63.00 р. ГРНТИ 27.47.21 УДК:519.6 Ключевые слова: математика программных систем -- программные системы -- алгоритмы -- информационные системы -- булевые криптофункции -- моделирование программных систем -- проектирование программных систем -- многопоточная программа -- Интернет-технологии -- система тиражирования данных -- краевые задачи -- дистанционное обучение Доп.точки доступа: Пермский гос. ун-т Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
004.4 Б947 Буч, Грейди. Язык UML [Текст] : руководство пользователя: Пер. с англ. / Г. Буч, Д. Рамбо, А. Джекобсон. - москва : ДМК Пресс, 2001. - 429 с. : ил. - (Для программистов). - ISBN 5940741444 : 100.00 р. ГРНТИ 50.05.09 УДК:004.43 Ключевые слова: языки программирования -- UML -- компьютерное моделирование -- структурное компьютерное моделирование -- компьютерное моделирование поведения -- архитектурное компьютерное моделирование -- графические языки программирования -- программные системы -- руководства Доп.точки доступа: Рамбо, Джеймс --- Джекобсон, Айвар --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
519.6 М34 Математика программных систем : Межвуз. сб. науч. тр. / Пермский гос. ун-т ; Гл.ред. А.И. Миков. - Пермь : [б. и.], 2002. - 176 с. - ISBN 5794403357 : 63.00 р. ГРНТИ 27.41 УДК:519.6 Ключевые слова: программные системы -- информационные системы -- проектирование программных систем -- математические модели программ -- программное обеспечение -- дистанционное обучение Доп.точки доступа: Миков, А.И. \.\ --- Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
004.4 Б972 Бэкон, Джин Операционные системы : Параллельные и распределенные системы / Д. Бэкон, Т. Харрис. - СПб. : Питер, 2004. - 799 с. : ил. - ISBN 5947239698 : 450.00 р. ГРНТИ 50.41.15 ББК 004.451 Ключевые слова: операционные системы -- программные системы -- параллельные системы -- распределенные системы -- транзакции -- UNIX -- Windows 2000 -- World Wide Web -- промежуточное программное обеспечение Доп.точки доступа: Харрис, Тим --- Экземпляры всего: 1 Mесто хранения: аб (1) Свободны: аб (1) |
6П2.154 П784 Программные системы : Применение. Разработка. Обоснование / Под ред. П. Бахманна ; Пер. с нем. Л. В. Ухова; Под ред. И. В. Поттосина. - М. : Мир, 1988. - 288 с. : ил. - Б. ц. ГРНТИ 50.41 УДК:004.4 Ключевые слова: программные системы -- применение программных систем -- обоснование программных систем -- разработка программных систем Доп.точки доступа: Бахманн, П. --- Френцель, М. --- Ханцшманн, К. --- Бахманн, П. \ред.\ --- Поттосин, И.В. \ред.\ --- Ухов, Л.В. \пер.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
6П2.154 З-592 Зиглер, Кэролл. Методы проектирования программных систем : научное издание / К. Зиглер ; Пер. с англ. М. В. Сергиевского ; Под ред. Я. А. Хетагурова. - М. : Мир, 1985. - 328 с. - Б. ц. ГРНТИ 50.41 УДК:004.4 Ключевые слова: программные системы -- проектирование программных систем Доп.точки доступа: Сергиевский, М.В. \пер.\ --- Хетагуров, Я.А. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |