Главная Новые поступления Описание Шлюз Z39.50

Базы данных


Каталог книг и продолжающихся изданий - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Mclver, Annabelle$<.>)
Общее количество найденных документов : 1
1.
Инвентарный номер: И-12528 - кх.
   З97
   M 44


    Mclver, Annabelle.
    Abstraction, Refinement and Proof for Probabilistic Systems : научное издание / A. Mclver, C. Morgan. - [New York] : Springer, 2005. - XIX, 383 p. : ил. - (Monographs in Computer Science). - Библиогр.: с. 345-355. - Указ.: с. 357-383. - Прил.: с. 313-344. - ISBN 0-387-40115-6 : 361.00 р.
ГРНТИ
ББК З973
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

 

Сиглы отделов ЦНБ УрО РАН


  бр.ф. - Бронированный фонд

  бф - Научно-библиографический отдел

  БХЛ - Фонд художественной литературы

  ИИиА -Фонд исторической литературы в ЦНБ УрО РАН

  ИМЕТ -Отдел ЦНБ в Институте металлургии УрО РАН

  кх - Отдел фондов (книгохранениe)

  МБА - Межбиблиотечный абонемент

  мф - Методический фонд

  ок - Отдел научной каталогизации

  оку - Отдел комплектования и учета

  орф - Обменно-резервный фонд

  пф - Читальный зал деловой и патентной информации

  рк - Фонд редкой книги

  ч/з - Главный читальный зал

  эр - Зал электронных ресурсов

  

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