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

Базы данных


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

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

    Bakker, Jacobus Willem de.
    Control Flow Semantics / J. deBakker, E. deVink. - Cambridge [et al.] : The MIT Press, 1996. - 564 c. - (Foundations of Computing). - Библиогр.: с. 543-556. - Указ.: с. 557-564. - ISBN 0-262-04154-5 : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

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

    Goguen, Joseph A..
    Algebraic Semantics of Imperative Programs / J. A. Goguen, G. Malcolm. - Cambridge [et al.] : The MIT Press, 1996. - 228 c. - (Foundations of Computing). - Библиогр.: с. 222-225. - Указ.: с. 227-228. - ISBN 0-262-07172-X : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.
Инвентарный номер: И-11243 - кх.
   519
   G 74

    Grassmann, Winfried Karl.
    Logic and Discrete Mathematics. A Computer Science Perspectives / W. K. Grassmann, J. -P. Tremblay. - New Jersey : Prentice Hall, 1996. - 750 c. - Указ.: с. 736-750. - ISBN 0-13-501206-6 : 864.41 р.
ББК 519.36 + 510.3
РУБ 519
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
4.
Инвентарный номер: И-11254 - кх.
   649.7
   G 95

    Gunter, Carl A..
    Semantics of Programming Languages. Structures and Techniques / C. A. Gunter. - Cambridge [et al.] : The MIT Press, 1992. - 419 c. - (Foundations of Computing). - Библиогр.: с. 395-406. - Указ.: с. 407-418. - ISBN 0-262-07143-6 : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.
Инвентарный номер: И-11459 - кх.
   649.7
   W 70

    Wilson, Howard B..
    Advanced Mathematics and Mechanics Applications Using MATLAB / H. B. Wilson, L. H. Turcotte. - 2nd ed. - Boca Raton [et al.] : CRC Press, 2000. - 632 c. - Библиогр.: c. 617-626. - Указ.: c. 627-632. - ISBN 0-8493-1686-3 : 1465.78 р.
ББК 649.732-018.11
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРИКЛАДНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

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

    Winskel, Glynn.
    The Formal Semantics of Programming Languages : An Introduction / G. Winskel. - Cambridge [et al.] : The MIT Press, 1997. - 361 c. - (Foundations of Computing). - Библиогр.: с. 353-356. - Указ.: с. 357-361. - ISBN 0-262-23169-7 : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
7.
Инвентарный номер: 169014 - бр.ф.; 214687 - кх.
   519
   А 19

    Авербух, Владимир Лазаревич.
    Визуализация программного обеспечения : конспект лекций / В. Л. Авербух. - Екатеринбург : [б. и.], 1995. - 168 с. - Библиогр.: с. 161-167. - 6000.00 р., 2.00 р.
ГРНТИ
28.29.05
ББК 519.3я73-2
Рубрики: МАТЕМАТИКА--ТЕОРИЯ ИГР--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

    Аладьев, Виктор Захарович.
    Решение физико-технических и математических задач с пакетом Maple V / В. З. Аладьев, М. А. Богдявичюс. - Вильнюс : Техника, 1999. - 686 с. : ил., табл. - Библиогр.: с. 651-654. - Прил.: с. 656-678. - ISBN 9986-05-398-6. - ISBN 1-995-01999-8 : 50.00 р.
Рез. на англ. яз.
ББК 649.732-018.12 + 53с116
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   ФИЗИКА--ФИЗИКА В ЦЕЛОМ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
9.
Инвентарный номер: 195754 - бр.ф.; 195755 - кх.
   518
   А 45

   
    Алгоритмический анализ неустойчивых задач : тез. докл. Всерос. конф., Екатеринбург, 2-6 февраля 2004 года / Ин-т математики и механики УрО РАН, Урал. гос. ун-т им. А. М. Горького; Редкол.: В. В. Васин (отв. ред.) и др. - Екатеринбург : Уральский государственный университет, 2004. - 384 с. - Библиогр. в конце ст. - ISBN 5-7996-0185-8 : 50.00 р.
ББК 518.211я431(2) + 519.181я431(2)
РУБ 518
Рубрики: МАТЕМАТИКА--ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА--КОНФЕРЕНЦИИ

Для заказа издания воспользуйтесь услугами МБА,
Издание в ЭБ "Научное наследие Урала"
Найти похожие
10.
Инвентарный номер: 237674 - кх.
   В17
   А 50

    Алибеков, Игорь Юсупович.
    Теория вероятностей и математическая статистика в среде Matlab : учебное пособие для вузов / И. Ю. Алибеков. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2023. - 181 с. : рис., граф. - (Учебники для вузов. Специальная литература) (Бакалавриат и магистратура). - Библиогр.: с. 181. - ISBN 978-5-8114-3846-4 : 1031.80 р.
ГРНТИ
27.43
ББК В17я73
Рубрики: МАТЕМАТИКА--ТЕОРИЯ ВЕРОЯТНОСТЕЙ--МАТЕМАТИЧЕСКАЯ СТАТИСТИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ


Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-61      
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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