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

Базы данных


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

Вид поиска
Каталог книг и продолжающихся изданий
Сводный каталог иностранных периодических изданий, имеющихся в библиотеках УрО РАН
Сводный каталог отечественных периодических изданий, имеющихся в библиотеках УрО РАН
Каталог диссертаций и авторефератов диссертаций УрО РАН
Каталог препринтов УрО РАН (1975 г. - )
Имидж-каталог отечественных книг (до 2010 г.)
Имидж-каталог иностранных книг (до 2010 г.)
Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН
Публикации об УрО РАН
Изобретения уральских ученых
Интеллектуальная собственность (статьи из периодики)
Нанотехнологии
Демидовские премии
Гибель династии Романовых
История Урала
Личная библиотека С. В. Вонсовского
Книжная коллекция Шубиных
Труды Института высокотемпературной электрохимии УрО РАН
Труды Института истории и археологии УрО РАН
Труды сотрудников Института горного дела УрО РАН
Труды сотрудников Института органического синтеза УрО РАН
Труды сотрудников Института теплофизики УрО РАН
Труды сотрудников Института химии твердого тела УрО РАН
Расплавы
Труды сотрудников ЦНБ УрО РАН
Публикации Черешнева В.А.
Публикации Чарушина В.Н.
Каталог библиотеки ИГД УрО РАН
Каталог библиотеки ИЭРиЖ УрО РАН
Электронная энциклопедия «Дискурсология»
Библиометрия
Область поиска
в найденном
 Найдено в других БД:Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=МАТЕМАТИКА -- ОСНОВАНИЯ МАТЕМАТИКИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)
Общее количество найденных документов : 40
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40  
1.
Инвентарный номер: 194768 - кх.
   51
   Т 31

   Тельпиз, М. И.
    Принцип позиционности для счисления и исчисления функций / РАН. Ин-т косм. исслед. - Москва : Б. и., 2001 - .
   Т. 1. - 457 с. : табл. - Библиогр.: с. 447-452.- Предм. указ.: с. 453-455. - 50.00 р.
ББК 510.33
РУБ 51
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
2.
Инвентарный номер: И-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 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.
Инвентарный номер: И-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 р.
ГРНТИ
27.03.19
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
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 р.
ГРНТИ
27.03
ББК 510.37
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.
Инвентарный номер: И-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
ГРНТИ
27.03
29
ББК 510.37 + 530.141
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
   ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
6.
Инвентарный номер: 200337 - кх.
   51
   П 58

    Попов, С. В.
    Логическое моделирование : научное издание / С. В. Попов. - Москва : Тровант, 2006. - 225 с. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 199.38 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
7.
Инвентарный номер: 200665 - кх.
   51
   Н 59

   
    Нечеткие гибридные системы. Теория и практика : научное издание / И. З. Батыршин [и др.] ; под ред. Н. Г. Ярушкиной. - Москва : Физматлит, 2007. - 207 с. - (Информационные и компьютерные технологии). - Авт. указаны на обороте тит. л. - Библиогр.: с. 181-207. - ISBN 978-59221-0786-0 : 220.00 р.
ГРНТИ
27.03
ББК 510.3 + З813
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
   РАДИОЭЛЕКТРОНИКА--ТЕХНИЧЕСКАЯ КИБЕРНЕТИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
8.
Инвентарный номер: 201541 - кх.
   51
   М 34

    Математика без формул / Ю. В. Пухначев, Ю. П. Попов. - Изд. второе. - Москва : [КомКнига], 2007 - .
   Кн. 2. - 2007. - 235 с. - ISBN 978-5-484-00778-3 : 189.92 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
9.
Инвентарный номер: 203309 - кх.
   51
   Р 82

    Рублев, Вадим Сергеевич.
    Основы теории алгоритмов : учебное пособие / В. С. Рублев ; под ред. В. А. Соколова. - 2-е изд., испр. - Москва : Научный мир, 2008. - 127, [1] с. - Библиогр.: с. 127. - ISBN 978-5-91522-013-2 : 129.29 р.
ГРНТИ
27.03.17
ББК 510.37я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
10.
Инвентарный номер: 203304 - кх.
   51
   Н 13

    Набебин, Алексей Александрович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / А. А. Набебин, Ю. П. Кораблин ; [науч. ред. В. А. Захаров]. - Москва : Научный мир, 2008. - 343 с. - Библиогр.: с. 334. - ISBN 978-5-91522-001-9 : 289.29 р.
ГРНТИ
27.03
ББК 510.3я73 + 510.37я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
 1-10    11-20   21-30   31-40  
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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