|
СБ |
Programming Languages and Systems: Proc./30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021 |
2021 |
12648 |
|
- Yoshida N.
|
|
|
16.04.2021 |
Выдать |
|
СБ |
Agents and Artificial Intelligence: Revised Selected Papers/12th International Conference, ICAART 2020, Valletta, Malta, February 2020 |
2021 |
12613 |
|
- Rocha A. P.
- Steels L.
- van den Herik J.
|
|
|
16.04.2021 |
Выдать |
|
Д |
Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями |
2020 |
|
Мордвинов Д. А. |
|
|
|
15.04.2021 |
Выдать |
|
СБ |
PRIMA 2020: Principles and Practice of Multi-Agent Systems: Proc./23rd International Conference, Nagoya, Japan, November 2020 |
2021 |
12568 |
|
- Uchiya T.
- Bai Q.
- Maestre I.M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Pattern Recognition: ICPR International Workshops and Challenges, Part VIII: Proc./Virtual Event, January 2021 |
2021 |
12668 |
|
- Del Bimbo A.
- Cucchiara R.
- Sclaroff S.
- Farinella G. M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Pattern Recognition: ICPR International Workshops and Challenges, Part VII: Proc./Virtual Event, January 2021 |
2021 |
12667 |
|
- Del Bimbo A.
- Cucchiara R.
- Sclaroff S.
- Farinella G. M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Pattern Recognition: ICPR International Workshops and Challenges, Part V: Proc./Virtual Event, January 2021 |
2021 |
12665 |
|
- Del Bimbo A.
- Cucchiara R.
- Sclaroff S.
- Farinella G. M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Pattern Recognition: ICPR International Workshops and Challenges, Part IV: Proc./Virtual Event, January 2021 |
2021 |
12664 |
|
- Del Bimbo A.
- Cucchiara R.
- Sclaroff S.
- Farinella G. M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Pattern Recognition: ICPR International Workshops and Challenges, Part III: Proc./Virtual Event, January 2021 |
2021 |
12663 |
|
- Del Bimbo A.
- Cucchiara R.
- Sclaroff S.
- Farinella G. M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Pattern Recognition: ICPR International Workshops and Challenges, Part II: Proc./Virtual Event, January 2021 |
2021 |
12662 |
|
- Del Bimbo A.
- Cucchiara R.
- Sclaroff S.
- Farinella G. M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Pattern Recognition: ICPR International Workshops and Challenges, Part I: Proc./Virtual Event, January 2021 |
2021 |
12661 |
|
- Del Bimbo A.
- Cucchiara R.
- Sclaroff S.
- Farinella G. M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Secure IT Systems: Proc./25th Nordic Conference, NordSec 2020, Virtual Event, November 2020 |
2021 |
12556 |
|
- Asplund M.
- Nadjm-Tehrani S.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Machine Learning for Networking: Revised Selected Papers/3rd International Conference, MLN 2020, Paris, France, November 2020 |
2021 |
12629 |
|
- Renault E.
- Boumerdassi S.
- Muhlethaler P.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Graph Drawing and Network Visualization: Revised Selected Papers/28th International Symposium, GD 2020, Vancouver,BC,Canada, September 2020 |
2021 |
12590 |
|
- Auber D.
- Valtr P.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Resilience in the Digital Age |
2021 |
12660 |
|
- Roberts F. S.
- Sheremet I.A.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Language and Automata Theory and Applications: Proc./15th International Conference, LATA 2021, Milan, Italy, March 2021 |
2021 |
12638 |
|
- Leporati A.
- Martin-Vide C.
- Shapira D.
- Zandron C.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Parallel and Distributed Computing, Applications and Technologies: Proc./21st International Conference, PDCAT 2020, Shenzhen, China, December 2020 |
2021 |
12606 |
|
- Zhang Y.
- Xu Y.
- Tian H.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020 |
2021 |
12561 |
|
- Fernandez M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Variable Neighborhood Search: Proc./8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 2021 |
2021 |
12559 |
|
- Mladenović N.
- Sleptchenko A.
- Sifaleras A.
- Omar M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Heterogeneous Data Management, Polystores, and Analytics for Healthcare: Revised Selected Papers/VLDB Workshops, Poly 2020 and DMAH 2020, Virtual Event, August 2020 |
2021 |
12633 |
|
- Gadepally V.
- Mattson T. G.
- Stonebraker M.
- Kraska T.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
From Data to Models and Back: Revised Selected Papers/9th International Symposium, DataMod 2020, Virtual Event, October 2020 |
2021 |
12611 |
|
- Bowles J.
- Broccia G.
- Nanni M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
MDATA: A New Knowledge Representation Model: Theory, Methods and Applications |
2021 |
12647 |
|
- Jia Y.
- Gu Zh.
- Li A.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Modelling and Simulation for Autonomous Systems: Revised Selected Papers/7th International Conference, MESAS 2020, Prague, Czech Republic, October 2020 |
2021 |
12619 |
|
- Mazal J.
- Fagiolini A.
- Vasik P.
- Turi M.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Algorithms and Discrete Applied Mathematics: Proc./7th International Conference, CALDAM 2021, Rupnagar, India, February 2021 |
2021 |
12601 |
|
- Mudgal A.
- Subramanian C. R.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Digital Forensics and Watermarking: Revised Selected Papers/19th International Workshop, IWDW 2020, Melbourne,VIC,Australia, November 2020 |
2021 |
12617 |
|
- Zhao X.
- Shi Y. -Q.
- Piva A.
- Kim H. J.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Risk and Security of Internet and Systems: Revised Selected Papers/15th International Conference, CRiSIS 2020, Paris, France, November 2020 |
2021 |
12528 |
|
- Garcia-Alfaro J.
- Leneutre J.
- Cuppens N.
- Yaich R.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
SOFSEM 2021: Theory and Practice of Computer Science: Proc./47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 2021 |
2021 |
12607 |
|
- Bures T.
- Dondi R.
- Gamper J.
- Guerrini G.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Databases Theory and Application: Proc./32nd Australasian Database Conference, ADC 2021, Dunedin, New Zealand, January 2021 |
2021 |
12610 |
|
- Qiao M.
- Vossen G.
- Wang S.
- Li L.
|
|
|
15.04.2021 |
Выдать |
|
СБ |
Intelligent Human Computer Interaction, Part II: Proc./12th International Conference, IHCI 2020, Daegu, South Korea, November 2020 |
2021 |
12616 |
|
- Singh M.
- Kang D.-K.
- Lee J. -H.
- Tiwary U.S.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Intelligent Human Computer Interaction, Part I: Proc./12th International Conference, IHCI 2020, Daegu, South Korea, November 2020 |
2021 |
12615 |
|
- Singh M.
- Kang D.-K.
- Lee J. -H.
- Tiwary U.S.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Chatbot Research and Design: Revised Selected Papers/4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 2020 |
2021 |
12604 |
|
- Folstad A.
- Araujo Th.
- Papadopoulos S.
- Law E.L.-Ch.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
WALCOM: Algorithms and Computation: Proc./15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 2021 |
2021 |
12635 |
|
- Uehara R.
- Hong S. -H.
- Nandy S. C.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Smart Card Research and Advanced Applications: Revised Selected Papers/19th International Conference, CARDIS 2020, Virtual Event, November 2020 |
2021 |
12609 |
|
- Liardet P.-Yv.
- Mentens N.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Statistical Atlases and Computational Models of the Heart: M&Ms and EMIDEC Challenges: Revised Selected Papers/11th International Workshop, STACOM 2020Held in Conjunction with MICCAI 2020, Lima, Peru, October 2020 |
2021 |
12592 |
|
- Anton E.P.
- Pop M.
- Sermesant M.
- Campello V.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Modelling, Analysis, and Simulation of Computer and Telecommunication Systems: Revised Selected Papers/28th International Symposium, MASCOTS 2020, Nice, France, November 2020 |
2021 |
12527 |
|
- Calzarossa M. C.
- Gelenbe E.
- Grochla K.
- Lent R.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Information Security and Cryptology - ICISC 2020: Proc./23rd International Conference, Seoul, South Korea, December 2020 |
2021 |
12593 |
|
- Hong D.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Security, Privacy, and Anonymity in Computation, Communication, and Storage: Proc./SpaCCS 2020 International Workshops, Nanjing, China, December 2020 |
2021 |
12383 |
|
- Wang G.
- Chen B.
- Li W.
- Di Pietro R.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Security, Privacy, and Anonymity in Computation, Communication, and Storage: Proc./13th International Conference, SpaCCS 2020, Nanjing, China, December 2020 |
2021 |
12382 |
|
- Wang G.
- Chen B.
- Li W.
- Di Pietro R.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Advanced Visual Interfaces: Supporting Artificial Intelligence and Big Data Applications: Revised Selected Papers/AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy. June 2020 and September 2020 |
2021 |
12585 |
|
- Reis Th.
- Bornschlegl M. X.
- Angelini M.
- Hemmje M. L.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Arithmetic of Finite Fields: Revised Selected and Invited Papers/8th International Workshop, WAIFI 2020, Rennes, France, July 2020 |
2021 |
12542 |
|
- Bajard J.C.
- Topuzoğlu A.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Reflections on Artificial Intelligence for Humanity |
2021 |
12600 |
|
- Ghallab M.
- Braunschweig B.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Adwances in Cryptology - ASIACRYPT 2020, Part I: Proc./26th International Conference on the Theory and Application Of Cryptology and Information Security, Daejeon, South Korea, December 2020 |
2021 |
12491 |
|
- Moriai S.
- Wang H.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Computer Vision - ECCV 2020 Workshops, Part III: Proc./Glasgow, UK, August 2020 |
2020 |
12537 |
|
- Bartoli A.
- Fusiello A.
|
|
|
26.03.2021 |
Выдать |
|
СБ |
Innovative Security Solutions for Information Technology and Communications: Revised Selected Papers/13th International Conference, SecTC 2020, Bucharest, Romania, November 2020 |
2021 |
12596 |
|
- Maimut D.
- Oprina A.-G.
- Sauveron D.
|
|
|
24.03.2021 |
Выдать |
|
СБ |
Constructive Side-Channel Analysis and Secure Design: Revised Selected Papers/11th International Workshop, COSADE 2020, Lugano, Switzerland, April 2020 |
2021 |
12244 |
|
- Bertoni G.
- Regazzoni F.
|
|
|
24.03.2021 |
Выдать |
|
М |
Мой Академгородок 1959-1967, Книга 1 |
2021 |
|
Качан М. С. |
|
|
|
16.03.2021 |
Выдать |
|
СБ |
Natural Language Processing and Chinese Computing, Part I: Proc./9th CCF International Conference, NLPCC 2020 |
2020 |
12430 |
|
- Zhu X.
- Zhang M.
- Hong Yu.
- He R.
|
|
|
15.03.2021 |
Выдать |
|
СБ |
Pattern Recognition and Computer Vision, Part III: Proc./3rd Chinese Conference, PRCV 2020, Nanjing, China, October 2020 |
2020 |
12307 |
|
- Peng Y.
- Liu Q.
- Lu H.
- Sun Z.
|
|
|
15.03.2021 |
Выдать |
|
СБ |
Adwances in Cryptology - ASIACRYPT 2020, Part III: Proc./26th International Conference on the Theory and Application Of Cryptology and Information Security, Daejeon, South Korea, December 2020 |
2020 |
12493 |
|
- Moriai S.
- Wang H.
|
|
|
15.03.2021 |
Выдать |
|
СБ |
Adwances in Cryptology - ASIACRYPT 2020, Part II: Proc./26th International Conference on the Theory and Application Of Cryptology and Information Security, Daejeon, South Korea, December 2020 |
2020 |
12492 |
|
- Moriai S.
- Wang H.
|
|
|
15.03.2021 |
Выдать |
