|
П |
Язык 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 |
|
Городняя Л. В. |
- Пальянов А. Ю.
|
Институт Систем Информатики им. А.П.Ершова |
|
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 |
|
- Nicosia G.
- Ojha V.
- La Malfa E.
- 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 |
|
- Nicosia G.
- Ojha V.
- La Malfa E.
- 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 |
|
- Garcia-Alfaro J.
- Munoz-Tapia J.L.
- Navarro-Arribas G.
- 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 |
|
- Ye K.
- 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 |
|
- Katangur A.
- Zhang L. -J.
|
|
|
25.04.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Netwjrk Science: Proc./7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 2022 |
2022 |
13197 |
|
- Ribeiro P.
- Silva F.
- Mendes J. F.
- 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 |
|
- Gervasi O.
- Murgante B.
- Misra S.
- 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 |
|
- Katzouris N.
- 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 |
|
- Tekinerdogan B.
- Wang Y.
- 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 |
|
- Sachdeva S.
- Watanobe Yu.
- 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 |
|
- Jia W.
- Tang Y.
- Lee R.C. T.
- 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 |
|
- Folstad A.
- Araujo Th.
- Papadopoulos S.
- 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 |
|
- Simkus M.
- 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 |
|
- Bloem R.
- Dimitrova R.
- Fan Ch.
- 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 |
|
- Mutzel P.
- 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 |
|
- Katsikas S.
- Lambrinoudakis C.
- Cuppens N.
- 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 |
|
- Chapman B.
- 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 |
|
- 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 |
|
- 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 |
|
- Xu Ch.
- Xia Y.
- Zhang Y.
- 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 |
|
- Lee K.
- 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 |
|
- Pan Y.
- Mao Z.-H.
- Luo L.
- 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 |
|
- Xu R.
- Cai Ch.
- 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 |
|
- Wei J.
- 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 |
|
- Serhani M.A.
- 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 |
|
- Lai Yo.
- Wang T.
- Jiang M.
- 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 |
|
- Lai Yo.
- Wang T.
- Jiang M.
- 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 |
|
- Lai Yo.
- Wang T.
- Jiang M.
- Xu G.
|
|
|
23.03.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Колмогоров и кибернетика |
2001 |
|
|
- Поспелов Д. А.
- Фет Я. И.
|
ИВМ и МГ СО РАН |
|
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 |
|
- Li B.
- Yue L.
- Jiang J.
- 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 |
|
- Li B.
- Yue L.
- Jiang J.
- 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 |
|
- Sun X.
- Zhang X.
- Xia Zh.
- 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 |
|
- Crimi A.
- 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 |
|
- Han Y. -S.
- 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 |
|
- David D.P.
- Mermoud A.
- 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 |
|
- 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 |
|
- Batina L.
- Picek S.
- Mondal M.
|
|
|
05.03.2022 |
Доступно
1 из 1
Выдать |
|
|
М |
Мой Академгородок 1968. Книга 2 |
2021 |
|
Качан М. С. |
|
|
|
02.03.2022 |
Доступно
1 из 1
Выдать |
|
