|
М |
Origins of Programming: Discourses on Methodology |
1990 |
|
Ershov A. P. |
|
|
|
28.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Pattern Recognition: Proc./43rd DAGM German Conference, DAGM GCPR 2021, Bonn, Germany, September 2021 |
2021 |
13024 |
|
- Bauckhage Ch.
- Gall J.
- Schwing A.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: Revised Selected Papers/25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 2021 |
2021 |
12702 |
|
- Tavares J.M.R. S.
- Papa J.P.
- Hidalgo M.G.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Distributed Computing and Intelligent Technology: Proc./18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 2022 |
2022 |
13145 |
|
- Bapi R.
- Kulkarni S.
- Mohalik S.
- Peri S.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Web and Internet Economics: Proc./17th International Conference, WINE 2021, Potsdam, Germany, December 2021 |
2022 |
13112 |
|
- Feldman M.
- Fu H.
- Talgam-Cohen I.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Diabetic Foot Ulcers Grand Challenge: Proc./2nd Challenge, DFUC 2021 Held in Conjunction with MICCAI 2021, Strasbourg, France, October 2021 |
2022 |
13183 |
|
- Yap M.H.
- Cassidy B.
- Kendrick C.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Digital Forensics and Watermarking: Revised Selected Papers/20th International Workshop, IWDW 2021, Beijing, China, November 2021 |
2022 |
13180 |
|
- Zhao X.
- Piva A.
- Comesana-Alfaro P.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Emerging Technologies for Authorization and Authentication: Revised Selected Papers/4th International Workshop, ETAA 2021, Darmstadt, Germany, October 2021 |
2021 |
13136 |
|
- Saracino A.
- Mori P.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Practical Aspects of Declarative Languages: Proc./24th International Symposium, PADL 2022, Philadelphia,PA,USA, January 2022 |
2022 |
13165 |
|
- Cheney J.
- Perri S.
|
|
|
15.02.2022 |
Доступно
0 из 1
|
Городняя Л. В.
Принять |
|
СБ |
Cyberspace Safety and Security: Proc./13th International Symposium, CSS 2021, Virtual Event, November 2021 |
2022 |
13172 |
|
- Meng W.
- Conti M.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Network and System Security: Proc./15th International Conference, NSS 2021, Tianjin, China, October 2021 |
2021 |
13041 |
|
- Yang M.
- Chen Ch.
- Liu Y.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Security and Trust Management: Proc./17th International Workshop, STM 2021, Darmstadt, Germany, October 2021 |
2021 |
13075 |
|
- Roman R.
- Zhou J.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Communication Technologies for Vehicles: Revised Selected Papers/16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 2021 |
2021 |
13120 |
|
- Garcia-Loygorri J. M.
- Perez-Yuste A.
- Berbineau M.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Statistical Atlases and Computational Models of the Heart: Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge: Revised Selected Papers/12th International Workshop, STACOM 2021 Held in Conjunction with MICCAI 2021, Strasbourg, France, October 2021 |
2022 |
13131 |
|
- Anton E.P.
- Pop M.
- Martin-Isla C.
- Sermesant M.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Performance Evaluation and Benchmarking: Revised Selected Papers/13th TPC TC 2021, Copenhagen, Denmark, August 2021 |
2022 |
13169 |
|
- Nambiar R.
- Poess M.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Network and Parallel Computing: Proc./18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 2021 |
2022 |
13152 |
|
- Cerin Ch.
- Qian D.
- Gaudiot J. -L.
- Tan G.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021 |
2021 |
13085 |
|
- Calinescu R.
- Pasareanu C. S.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022 |
2022 |
13182 |
|
- Finkbeiner B.
- Wies T.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Algorithms and Discrete Applied Mathematics: Proc./8th International Conference, CALDAM 2022, Puducherry, India, February 2022 |
2022 |
13179 |
|
- Balachandran N.
- Inkulu R.
|
|
|
15.02.2022 |
Доступно
0 из 1
|
Шелехов В. И.
Принять |
|
СБ |
Artificial Intelligence, Part II: Proc./1st CAAL International Conference, CICAI 2021, Hangzhou, China, June 2021 |
2021 |
13070 |
|
- Fang L.
- Chen Y.
- Zhai G.
- Wang J.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Artificial Intelligence, Part I: Proc./1st CAAL International Conference, CICAI 2021, Hangzhou, China, June 2021 |
2021 |
13069 |
|
- Fang L.
- Chen Y.
- Zhai G.
- Wang J.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Multi-Agent-Based Simulation XXII: Revised Selected Papers/22nd International Workshop, MABS 2021, Virtual Event, May 2021 |
2022 |
13128 |
|
- Van Dam K.H.
- Verstaevel N.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Distributed Artificial Intelligence: Proc./3rd International Conference, DAI 2021, Shanghai, China, December 2021 |
2022 |
13170 |
|
- Chen J.
- Lang J.
- Amato Ch.
- Zhao D.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Artificial General Intelligence: Proc./14th International Conference, AGI 2021, Palo Alto,CA,USA, October 2021 |
2022 |
13154 |
|
- Goertzel B.
- Ikle M.
- Potapov A.
|
|
|
15.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Применение логики в науке и технике |
1960 |
|
|
|
АН СССР, Институт философии АН СССР |
|
07.02.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Алексей Андреевич Ляпунов |
2001 |
|
|
- Ляпунова Н. А.
- Фет Я. И.
|
ИВМ и МГ СО РАН, СО РАН |
|
27.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Алексей Андреевич Ляпунов. 100 лет со дня рождения |
2011 |
|
|
- Ляпунова Н. А.
- Фет Я. И.
|
ИВМ и МГ СО РАН, ИВТ СО РАН, НГУ, СО РАН |
|
27.01.2022 |
Доступно
1 из 1
Выдать |
|
|
М |
Машина Поста, изд. 3. Книга для школьников и не только! |
2021 |
|
Успенский В. А. |
|
|
|
27.01.2022 |
Доступно
1 из 1
Выдать |
|
|
М |
Элементарная геометрия |
1977 |
|
Погорелов А.В. |
|
|
|
18.01.2022 |
Доступно
1 из 1
Выдать |
|
|
М |
Основания геометрии |
1979 |
|
Погорелов А.В. |
|
|
|
18.01.2022 |
Доступно
1 из 1
Выдать |
|
|
М |
Дифференциальная геометрия |
1969 |
|
Погорелов А.В. |
|
|
|
18.01.2022 |
Доступно
1 из 1
Выдать |
|
|
М |
Аналитическая геометрия |
1968 |
|
Погорелов А.В. |
|
|
|
18.01.2022 |
Доступно
1 из 1
Выдать |
|
|
М |
Геометрия |
1983 |
|
Погорелов А.В. |
|
|
|
18.01.2022 |
Доступно
0 из 1
|
Книги, списанные У. Ч.
Принять |
|
М |
Лекции по теории обыкновенных дифференциальных уравнений |
1952 |
|
Петровский И.Г. |
|
|
|
18.01.2022 |
Доступно
0 из 1
|
Книги, списанные У. Ч.
Принять |
|
СБ |
Advances in Cryptology - ASIACRYPT 2021, Part IV: Proc./27th International Conference on the Theory and Application of Cryptology and Information Security: Singapore, December 2021 |
2021 |
13093 |
|
- Tibouchi M.
- Wang H.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Advances in Cryptology - ASIACRYPT 2021, Part III: Proc./27th International Conference on the Theory and Application of Cryptology and Information Security: Singapore, December 2021 |
2021 |
13092 |
|
- Tibouchi M.
- Wang H.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Advances in Cryptology - ASIACRYPT 2021, Part II: Proc./27th International Conference on the Theory and Application of Cryptology and Information Security: Singapore, December 2021 |
2021 |
13091 |
|
- Tibouchi M.
- Wang H.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Advances in Cryptology - ASIACRYPT 2021, Part I: Proc./27th International Conference on the Theory and Application of Cryptology and Information Security: Singapore, December 2021 |
2021 |
13090 |
|
- Tibouchi M.
- Wang H.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Information Systems Security: Proc./17th International Conference, ICISS 2021, Patna, India, December 2021 |
2021 |
13146 |
|
- Tripathy S.
- Shyamasundar R. K.
- Ranjan R.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Transactions on Computational Collective Intelligence XXXVI |
2021 |
13010 |
|
- Nguyen N. T.
- Kowalczyk R.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Progress in Cryptology - INDOCRYPT 2021: Proc./22nd International Conference on Cryptology in India, Jaipur, India, December 2021 |
2021 |
13143 |
|
- Adhikari A.
- Kusters R.
- Preneel B.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Economics of Grids, Clouds, Systems, and Services: Proc./18th International Conference, GECON 2021, Virtual Event, September 2021 |
2021 |
13072 |
|
- Tserpes K.
- Altmann J.
- Banares J. A.
- Ben-Yehuda O.A.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Towards Open and Trustworthy Digital Societies: Proc./23rd International Conference on Asia-Pacific Digital Libraries, ICADL 2021, Virtual Event, December 2021 |
2021 |
13133 |
|
- Ke H.-R.
- Lee C. S.
- Sugiyama K.
|
|
|
14.01.2022 |
Доступно
0 из 1
|
Крайнева И. А.
Принять |
|
СБ |
Learning and Intelligent Optimization: Revised Selected Papers/15th International Conference, LION 15, Athens, Greece, June 2021 |
2021 |
12931 |
|
- Simos D. E.
- Pardalos P. M.
- Kotsireas I. S.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Advances in Visual Computing, Part II: Proc./16th International Symposium, ISVC 2021, Virtual Event, October 2021 |
2021 |
13018 |
|
- Bebis G.
- Athitsos V.
- Yan T.
- Lau M.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Advances in Visual Computing, Part I: Proc./16th International Symposium, ISVC 2021, Virtual Event, October 2021 |
2021 |
13017 |
|
- Bebis G.
- Athitsos V.
- Yan T.
- Lau M.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Rules and Reasoning: Proc./5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 2021 |
2021 |
12851 |
|
- Moschoyiannis S.
- Penaloza R.
- Vanthienen J.
- Soylu A.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Networked Systems: Proc./9th International Conference, NETYS 2021, Virtual Event, May 2021 |
2021 |
12754 |
|
- Echihabi K.
- Meyer R.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Cryptology and Network Security: Proc./20th International Conference, CANS 2021, Vienna, Austria, December 2021 |
2021 |
13099 |
|
- Conti M.
- Stevens M.
- Krenn S.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
|
СБ |
Cryptography and Coding: Proc./18th IMA International Conference, IMACC 2021, Virtual Event, December 2021 |
2021 |
13129 |
|
- Paterson M.
|
|
|
14.01.2022 |
Доступно
1 из 1
Выдать |
|
