Вы здесь

Издания

Вид Название Год Том Автор Редакторы Колл. автор Источник Дата поступления Количество экземпляров На руках
П Язык Atoment: синтаксис и семантика 2010 Ануреев И. С. ИСИ СО РАН 22012 06.10.2022 Доступно
1 из 1
Выдать
М Их именами названы институты Новосибирского научного центра 2022 Крайнева И. А., Куперштох Н. А. Институт истории СО РАН, ИСИ СО РАН 04.10.2022 Доступно
1 из 1
Выдать
СТ Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов 2022 Непомнящий В. А., Кондратьев Д. А. Программирование 03.10.2022 Доступно
1 из 1
Выдать
А Рекуррентные алгоритмы оценки параметров сплайновых моделей временных рядов 1988 Сухотина Л. Ю. 28.09.2022 Доступно
1 из 1
Выдать
Д Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями 2022 Кондратьев Д. А. 19.09.2022 Доступно
1 из 1
Выдать
А Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями 2022 Кондратьев Д. А. 19.09.2022 Доступно
1 из 1
Выдать
М Функциональное программирование. Парадигма, модели и методы 2022 Городняя Л. В.
  1. Пальянов А. Ю.
Институт Систем Информатики им. А.П.Ершова 19.09.2022 Доступно
1 из 1
Выдать
А Методы и алгоритмы управления вычислениями в многопроцессорной вычислительной системе коллективного пользования 1981 Максименков А. В. 15.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
Выдать
СБ Artificial Intelligence and Security, Part II: Proc./7th International Conference, ICAIS 2021, Dublin, Ireland, July 2021 2022 12737
  1. Sun X.
  2. Zhang X.
  3. Xia Zh.
  4. Bertino E.
05.03.2022 Доступно
1 из 1
Выдать
СБ Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, Part II: Revised Selected Papers/6th International Workshop, BrainLes 2020 Held in Conjunction with MICCAI 2020, Lima, Peru, October 2020 2021 12659
  1. Crimi A.
  2. Bakas S.
05.03.2022 Доступно
1 из 1
Выдать
СБ Descriptional Complexity of Formal Systems: Proc./23rd IFIP WG 1/02 International Conference, DCFS 2021, Virtual Event, September 2021 2022 13037
  1. Han Y. -S.
  2. Ko S.-K.
05.03.2022 Доступно
1 из 1
Выдать
СБ Critical Information Infrastructures Security: Revised Selected Papers/16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 2021 2021 13139
  1. David D.P.
  2. Mermoud A.
  3. Maillart Th.
05.03.2022 Доступно
1 из 1
Выдать
СБ Topics in Cryptology - CT-RSA 2022: Proc./Cryptographers'Track at the RSA Conference 2022, Virtual Event, March 2022 2022 13161
  1. Galbraith S. D.
05.03.2022 Доступно
1 из 1
Выдать
СБ Security, Privacy, and Applied Cryptography Engineering: Proc./11th International Conference, SPACE 2021, Kolkata, India, December 2021 2022 13162
  1. Batina L.
  2. Picek S.
  3. Mondal M.
05.03.2022 Доступно
1 из 1
Выдать
М Мой Академгородок 1968. Книга 2 2021 Качан М. С. 02.03.2022 Доступно
1 из 1
Выдать