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

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Сводный каталог иностранных периодических изданий, имеющихся в библиотеках УрО РАН (1)Сводный каталог отечественных периодических изданий, имеющихся в библиотеках УрО РАН (5)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05$<.>)
Общее количество найденных документов : 100
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
Инвентарный номер: И-10892 - кх.
   649.7
   B 28


    Barwise, Jon.
    The Language of first-order LOGIC: including the Macintosh version of TARSKI'S WORLD 4.0 / J. Barwise, J. Etchemendy. - 3 ed., Rev. & Expanded. - Stanford,California : [s. n.], 1993. - 313 c. + 1 эл. гиб. диск. - (Center for the Study of Language and Information. Lecture notes ; n 23). - ISBN 0-937073-99-7 : 150.00 р.
Ind.: c. 304-313
ГРНТИ
ББК 649.732-018.12я05
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ--ДИСКЕТЫ

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

2.
Инвентарный номер: И-12152 - кх.
   З97
   B 92


    Buckley, James J..
    Simulating Fuzzy Systems : монография / J. J. Buckley. - [Berlin] : Springer, 2005. - XII, 208 с. : ил., табл. - (Studies in Fuzziness and Soft Computing ; vol. 171). - Библиогр. в конце глав. - Указ.: с. 205-208. - ISBN 3-540-24116-7 : 2743.00 р.
ГРНТИ
ББК З973
Рубрики: РАДИОЭЛЕКТРОНИКА--ПРОГРАММИРОВАНИЕ--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА

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

3.
Инвентарный номер: И-12513 - кх.
   З97
   C 77


    Cooke, John (1947-).
    Constructing Correct Software : монография / J. Cooke. - Second Ed. - London : Springer, 2005. - XXI, 509 p. - Библиогр.: с. 501-502. - Указ.: с. 503-509. - Прил.: с. 473-499. - ISBN 1-85233-820-2 : 361.00 р.
ГРНТИ
ББК З973.2
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ

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

4.
Инвентарный номер: И-12294 - кх.
   З97
   E 56


   
    Enhancing the Power of the Internet : научное издание / ed. M. Nikravesh [et al.]. - Berlin [et al.] : Springer, 2004. - VIII, 406 с. : ил., табл. - (Studies in Fuzziness and Soft Computing ; vol. 139). - Библиогр. в конце глав. - ISBN 3-540-20237-4 : 2161.00 р.
ГРНТИ
ББК З971.35
Рубрики: РАДИОЭЛЕКТРОНИКА--ПРОГРАММИРОВАНИЕ--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--КОМПЬЮТЕРНЫЕ СЕТИ

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

5.
Инвентарный номер: И-12255 - кх.
   З97
   G 88


    Gross, Hans-Gerhard.
    Component-Based Software Testing with UML : научное издание / H. -G. Gross. - [Berlin] : Springer, 2005. - XVIII, 316 p. : ил. - Библиогр.: с. 297-305. - Указ.: с. 307-316. - ISBN 3-540-20864-X : 1870.00 р.
Слов.: с. 285-295
ГРНТИ
ББК З973
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ

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

6.
Инвентарный номер: И-12241 - кх.
   З97
   H 25


   
    Hardening Linux : научное издание / J. H. Terpstra [et al.]. - New York [et al.] : McGraw-Hill, 2004. - XXXII, 404 с. : ил. - Указ.: с. 391-404. - ISBN 0-07-225497-1 : 1195.00 р.
ГРНТИ
ББК З972.11
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

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

7.
Инвентарный номер: И-12295 - кх.
   З97
   I 64


   
    Innovations in Intelligent Systems : научное издание / ed. A. Abraham [et al.]. - Berlin [et al.] : Springer, 2004. - XXV, 468 с. : ил., табл. - (Studies in Fuzziness and Soft Computing ; vol. 140). - Библиогр. в конце глав. - Указ.: с. 457-462. - ISBN 3-540-20265-X : 3908.00 р.
ГРНТИ
ББК З97
Рубрики: РАДИОЭЛЕКТРОНИКА--ПРОГРАММИРОВАНИЕ--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА

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

8.
Инвентарный номер: И-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
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ

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

9.
Инвентарный номер: И-13126 - кх.
   З97
   R 29


    Raymer, Michael G..
    The Silicon Web: Physics for the Internet Age : монография / M. G. Raymer. - New York ; London : Taylor & Francis, 2009. - XXV, 571 p. : il. - Указ.: с. 565-571. - ISBN 978-1-4398-0311-0 : 2064.00 р.
ББК З97
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ

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

10.
Инвентарный номер: 215892 - кх.
   З97
   U 55


   
    Unix и Linux. Руководство системного администратора : переводное издание / Э. Немет [и др.]. - 4-е изд. - Москва ; Санкт-Петербург ; Киев : Издательский дом "Вильямс", 2012. - 923, [1] с. - Предм. указ.: с. 1291-1303. - Пер. изд. : Unix and Linux System administration handbook / E. Nemeth. - Fourth ed. - Boston [et al.], 2011. - ISBN 978-5-8459-1740-9 : 1454.09 р.
ГРНТИ
ББК З97
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ

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

 1-10    11-20   21-30   31-40   41-50   51-60      
 

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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