Вы здесь

Издания

Вид Название Год Том Автор Редакторы Колл. автор Источник Дата поступления Количество экземпляров На руках
М Речевой этикет. Русско-английские соответствия (Справочник) 1990 Формановская Н. И., Шевцова С. В. 02.11.2023 Доступно
1 из 1
Выдать
М Как написать математическую статью по-английски 2000 Сосинский А. Б. 02.11.2023 Доступно
1 из 1
Выдать
М Краткий русско-английский фразеологический словарь 1995 Гуревич В. В., Дозорец Ж. А. 02.11.2023 Доступно
1 из 1
Выдать
А Анализ одного класса последовательностей биомедицинских изображений с доменной адаптацией нейросетевых моделей и обучением на основе условно-реальных данных 2023 Давыдов Н. С. 10.10.2023 Доступно
1 из 1
Выдать
СБ Современные проблемы математики 1977 18.08.2023 Доступно
1 из 1
Выдать
А Конструкции и свойства корреляционно-иммунных и платовидных булевых функций 2023 Таранников Ю. В. 07.08.2023 Доступно
1 из 1
Выдать
А Математические методы обеспечения защищённого взаимодействия средств защиты информации 2023 Нестеренко А. Ю. 07.08.2023 Доступно
1 из 1
Выдать
СБ Proc.of the 18th International Conference on Software Engineering. Berlin, Germany, March 25-29, 1996 (папка с копиями статей) 2023 03.02.2023 Доступно
1 из 1
Выдать
СБ XXI SOFSEM '94: Contributed Talks, Milovy, Czech Republic, November-December 1994 1994 Czech Society for Computer Science, Slovak Society for Computer Science 03.02.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
Шелехов В. И.
Принять
СБ WALCOM: Algorithms and Computation: Proc./16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 2022 2022 13174
  1. Mutzel P.
  2. Rahman S.
23.03.2022 Доступно
1 из 1
Выдать
СБ Computer Security: ESORICS 2021 International Workshops: CyberCPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 2021 2022 13106
  1. Katsikas S.
  2. Lambrinoudakis C.
  3. Cuppens N.
  4. Mylopoulos J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Languages and Compilers for Parallel Computing: Revised Selected Papers/33rd International Workshop, LCPC 2020, Virtual Event, October 2020 2022 13149
  1. Chapman B.
  2. Moreira J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Information for a Better World: Shaping the Global Future, Part II: Proc./17th International Conference, IConference 2022, Virtual Event, February 2022 2022 13193
  1. Smits M.
23.03.2022 Доступно
1 из 1
Выдать
СБ Information for a Better World: Shaping the Global Future, Part I: Proc./17th International Conference, IConference 2022, Virtual Event, February 2022 2022 13192
  1. Smits M.
23.03.2022 Доступно
1 из 1
Выдать
СБ Web Services - ICWS 2021: Proc./28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12994
  1. Xu Ch.
  2. Xia Y.
  3. Zhang Y.
  4. Zhang L. -J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Blockchain - ICBC 2021: Proc./4th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12991
  1. Lee K.
  2. Zhang L. -J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Artificial Intelligence and Mobile Services - AIMS 2021: Proc./10th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12987
  1. Pan Y.
  2. Mao Z.-H.
  3. Luo L.
  4. Zeng J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Cognitive Computing - ICCC 2021: Proc./5th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12992
  1. Xu R.
  2. Cai Ch.
  3. Zhang L. -J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Big Data - BigData 2021: Proc./10th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12988
  1. Wei J.
  2. Zhang L. -J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Services - SERVICES 2021: Proc./17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021 2022 12996
  1. Serhani M.A.
  2. Zhang L. -J.
23.03.2022 Доступно
1 из 1
Выдать
СБ Algorithms and Architectures for Parallel Processing, Part III: Proc./21 st International Conference, ICA3PP 2021, Virtual Event, December 2021 2022 13157
  1. Lai Yo.
  2. Wang T.
  3. Jiang M.
  4. Xu G.
23.03.2022 Доступно
1 из 1
Выдать
СБ Algorithms and Architectures for Parallel Processing, Part II: Proc./21 st International Conference, ICA3PP 2021, Virtual Event, December 2021 2022 13156
  1. Lai Yo.
  2. Wang T.
  3. Jiang M.
  4. Xu G.
23.03.2022 Доступно
1 из 1
Выдать
СБ Algorithms and Architectures for Parallel Processing, Part I: Proc./21 st International Conference, ICA3PP 2021, Virtual Event, December 2021 2022 13155
  1. Lai Yo.
  2. Wang T.
  3. Jiang M.
  4. Xu G.
23.03.2022 Доступно
1 из 1
Выдать
СБ Колмогоров и кибернетика 2001
  1. Поспелов Д. А.
  2. Фет Я. И.
ИВМ и МГ СО РАН 21.03.2022 Доступно
1 из 1
Выдать
СБ Advanced Data Mining and Applications, Part I: Proc./17th International Conference, ADMA 2021, Sydney, NSW, Australia, February 2022 2022 13087
  1. Li B.
  2. Yue L.
  3. Jiang J.
  4. Chen W.
16.03.2022 Доступно
1 из 1
Выдать
СБ Advanced Data Mining and Applications, Part II: Proc./17th International Conference, ADMA 2021, Sydney, NSW, Australia, February 2022 2022 13088
  1. Li B.
  2. Yue L.
  3. Jiang J.
  4. Chen W.
05.03.2022 Доступно
1 из 1
Выдать