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

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=МАТЕМАТИКА -- ОСНОВАНИЯ МАТЕМАТИКИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)
Общее количество найденных документов : 41
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-41   41-41 
1.
Инвентарный номер: И-12189 - кх.
   51
   A 44


   
    Alternative Logics. Do Sciences Need Them? : научное издание / ed. P. Weingartner. - Berlin [et al.] : Springer, 2004. - XVII, 367 с. - Указ.: с. 360-367. - Библиогр. в конце разд. - ISBN 3-540-40744-8 : 2452.00 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

2.
Инвентарный номер: И-13536 - кх.
   51
   C 59


   
    Classification and Regression Trees : научное издание / Leo Breiman [et al.]. - Boca Raton [et al.] : Chapman & Hall/CRC, 1984. - 358 p. - (The Wadsworth statistics/probability series). - Bibliogr.: p. 342-346. - ISBN 0-412-04841-8 : 1000.00 р.
ГРНТИ
ББК 510.3 + 514.1
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
   МАТЕМАТИКА--ТОПОЛОГИЯ


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

3.
Инвентарный номер: И-12315 - кх.
   51
   H 68


    Hirvensalo, Mika (1972-).
    Quantum Computing : монография / M. Hirvensalo. - Second Ed. - Berlin [et al.] : Springer, 2004. - XIII, 214 p. - (Natural Computing Series). - Библиогр.: с. 205-209. - Указ.: с. 211-214. - ISBN 3-540-40704-9 : 1434.00 р.
Прил.: с. 113-204
ГРНТИ
ББК 510.37 + 530.141
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
   ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА


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

4.
Инвентарный номер: И-12245 - кх.
   51
   S 53


    Shackell, John (1943-).
    Symbolic Acymptotics : научное издание / J. Shackell. - Berlin [et al.] : Springer, 2004. - XI, 243 с. - (Algorithms and Computation in Mathematics ; vol. 12). - Библиогр.: с. 235-240. - Указ.: с. 241-243 . - ISBN 3-540-21097-0 : 1870.00 р.
ГРНТИ
ББК 510.37
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

5.
Инвентарный номер: И-12136 - кх.
   51
   M 81


    Monin, Jean-Francois.
    Understanding Formal Methods : научное издание / J. -F. Monin ; transl. ed. M. G. Hinchey. - London [et al.] : Springer, 2003. - XV, 275 p. - ISBN 1-85233-247-6 : 1725.00 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

6.
Инвентарный номер: 205662 - кх.
   З97
   М 15


    Макконнелл, Джеффри Дж..
    Анализ алгоритмов. Активный обучающий подход : учеб. пособие по направлению "Информатика и вычислительная техника" / Д. Дж. Макконнелл ; пер. c англ. С. А. Кулешова под ред. С. К. Ландо. - 3-е доп. изд. - Москва : Техносфера, 2009. - 415 с. - (Мир программирования). - Предм. указ.: с. 413-415. - Прил.: с. 390-412. - Пер. изд. : Analysis Algorithms. An Active Learning Approach / J. J. McConnell. - Boston, 2008. - ISBN 978-5-94836-216-8 : 362.10 р.
ГРНТИ
ББК З97я7 + 510.3я7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--УЧЕБНИКИ
   МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА


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

7.
Инвентарный номер: 205649 - кх.
   51
   Т 31


    Тель, Жерар.
    Введение в распределенные алгоритмы : монография / Ж. Тель ; пер. с англ. В. А. Захарова. - Москва : МЦНМО, 2009. - 616 с. - Библиогр.: с. 593-604. - Предм. указ.: с. 605-616. - Прил.: с. 573-592. - Пер. изд. : Introduction to Distributed Algorithms / G. Tel. - Cambridge, 2000. - ISBN 978-5-94057-515-3 : 390.00 р.
ГРНТИ
ББК 510.37
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

8.
Инвентарный номер: 210197 - кх.
   51
   К 65


    Конышева, Людмила Константиновна.
    Дискретная математика : учебное пособие для вузов / Л. К. Конышева ; РГППУ, Учреждение Рос. акад. образования "Уральское отд-ние". - Екатеринбург : РГППУ, 2010. - 205 с. : ил. - Библиогр.: с. 200. - Указ.: с. 2001-203. - ISBN 978-5-8050-0394-4 : 20.00 р.
ГРНТИ
ББК 510.3я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

9.
Инвентарный номер: 224529 - кх.
   51
   Г 24


    Гашков, Сергей Борисович.
    Дискретная математика : учебник и практикум для академического бакалавриата / С. Б. Гашков, А. Б. Фролов. - Москва : Юрайт, 2016. - 423 с. - (Бакалавр. Академический курс). - Библиогр.: с. 422-423. - ISBN 978-5-9916-6382-3 : 1042.41 р.
ГРНТИ
ББК 510.3я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

10.
Инвентарный номер: 224539 - кх.
   51
   С 89


    Судоплатов, Сергей Владимирович.
    Дискретная математика : учебник и практикум для акад. бакалавриата по техн. спец. / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - 5-е изд., испр. и доп. - Москва : Юрайт, 2016. - 279 с. - (Университеты России). - Библиогр.: с. 232-234. - Указ.: с. 262-279. - ISBN 978-5-9916-8350-0 : 726.21 р.
ГРНТИ
ББК 510.3я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

 1-10    11-20   21-30   31-41   41-41 
 

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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