Вы здесь

Издания

Вид Название Год Том Автор Редакторы Колл. автор Источник Дата поступления Количество экземпляров На руках
М Общая теория гомологий 1979 Александров П. С. 04.07.2024 Доступно
1 из 1
Выдать
М Доказательство корректности программ 2024 Лейно К.Р.М. 28.06.2024 Доступно
1 из 1
Выдать
М Хроника языков программирования. Прошлое, настоящее, будущее (Учебное пособие) 2024 Биллиг В. А. 20.06.2024 Доступно
1 из 1
Выдать
М О поэзии и науке, о себе и других 2024 Захаров В. Е. 20.06.2024 Доступно
1 из 1
Выдать
М Полугруппы 1960 Ляпин Е. С. 19.06.2024 Доступно
1 из 1
Выдать
М Линейная алгебра и элементарная геометрия 1972 Дьедонне Ж. 19.06.2024 Доступно
1 из 1
Выдать
М Вокруг Бернсайда 1986 Кострикин А. И. 19.06.2024 Доступно
1 из 1
Выдать
М Полугруппы и комбинаторные приложения 1985 Лаллеман Ж. 19.06.2024 Доступно
1 из 1
Выдать
М Задачи по теории множеств, математической логике и теории алгоритмов 1975 Лавров И. А., Максимова Л. Л. 13.06.2024 Доступно
1 из 1
Выдать
М Процедуры и алгоритмы формирования комплексных программ 1995 Поспелов Г. С., Ириков В. А., Курилов А. Е.
  1. Поспелов Г. С.
03.06.2024 Доступно
1 из 1
Выдать
М Инженерное проектирование программного обеспечения 1985 Боэм Б. У. 03.06.2024 Доступно
1 из 1
Выдать
М Теоретические основы информационных процессов 1987 Куликовский Л. Ф., Мотов В. В. 31.05.2024 Доступно
1 из 1
Выдать
М Параллельные вычислительные системы 1980 Головкин Б. А. 31.05.2024 Доступно
1 из 1
Выдать
М Система ИБМ/360. Введение в запоминающие устройства прямого доступа и методы организации 1971 ИМ АН БССР 30.05.2024 Доступно
1 из 1
Выдать
М Управление вычислительным процессом в ЭВМ 1978 Авен О. И., Коган Я. А. 29.05.2024 Доступно
1 из 1
Выдать
СБ Академики Юрий Ершов и Сергей Гончаров. Учитель и ученик 2023 НГУ 23.05.2024 Доступно
1 из 1
Выдать
М Подмножество PL/1 ОС ЕС. Часть I: Данные 1976 Латв. ГУ 23.05.2024 Доступно
2 из 2
Выдать
А Методы разноуровневого анализа текстов на естественном языке и их приложения в системах информационного поиска и психолингвистических исследованиях 2024 Смирнов И. В. 18.04.2024 Доступно
0 из 1
Загорулько Ю. А.
Принять
СТ Enn Tyugu: Social and professional background 2023 Krayneva I. A. Преглед Националног центра за дигитализациjу (22376) 06.03.2024 Доступно
1 из 1
Выдать
А Нелинейные дифференциально-разностные уравнения эллиптического и параболического типа и их приложения к нелокальным задачам 2024 21.02.2024 Доступно
1 из 1
Выдать
М Речевой этикет. Русско-английские соответствия (Справочник) 1990 Формановская Н. И., Шевцова С. В. 02.11.2023 Доступно
1 из 1
Выдать
М Как написать математическую статью по-английски 2000 Сосинский А. Б. 02.11.2023 Доступно
1 из 1
Выдать
М Краткий русско-английский фразеологический словарь 1995 Гуревич В. В., Дозорец Ж. А. 02.11.2023 Доступно
1 из 1
Выдать
А Анализ одного класса последовательностей биомедицинских изображений с доменной адаптацией нейросетевых моделей и обучением на основе условно-реальных данных 2023 Давыдов Н. С. 10.10.2023 Доступно
1 из 1
Выдать
А Конструкции и свойства корреляционно-иммунных и платовидных булевых функций 2023 Таранников Ю. В. 07.08.2023 Доступно
1 из 1
Выдать
А Математические методы обеспечения защищённого взаимодействия средств защиты информации 2023 Нестеренко А. Ю. 07.08.2023 Доступно
1 из 1
Выдать
СБ История отечественной электронной вычислительной техники. Изд. 2-е, испр., доп. 2017
  1. Хохлов С. В.
24.10.2022 Доступно
1 из 1
Выдать
М Их именами названы институты Новосибирского научного центра 2022 Крайнева И. А., Куперштох Н. А. Институт истории СО РАН, ИСИ СО РАН 04.10.2022 Доступно
1 из 1
Выдать
СТ Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов 2022 Непомнящий В. А., Кондратьев Д. А. Программирование 03.10.2022 Доступно
1 из 1
Выдать
Д Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями 2022 Кондратьев Д. А. 19.09.2022 Доступно
1 из 1
Выдать
А Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями 2022 Кондратьев Д. А. 19.09.2022 Доступно
1 из 1
Выдать
М Функциональное программирование. Парадигма, модели и методы 2022 Городняя Л. В.
  1. Пальянов А. Ю.
