Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Операционные системы<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

004.891/P50-106719

Peters, R.
Expert shell scripting [Electronic resource] / R. Peters. - Electronic text data. - Berkeley, Ca : Apress, 2009. - ISBN 978-1-4302-1842-5 : Б. ц.

ГРНТИ	50.41.15
УДК	004.451.4

Рубрики: Операционные системы

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

004.451.87
C87

Craig, I.
Formal refinement for operating system kernels [Electronic resource] / I. Craig. - Electronic text data. - London : Springer-Verlag, 2007. - ISBN 978-1-84628-967-5 : Б. ц.

ГРНТИ	50.41.15
УДК	004.451.87

004.451
K43

Kifer, M.
Introduction to operating system design and implementation [Electronic resource] : the OSP 2 Approach / M. Kifer, S. Smolka. - Electronic text data. - London : Springer-Verlag, 2007. - (Undergraduate topics in computer science). - ISBN 978-1-846-28843-2 : Б. ц.

ГРНТИ	50.41.15
УДК	004.451

Рубрики: Операционные системы

См. : Текст издания

Доп.точки доступа:
Smolka, S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)