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

Базы данных


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

Вид поиска
Каталог книг и продолжающихся изданий
Сводный каталог иностранных периодических изданий, имеющихся в библиотеках УрО РАН
Сводный каталог отечественных периодических изданий, имеющихся в библиотеках УрО РАН
Каталог диссертаций и авторефератов диссертаций УрО РАН
Каталог препринтов УрО РАН (1975 г. - )
Имидж-каталог отечественных книг (до 2010 г.)
Имидж-каталог иностранных книг (до 2010 г.)
Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН
Публикации об УрО РАН
Изобретения уральских ученых
Интеллектуальная собственность (статьи из периодики)
Нанотехнологии
Демидовские премии
Гибель династии Романовых
История Урала
Личная библиотека С. В. Вонсовского
Книжная коллекция Шубиных
Труды Института высокотемпературной электрохимии УрО РАН
Труды Института истории и археологии УрО РАН
Труды сотрудников Института горного дела УрО РАН
Труды сотрудников Института органического синтеза УрО РАН
Труды сотрудников Института теплофизики УрО РАН
Труды сотрудников Института химии твердого тела УрО РАН
Расплавы
Труды сотрудников ЦНБ УрО РАН
Публикации Черешнева В.А.
Публикации Чарушина В.Н.
Каталог библиотеки ИГД УрО РАН
Каталог библиотеки ИЭРиЖ УрО РАН
Электронная энциклопедия «Дискурсология»
Библиометрия
Область поиска
в найденном
 Найдено в других БД:Сводный каталог отечественных периодических изданий, имеющихся в библиотеках УрО РАН (1)Каталог диссертаций и авторефератов диссертаций УрО РАН (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 63
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-63 
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 р.
ГРНТИ
27.03
ББК 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 р.
ГРНТИ
27.03
ББК 510.3 + 514.1
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
   МАТЕМАТИКА--ТОПОЛОГИЯ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.
Инвентарный номер: И-13711 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 1. - 2013. - XXI, 672 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
4.
Инвентарный номер: И-13712 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 2. - 2013. - XXI, 673-1355 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.
Инвентарный номер: И-13713 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 3. - 2013. - XXI, 1357-2026 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
6.
Инвентарный номер: И-13714 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 4. - 2013. - XXI, 2027-2740 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

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

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 5. - 2013. - XXI, 2741-3409 p. - Указ.: с. 3395-3409. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

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

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

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

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

   
    Алгоритмы. Построение и анализ : монография / Т. Кормен, Ч. Лейзерсон, Р. Ривест, К. Штайн ; перевод с английского и редакция И. В. Красикова. - 3-е изд. - Москва ; Санкт-Петербург ; Киев : Вильямс, 2013. - 955 с. : ил. - Пер. изд. : Introduction to Algorithms. - Cambridge ; London, 2013. - ISBN 978-5-8459-1794-2 : 2000.02 р.
ГРНТИ
27.03.17
ББК 510.37я73 + 519.181я73
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

    Брюшинкин, Владимир Никифорович.
    Теория поиска вывода. Происхождение и философские приложения : научное издание / В. Н. Брюшинкин , Н. А. Ходикова ; Балтийский федеральный ун-т им. Иммануила Канта. - [Калининград] : Изд-во Балтийского федерального университета им. Иммануила Канта, 2012. - 165 с. - (Библиотека электронного журнала "РАЦИО.ru" ; вып. 6). - Библиогр.: с. 158-165. - ISBN 978-5-9971-0222-7 : 200.00 р.
ГРНТИ
27.03
ББК 510.3в
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

    Васюков, В. Л.
    Квантовая логика : научное издание / В. Л. Васюков ; РАН, Ин-т философии. - Москва : ПЕР СЭ, 2005. - 191 с. - Библиогр.: с. 186-191. - ISBN 5-9292-0142-0 : 50.00 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

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

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
15.
Инвентарный номер: 237666 - кх.
   В12
   Г 24

    Гашков, Сергей Борисович.
    Теория алгоритмов и вычислений : учебное пособие для вузов / С. Б. Гашков. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2023. - 166 с. : ил. - (Высшее образование). - На обложке автор не указан. - Библиогр.: с. 163-164. - ISBN 978-5-507-468-97-3 : 1058.20 р.
ГРНТИ
27.03
ББК В127я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ


Найти похожие
16.
Инвентарный номер: 221438 - кх; 3451-Дар - кх.
   51
   Г 47

    Гильберт, Давид.
    Основания математики. Логические исчисления и формализация арифметики : монография / Д. Гильберт, П. Бернайс ; пер с нем. Н. М. Нагорного под ред. С. И. Адяна. - Москва : Наука, Главная редакция ФИЗМАТЛИТА, 1979. - 557 с. - (Математическая логика и основания математики). - Алф. указ.: с. 551-557. - Пер. изд. : Grundlagen der Mathematik. I / D. Hilbert, P. Bernays. - Zweite Auflage. - Berlin [et al.], 1968. - 14.00 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

    Глухов, Михаил Михайолвич.
    Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для вузов / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2012. - 405 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 : 716.76 р.
Прил.: с. 389-397
ГРНТИ
27.03
ББК 510.3я73 + 510.37я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов по спец. "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы в сети" / А. К. Гуц. - Изд. 3-е, испр. - Москва : Ленанд, 2016. - 117 с. : портр. - Библиогр.: с. 114-117. - ISBN 978-5-9710-2629-7 : 308.00 р.
ГРНТИ
27.03
ББК 510.3я73 + 510.37я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

    Демидович, Борис Павлович.
    Краткий курс высшей математики : учеб. пособие для вузов / Б. П. Демидович, В. А. Кудрявцев. - Москва : Астрель : АСТ, 2008. - 655 с. : граф. - Указ.: с. 639-649. - ISBN 978-5-17-004601-0 (Издательство АСТ. - ISBN 978-5-271-01318-8 (Издательство Астрель) : 382.95 р.
Прил. : с. 602-627
ГРНТИ
27.03.15
ББК 510.2я73
Рубрики: МАТЕМАТИКА--ВЫСШАЯ МАТЕМАТИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

    Ершов, Юрий Леонидович.
    Алгоритмы и вычислимость в человеческом познании : монография / Ю. Л. Ершов, В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов ; РАН, СО, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497, [6] с. - (Интеграционные проекты СО РАН ; вып. 40). - Загл. на доп.тит.листе : Algorithms and computability in human knowledge. - Библиогр.: с. 490-497. - ISBN 978-5-7692-1248-8 : 1130.00 р.
ГРНТИ
27.03.19
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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