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

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Каталог диссертаций и авторефератов диссертаций УрО РАН (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.19$<.>)
Общее количество найденных документов : 18
Показаны документы с 1 по 10
 1-10    11-18 
1.
Инвентарный номер: И-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
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

2.
Инвентарный номер: 201552 - кх.
   51
   К 89


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

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

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


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

4.
Инвентарный номер: нет.
   Пр 22-1/67


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

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

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


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

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

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


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

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

7.
Инвентарный номер: 210825 - кх.
   51
   Ш 65


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

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

8.
Инвентарный номер: 211990 - кх.
   51
   П 58


    Попов, Сергей Викторович.
    Прикладная логика : научное издание / С. В. Попов, Н. Л. Брошкова. - Москва : Физматлит, 2011. - 212 с. - Библиогр.: с. 210-212. - ISBN 978-5-9221-1340-3 : 254.88 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

9.
Инвентарный номер: 213582 - кх.
   51
   И 20


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

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

10.
Инвентарный номер: 213581 - кх.
   51
   Х 13


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

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

 1-10    11-18 
 

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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