ИСИ СО РАН 19.09.2022 Доступно
1 из 1
Выдать
А Исследование и разработка методов реализации семантики языков программирования в многоязыковых диалоговых транслирующих системах 1980 Магариу Г. А. 12.09.2022 Доступно
1 из 1
Выдать
А Методы и программные средства создания интеллектуальных систем с декларативными базами знаний на основе модельных трансформаций 2022 Юрин А. Ю. 01.07.2022 Доступно
1 из 1
Выдать
П На фоне советской истории: Профессор Панов (1904-1975) 2022 Крайнева И. А. ИСИ СО РАН 30.05.2022 Доступно
1 из 1
Выдать
СБ Machine Learning, Optimization, and Data Science, Part II: Revised Selected Papers/7th International Conference, LOD 2021, Grasmere, UK, October 2021 2022 13164
  1. Nicosia G.
  2. Ojha V.
  3. La Malfa E.
  4. La Malfa G.
25.04.2022 Доступно
1 из 1
Выдать
СБ Machine Learning, Optimization, and Data Science, Part I: Revised Selected Papers/7th International Conference, LOD 2021, Grasmere, UK, October 2021 2022 13163
  1. Nicosia G.
  2. Ojha V.
  3. La Malfa E.
  4. La Malfa G.
25.04.2022 Доступно
1 из 1
Выдать
СБ Data Privacy Management, Cryptocurrencies and Blockchain Technology: Revised Selected Papers/ESORICS 2021 International Workshops, DPM 2021, and CBT 2021, Darmstadt, Germany, October 2021 2022 13140
  1. Garcia-Alfaro J.
  2. Munoz-Tapia J.L.
  3. Navarro-Arribas G.
  4. Soriano M.
25.04.2022 Доступно
1 из 1
Выдать
СБ Cloud Computing - CLOUD 2021: Proc./14 International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12989
  1. Ye K.
  2. Zhang L. -J.
25.04.2022 Доступно
1 из 1
Выдать
СБ Services Computing - SCC 2021: Proc./18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12995
  1. Katangur A.
  2. Zhang L. -J.
25.04.2022 Доступно
1 из 1
Выдать
СБ Netwjrk Science: Proc./7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 2022 2022 13197
  1. Ribeiro P.
  2. Silva F.
  3. Mendes J. F.
  4. Laureano R.
25.04.2022 Доступно
1 из 1
Выдать
СБ Computational Science and Its Applications - ICCSA 2021: Part IV : Proc./21st International Conference, Cagliari, Italy, September 2021 2022 12952
  1. Gervasi O.
  2. Murgante B.
  3. Misra S.
  4. Garau Ch.
25.04.2022 Доступно
1 из 1
Выдать
А Вычислимая сходимость метрик на вещественных числах 2022 Корнев Р. А. 25.04.2022 Доступно
1 из 1
Выдать
СБ Inductive Logic Programming: Proc./30th International Conference, ILP 2021, Virtual Event, October 2021 2022 13191
  1. Katzouris N.
  2. Artikis A.
23.03.2022 Доступно
1 из 1
Выдать
СБ Internet of Things - ICIOT 2021: Proc./6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12993
  1. Tekinerdogan B.
  2. Wang Y.
  3. Zhang L. -J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Big-Data-Analytics in Astronomy, Science, and Engineering: Proc./9th International Conference on Big Data Analytics, BDA 2021, Virtual Event, December 2021 2022 13167
  1. Sachdeva S.
  2. Watanobe Yu.
  3. Bhalla S.
23.03.2022 Доступно
1 из 1
Выдать
СБ Emerging Technologies for Education: Revised Selected Papers/6th International Symposium, SETE 2021, Zhuhai, China, November 2021 2022 13089
  1. Jia W.
  2. Tang Y.
  3. Lee R.C. T.
  4. Herzog M.
23.03.2022 Доступно
1 из 1
Выдать
СБ Chatbot Research and Design: Revised Selected Papers//5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 2021 2022 13171
  1. Folstad A.
  2. Araujo Th.
  3. Papadopoulos S.
  4. Law E.L.-Ch.
23.03.2022 Доступно
1 из 1
Выдать
СБ Reasoning Web: Declarative Artificial Intelligence: Tutorial Lectures/17th International Summer School 2021, Leuven, Belgium, September 2021 2022 13100
  1. Simkus M.
  2. Varzinczak I.
23.03.2022 Доступно
1 из 1
Выдать
СБ Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021 2022 13124
  1. Bloem R.
  2. Dimitrova R.
  3. Fan Ch.
  4. Sharygina N.
23.03.2022 Доступно
0 из 1
Шелехов В. И.
Принять