Поиск :
Личный кабинет :
Электронный каталог: Engineering theories of software intensive systems
Engineering theories of software intensive systems
Книга
Автор:
Engineering theories of software intensive systems : [proceedings of the NATO advanced study institute on engineering theories of software systems, Marktoberdorf, Germany, 3-15 August 2004]
Серия: NATO science series
Издательство: Springer, 2005 г.
ISBN 9781402035319
Автор:
Engineering theories of software intensive systems : [proceedings of the NATO advanced study institute on engineering theories of software systems, Marktoberdorf, Germany, 3-15 August 2004]
Серия: NATO science series
Издательство: Springer, 2005 г.
ISBN 9781402035319
Заказать 
На полку
Книга
004 E55
Engineering theories of software intensive systems: [proceedings of the NATO advanced study institute on engineering theories of software systems, Marktoberdorf, Germany, 3-15 August 2004] / ed. by Manfred Broy [etc.]. – Dordrecht [etc.]: Springer, 2005. – VIII, 404 p. : fig.: fig., tab., phot. – (NATO science series. Series 2, Mathematics, physics and chemistry; vol.195) . - ISBN 9781402035319 (1402035314): 82.00.
004.415.2(063)
общий = ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ
общий = ДИЗАЙН
общий = ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ
общий = АЛГЕБРАИЧЕСКИЕ ОПЕРАЦИИ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ
общий = СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
общий = ИНТЕРФЕЙСЫ
общий = ПРОГРАММИРОВАНИЯ СИСТЕМЫ
общий = АЛГОРИТМЫ ВЕРИФИКАЦИИ
общий = АРХИТЕКТУРА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
004 E55
Engineering theories of software intensive systems: [proceedings of the NATO advanced study institute on engineering theories of software systems, Marktoberdorf, Germany, 3-15 August 2004] / ed. by Manfred Broy [etc.]. – Dordrecht [etc.]: Springer, 2005. – VIII, 404 p. : fig.: fig., tab., phot. – (NATO science series. Series 2, Mathematics, physics and chemistry; vol.195) . - ISBN 9781402035319 (1402035314): 82.00.
004.415.2(063)
общий = ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ
общий = ДИЗАЙН
общий = ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ
общий = АЛГЕБРАИЧЕСКИЕ ОПЕРАЦИИ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ
общий = СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
общий = ИНТЕРФЕЙСЫ
общий = ПРОГРАММИРОВАНИЯ СИСТЕМЫ
общий = АЛГОРИТМЫ ВЕРИФИКАЦИИ
общий = АРХИТЕКТУРА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ЧЗ ЗИ | 1 | 1 | 1 | Заказать |