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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 51/M 81
Автор(ы) : Monin, Jean-Francois
Заглавие : Understanding Formal Methods : научное издание
Выходные данные : London [et al.]: Springer, 2003
Колич.характеристики :XV, 275 с
ISBN, Цена 1-85233-247-6: 1725.00 р.
ГРНТИ : 27.03.19
ББК : 510.3
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 51/К 89
Автор(ы) : Кузнецов, Олег Петрович
Заглавие : Дискретная математика для инженера . -Изд. пятое, стер.
Выходные данные : Москва; Санкт-Петербург; Краснодар: Лань, 2007
Колич.характеристики :394, [1] с.: ил.
Серия: Учебники для вузов. Специальная литература
Примечания : Предм. указ.: c. 390-393
ISBN, Цена 078-5-8114-0570-1: 280.06 р.
ГРНТИ : 27.03.19
ББК : 510.3
Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ ЛОГИКА-- ОСНОВАНИЯ МАТЕМАТИКИ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.

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

Вид документа : Продолжающееся издание
Шифр издания : Пр 22-1/67
Заглавие : Проблемы конструктивного направления в математике - 2 (Конструктивный математический анализ) : сборник работ
Выходные данные : Москва; Ленинград: Издательство АН СССР, 1962
Колич.характеристики :502, [1] с
Коллективы : Академия наук СССР
Серия: Труды Математического института им. В. А. Стеклова; т. 67
Примечания : Библиогр. в конце ст.
Цена : Б.ц.
ГРНТИ : 27.03.19
ББК : 510.3я43(2)
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : 51/К 65
Автор(ы) : Конышева, Людмила Константиновна, Мешков, Владислав Витальевич
Заглавие : Задачник по дискретной математике : учебно-метод. пособие для вузов
Выходные данные : Екатеринбург: РГППУ, 2010
Колич.характеристики :138, [1] с.: ил.
Коллективы : РГППУ, Учреждение Рос. акад. образования "Уральское отд-ние"
Примечания : Библиогр.: с. 99
ISBN, Цена 978-5-8050-0376-0: 20.00 р.
ГРНТИ : 27.03.19
ББК : 510.3я7-4
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 51/Ш 65
Автор(ы) : Шиханович, Юрий Александрович
Заглавие : Логические и математические исчисления : учеб. пособие
Выходные данные : Москва: Научный мир, 2011
Колич.характеристики :253 с
Примечания : Библиогр.: с. 235-236. - Указ. терминов: с. 237-251
ISBN, Цена 978-5-91522-246-4: 353.00 р.
ГРНТИ : 27.03.19
ББК : 510.33я73
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 51/П 58
Автор(ы) : Попов, Сергей Викторович, Брошкова, Наталья Леонидовна
Заглавие : Прикладная логика : научное издание
Выходные данные : Москва: Физматлит, 2011
Колич.характеристики :212 с
Примечания : Библиогр.: с. 210-212
ISBN, Цена 978-5-9221-1340-3: 254.88 р.
ГРНТИ : 27.03.19
ББК : 510.3
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 51/И 20
Автор(ы) : Иванов, Борис Николаевич
Заглавие : Дискретная математика. Алгоритмы и программы. Расширенный курс : учеб. пособие для вузов
Выходные данные : Москва: Известия, 2011
Колич.характеристики :511 с
Примечания : Библиогр.: с. 501-502. - Предм. указ.: с. 503-509
ISBN, Цена 978-5-206-00824-1: 502.00 р.
ГРНТИ : 27.03.19
ББК : 510.3я73
Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ ЛОГИКА-- ОСНОВАНИЯ МАТЕМАТИКИ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 51/Х 13
Автор(ы) : Хаггарти, Род
Заглавие : Дискретная математика для программистов : учеб. для вузов . -2-е доп. изд.
Выходные данные : Москва: Техносфера, 2012
Колич.характеристики :399 с.: ил.
Серия: Мир программирования
Перевод издания: Haggarty R. Discrete Mathematics for Computing. -London [et al.], 2002
Примечания : Библиогр.: с. 395-396. - Предм. указ.: с. 397-399
ISBN, Цена 978-5-94836-303-5: 583.00 р.
ГРНТИ : 27.03.19
ББК : 510.3я73
Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ ЛОГИКА-- ОСНОВАНИЯ МАТЕМАТИКИ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
 1-10    11-18 
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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