Новые поступления с 06.09.2020 по 05.10.2020

Издания

  1. Ubiquitous Networking: Revised Selected Papers/5th International Symposium, UNert 2019, Limoges, France, November 2019/Ed. by Habachi O,, Meghdadi V., Sabir E., Cances J.-P..-Berlin.: Springer, 2020.-Vol. 12293.-257 p.-(Lecture Notes in Computer Science).
  2. Haptics: Science, Technology, Applications: Proc./12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 2020/Ed. by Nisky I., Hartcher-O'Brien J., Wiertlewski M., Smeets J..-Berlin.: Springer, 2020.-Vol. 12272.-557 p.-(Lecture Notes in Computer Science).
  3. Business Process Management: Proc./18th International Conference, BPM 2020, Seville, Spain, September 2020/Ed. by Fahland D., Ghidini Ch., Becker J., Dumas M..-Berlin.: Springer, 2020.-Vol. 12168.-524 p.-(Lecture Notes in Computer Science).
  4. Text, Speech, and Dialogue: Proc./23rd International Conference, TSD 2020, Brno, Czech Republic, September 2020/Ed. by Sojka P., Kopecek I., Pala K., Horak A..-Berlin.: Springer, 2020.-Vol. 12284.-542 p.-(Lecture Notes in Artificial Intelligence).
  5. Scalable Uncertainty Management: Proc./14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 2020/Ed. by Davis J., Tabia K..-Berlin.: Springer, 2020.-Vol. 12322.-297 p.-(Lecture Notes in Artificial Intelligence).
  6. Model-Based Safety and Assessment: Proc./7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 2020/Ed. by Zeller M., Hofig K..-Berlin.: Springer, 2020.-Vol. 12297.-255 p.-(Lecture Notes in Computer Science).
  7. KI 2020: Advances in Artificial Intelligence: Proc./43rd German Conference on AI, Bamberg, Germany, September 2020/Ed. by Schmid U., Klugl F., Wolter D..-Berlin.: Springer, 2020.-Vol. 12325.-360 p.-(Lecture Notes in Artificial Intelligence).
  8. Computers Helping People with Special Needs, Part II: Proc./17th International Conference, ICCHP 2020, Lecco, Italy, September 2020/Ed. by Miesenberger K., Manduchi R., Rodriguez M. C., Penaz P..-Berlin.: Springer, 2020.-Vol. 12377.-493 p.-(Lecture Notes in Computer Science).
  9. Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 2019/Ed. by Camara J., Steffen M..-Berlin.: Springer, 2020.-Vol. 12226.-277 p.-(Lecture Notes in Computer Science).
  10. Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020/Ed. by de Boer F., Cerone A..-Berlin.: Springer, 2020.-Vol. 12310.-325 p.-(Lecture Notes in Computer Science).
  11. Big Data Analytics and Knowledge Discovery: Proc./22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 2020/Ed. by Song M., Song Il-Y., Kotsis G., Tjoa A M..-Berlin.: Springer, 2020.-Vol. 12393.-410 p.-(Lecture Notes in Computer Science).
  12. Wireless Algorithms, Systems, and Applications, Part I: Proc./15th International Conference, WASA 2020, Qingdao, China, September 2020/Ed. by Yu D., Dressler F., Yu J..-Berlin.: Springer, 2020.-Vol. 12384.-838 p.-(Lecture Notes in Computer Science).
  13. Wireless Algorithms, Systems, and Applications, Part II: Proc./15th International Conference, WASA 2020, Qingdao, China, September 2020/Ed. by Yu D., Yu J., Dressler F..-Berlin.: Springer, 2020.-Vol. 12385.-134 p.-(Lecture Notes in Computer Science).
  14. Functional and Logic Programming: Proc./15th International Symposium, FLOPS 2020, Acita Japan, September 2020/Ed. by Nakano K., Sagonas K..-Berlin.: Springer, 2020.-Vol. 12073.-221 p.-(Lecture Notes in Computer Science).
  15. Computer Vision and Graphics: Proc./International Conference, ICCVG 2020, Warsaw, Poland, September 2020/Ed. by Chmielewski L. J., Kozera R., Orlowski A,.-Berlin.: Springer, 2020.-Vol. 12334.-241 p.-(Lecture Notes in Computer Science).
  16. Transactions on Computational Collective Intelligence XXXV/Ed. by Nguyen N. T., Kowalchik R..-Berlin.: Springer, 2020.-Vol. 12330.-171 p.-(Lecture Notes in Computer Science).
  17. Software Architecture: Proc./14th European Conference, ECSA 2020, L'Aquila, Italy, September 2020/Ed. by Jansen A., Malavolta I., Muccini H., Ozkaya I..-Berlin.: Springer, 2020.-Vol. 12292.-370 p.-(Lecture Notes in Computer Science).
  18. Parallel Problem Solving from Nature - PPSN XVI, Part I: Proc./16th International Conference, PPSN 2020, Leiden, The Netherlands, September 2020 /Ed. by Back T., Preuss M., Deutz A., Wang H..-Berlin.: Springer, 2020.-Vol. 12269.-735 p.-(Lecture Notes in Computer Science).
  19. Parallel Problem Solving from Nature - PPSN XVI, Part II: Proc./16th International Conference, PPSN 2020, Leiden, The Netherlands, September 2020/Ed. by Back T., Preuss M., Deutz A., Wang H..-Berlin.: Springer, 2020.-Vol. 12270.-717 p.-(Lecture Notes in Computer Science).
  20. Trends in Artificial Intelligence: Theory and Applications: Artificial Intelligence Practice: Proc./33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 2020/Ed. by Fujita H., Fournier-Viger Ph., Ali M., Sasaki J..-Berlin.: Springer, 2020.-Vol. 12144.-935 p.-(Lecture Notes in Artificial Intelligence).
  21. Modeling Decisions for Artificial Intelligence: Proc./17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2020/Ed. by Torra V., Narukava Ya., Nin J., Agell N..-Berlin.: Springer, 2020.-Vol. 12256.-299 p.-(Lecture Notes in Artificial Intelligence).
  22. Knowledge Science, Engineering and Management, Part I: Proc./13th International Conference, KSEM 2020, Hangzhou, China, August 2020/Ed. by Li G., Shen H. T., Yuan Y., Wang X..-Berlin.: Springer, 2020.-Vol. 12274.-510 p.-(Lecture Notes in Artificial Intelligence).
  23. Knowledge Science, Engineering and Management, Part II: Proc./13th International Conference, KSEM 2020, Hangzhou, China, August 2020/Ed. by Li G., Shen H. T., Yuan Y., Wang X..-Berlin.: Springer, 2020.-Vol. 12275.-484 p.-(Lecture Notes in Artificial Intelligence).
  24. Document Analysis Systems: Proc./14th IAPR International Workshop, DAS 2020, Wuhan, China, July 2020/Ed. by Bai X., Karatzas D., Lopresti D..-Berlin.: Springer, 2020.-Vol. 12116.-588 p.-(Lecture Notes in Computer Science).
  25. Financial Cryptography and Data Security: Revised Selected Papers/FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WITC, Kota Kinabalu, Malaysia, February 2020/Ed. by Bernhard M., Bracciali A., Camp L. J., Matsuo S..-Berlin.: Springer, 2020.-Vol. 12063.-622 p.-(Lecture Notes in Computer Science).
  26. Computer Safety, Reliability, and Security: SAFECOMP 2020 Workshops: Proc./DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 2020/Ed. by Casimiro A., Ortmeier F., Schoitsch E., Bitsch F..-Berlin.: Springer, 2020.-Vol. 12235.-416 p.-(Lecture Notes in Computer Science).
  27. Frontiers in Software Engineering Education: Invited Papers/1st International Workshop, FISEE 2019, Villebrumier, France, November 2019/Ed. by Bruel J. -M., Capozucca A., Mazzara M., Meyer B..-Berlin.: Springer, 2020.-Vol. 12271.-401 p.-(Lecture Notes in Computer Science).
  28. Information Security and Privacy: Proc./25th Australasian Conference, ACISP 2020, Perth,WA.Australia, November 2020/Ed. by Liu J. K., Cui H..-Berlin.: Springer, 2020.-Vol. 12248.-676 p.-(Lecture Notes in Computer Science).
  29. NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020/Ed. by Lee R., Jha S., Mavridou A..-Berlin.: Springer, 2020.-Vol. 12229.-442 p.-(Lecture Notes in Computer Science).
  30. Algorithmic Aspects in Information and Management: Proc./14th International Conference, AAIM 2020, Jinhua, China, August 2020/Ed. by Zhang Zh., Li W., Du D. -Z..-Berlin.: Springer, 2020.-Vol. 12290.-640 p.-(Lecture Notes in Computer Science).
  31. Information Retrieval: Proc./26th China Conference, CCIR 2020, Xi'an, China, August 2020/Ed. by Dou Z., Miao Q., Lu W., Mao J..-Berlin.: Springer, 2020.-Vol. 12285.-161 p.-(Lecture Notes in Computer Science).
  32. Digital Libraries for Open Knowledge: Proc./24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020, Lyon, France, August 2020/Ed. by Hall M., Merčun T., Risse T., Duchateau F..-Berlin.: Springer, 2020.-Vol. 12246.-249 p.-(Lecture Notes in Computer Science).
  33. Structural Information and Communication Complexity: Proc./27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 2020/Ed. by Richa A. W., Scheideler C..-Berlin.: Springer, 2020.-Vol. 12156.-385 p.-(Lecture Notes in Computer Science).
  34. Performance Evaluation and Benchmarking for the Era of Cloud(s): Revised Selected Papers/11th TPC Technology Conference, TPCTC 2019, Los Angeles,CA,USA, August 2019/Ed. by Nambiar R., Poess M..-Berlin.: Springer, 2020.-Vol. 12257.-165 p.-(Lecture Notes in Computer Science).
  35. Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019/Ed. by Bowen J. P., Liu Z., Zhang Z..-Berlin.: Springer, 2020.-Vol. 12154.-221 p.-(Lecture Notes in Computer Science).
  36. Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges/Ed. by Zhao Zh., Hellström M..-Berlin.: Springer, 2020.-Vol. 12003.-373 p.-(Lecture Notes in Computer Science).
  37. Transactions on Computational Science XXXVII: Special Issue on Computer Graphics/Ed. by Gavrilova M. L., Tan C.J. K..-Berlin.: Springer, 2020.-Vol. 12230.-171 p.-(Lecture Notes in Computer Science).
  38. Advances in Cryptology - CRYPTO 2020. Part I: Proc./40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara,CA,USA, August 2020/Ed. by Micciancio D., Ristenpart Th..-Berlin.: Springer, 2020.-Vol. 12170.-870 p.-(Lecture Notes in Computer Science).
  39. Advances in Cryptology - CRYPTO 2020. Part III: Proc./40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara,CA,USA, August 2020/Ed. by Micciancio D., Ristenpart Th..-Berlin.: Springer, 2020.-Vol. 12172.-832 p.-(Lecture Notes in Computer Science).
  40. Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019/Ed. by Sekerinski E., Moreira N., Oliveira J. N..-Berlin.: Springer, 2020.-Vol. 12233.-575 p.-(Lecture Notes in Computer Science).
  41. Advances in Cryptology - CRYPTO 2020. Part II: Proc./40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara,CA,USA, August 2020/Ed. by Micciancio D., Ristenpart Th..-Berlin.: Springer, 2020.-Vol. 12171.-856 p.-(Lecture Notes in Computer Science).
  42. Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019/Ed. by Sekerinski E., Moreira N., Oliveira J. N..-Berlin.: Springer, 2020.-Vol. 12232.-523 p.-(Lecture Notes in Computer Science).
  43. Applied Cryptography and Network Security, Part II: Proc./18th International Conference, ACNS 2020, Rome, Italy, October 2020/Ed. by Conti M., Zhou J., Casalicchio E., Spognardi A..-Berlin.: Springer, 2020.-Vol. 12147.-478 p.-(Lecture Notes in Computer Science).
  44. Privacy Technologies and Policy: Proc./8th Annual Privacy Forum, APF 2020, Lisbon, Portugal, October 2020/Ed. by Antunes L., Naldi M., Italiano G. F., Rannenberg K..-Berlin.: Springer, 2020.-Vol. 12121.-213 p.-(Lecture Notes in Computer Science).
  45. Artificial Intelligence and Security, Part II: Proc./6th International Conference, ICAIS 2020, Hohhot, China, July 2020/Ed. by Sun X., Wang J., Bertino E..-Berlin.: Springer, 2020.-Vol. 12240.-820 p.-(Lecture Notes in Computer Science).
  46. Augmented Reality, Virtual Reality, and Computer Graphics, Part II: Proc./7th International Conference, AVR 2020/Ed. by de Paolis L.T., Bourdot P..-Berlin.: Springer, 2020.-Vol. 12243.-377 p.-(Lecture Notes in Computer Science).
  47. Electronic Government: Proc./19th IFIP WG 8.5 International Conference, EGOV 2020, Linköping, Sweden, August 2020 /Ed. by Pereira G.V., Janssen M., Lee H., Lindgren I..-Berlin.: Springer, 2020.-Vol. 12219.-414 p.-(Lecture Notes in Computer Science).
  48. Computer Safety, Reliability, and Security: Proc./39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 2020/Ed. by Casimiro A., Ortmeier F., Bitsch F., Ferreira F..-Berlin.: Springer, 2020.-Vol. 12234.-450 p.-(Lecture Notes in Computer Science).
  49. Algorithmic Game Theory: Proc./13th International Symposium, SAGT 2020, Augsburg, Germany, September 2020/Ed. by Harks T., Klimm M..-Berlin.: Springer, 2020.-Vol. 12283.-343 p.-(Lecture Notes in Computer Science).
  50. Critical Information Infrastructures Security: Proc./15th International Conference, CRITIS 2020, Bristol, UK, September 2020/Ed. by Rashid A., Popov P..-Berlin.: Springer, 2020.-Vol. 12332.-99 p.-(Lecture Notes in Computer Science).
  51. Collaboration Technologies and Social Computing: Proc./26th International Conference, CollabTech 2020, Tartu, Estonia, September 2020/Ed. by Nolte A., Alvarez C., Hishiyama R., Chounta I.-A..-Berlin.: Springer, 2020.-Vol. 12324.-201 p.-(Lecture Notes in Computer Science).
  52. Coalgebraic Methods in Computer Science: Proc./15th IFIP WG 1.3 International Workshop, CMCS 2020 Colocated with ETAPS 2020, Dublin, Ireland, April 2020/Ed. by Petrişan D., Rot J..-Berlin.: Springer, 2020.-Vol. 12094.-201 p.-(Lecture Notes in Computer Science).
  53. Addressing Global Challenges and Quality Education: Proc./15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 2020/Ed. by Alario-Hoyos C., Rodriguez-Triana M.J., Scheffel M., Arnedillo-Sánchez I..-Berlin.: Springer, 2020.-Vol. 12315.-489 p.-(Lecture Notes in Computer Science).
  54. Ontologies and Concepts in Mind and Machine: Proc./25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 2020/Ed. by Alam M., Braun T., Yun B..-Berlin.: Springer, 2020.-Vol. 12277.-209 p.-(Lecture Notes in Artificial Intelligence).
  55. Advances in Databases and Information Systems: Proc./24th International Conference, ADBIS 2020, Lyon, France, August 2020/Ed. by Darmont J., Novikov B., Wrembel R..-Berlin.: Springer, 2020.-Vol. 12245.-219 p.-(Lecture Notes in Computer Science).
  56. Topics in Theoretical Computer Science: Proc./3rd IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 2020/Ed. by Barbosa L.S., Abam M.A..-Berlin.: Springer, 2020.-Vol. 12281.-117 p.-(Lecture Notes in Computer Science).
  57. Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020/Ed. by Ter Beek M. H., Nickovic D..-Berlin.: Springer, 2020.-Vol. 12327.-289 p.-(Lecture Notes in Computer Science).
  58. Advances in Information and Computer Security: Proc./15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2020/Ed. by Aoki T., Kanaoka A..-Berlin.: Springer, 2020.-Vol. 12231.-303 p.-(Lecture Notes in Computer Science).
  59. Security and Cryptography for Networks: Proc./12th International Conference, SCN 2020, Amalfi, Italy, September 2020/Ed. by Galdi C., Kolesnikov V..-Berlin.: Springer, 2020.-Vol. 12238.-692 p.-(Lecture Notes in Computer Science).
  60. Machine Learning and Knowledge Extraction: Proc./4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 2020/Ed. by Holzinger A., Kieseberg P., Tjoa A M., Weippl E..-Berlin.: Springer, 2020.-Vol. 12279.-552 p.-(Lecture Notes in Computer Science).
  61. Applied Cryptography and Network Security, Part I: Proc./18th International Conference, ACNS 2020, Rome, Italy, October 2020/Ed. by Conti M., Zhou J., Casalicchio E., Spognardi A..-Berlin.: Springer, 2020.-Vol. 12146.-504 p.-(Lecture Notes in Computer Science).
  62. Trends in Functional Programming: Revised Selected Papers/21st International Symposium, TFP 2020, Krakow, Poland, February 2020/Ed. by Byrski A., Hughes J..-Berlin.: Springer, 2020.-Vol. 12222.-249 p.-(Lecture Notes in Computer Science).
  63. Spatial Cognition XII: 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 2020/Ed. by Skilters J., Newcombe N. S., Uttal D..-Berlin.: Springer, 2020.-Vol. 12162.-336 p.-(Lecture Notes in Artificial Intelligence).
  64. Transactions on Large-Scale Data-and Knowledge-Centered Systems XLIIII/Ed. by Hameurlain A., Tjoa A M..-Berlin.: Springer, 2020.-Vol. 12130.-139 p.-(Lecture Notes in Computer Science).
  65. Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020/Ed. by Bertrand N., Jansen N..-Berlin.: Springer, 2020.-Vol. 12288.-301 p.-(Lecture Notes in Computer Science).
  66. Artificial Intelligence: IJCAI 2019 International Workshops: Revised Selected Best Papers/ Macao, China, August 2019/Ed. by Seghrouchni A.E. F., Sarne D..-Berlin.: Springer, 2020.-Vol. 12158.-257 p.-(Lecture Notes in Artificial Intelligence).
  67. Algorithmic Aspects of Cloud Computing: Revised Selected Papers/5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 2019/Ed. by Brandic I., Genez T.A.L., Pietri I., Sakellariou R..-Berlin.: Springer, 2020.-Vol. 12041.-161 p.-(Lecture Notes in Computer Science).
  68. Computing and Combinatorics: Proc./26th International Conference, COCOON 2020, Atlanta,GA,USA, August 2020/Ed. by Kim D., Uma R.N., Cai Zh., Lee D. H..-Berlin.: Springer, 2020.-Vol. 12273.-678 p.-(Lecture Notes in Computer Science).
  69. Security Protocols XXVII: Revised Selected Papers/27th International Workshop, Cambridge, UK, April 2019/Ed. by Anderson J., Stajano F., Christianson B., Matyas V..-Berlin.: Springer, 2020.-Vol. 12287.-313 p.-(Lecture Notes in Computer Science).
  70. Privacy in Statistical Databases: Proc./UNESCO Chair in Data Privacy, International Conference, PSD 2020, Tarragona, Spain, September 2020/Ed. by Domingo-Ferrer J., Muralidhar K..-Berlin.: Springer, 2020.-Vol. 12276.-370 p.-(Lecture Notes in Computer Science).
  71. Euro-Par 2020: Parallel Processing: Proc./26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 2020/Ed. by Malawski M., Rzadca K..-Berlin.: Springer, 2020.-Vol. 12247.-646 p.-(Lecture Notes in Computer Science).
  72. Electronic Government and the Information Systems Perspective: Proc./International Conference, EGOVIS 2020, Bratislava, Slovakia, September 2020/Ed. by Ko A., Francesconi E., Kotsis G., Tjoa A M..-Berlin.: Springer, 2020.-Vol. 12394.-235 p.-(Lecture Notes in Computer Science).
  73. Artificial Intelligence and Security, Part I: Proc./6th International Conference, ICAIS 2020, Hohhot, China, July 2020/Ed. by Sun X., Wang J., Bertino E..-Berlin.: Springer, 2020.-Vol. 12239.-828 p.-(Lecture Notes in Computer Science).
  74. Augmented Reality, Virtual Reality, and Computer Graphics, Part I: Proc./7th International Conference, AVR 2020/Ed. by de Paolis L.T., Bourdot P..-Berlin.: Springer, 2020.-Vol. 12242.-473 p.-(Lecture Notes in Computer Science).
  75. Artificial Neural Networks in Pattern Recognition: Proc./9th IAPR TC3 Workshop, ANNPR 2020, Winterthur, Switzerland, September 2020/Ed. by Schilling F.-P., Stadelmann Th..-Berlin.: Springer, 2020.-Vol. 12294.-306 p.-(Lecture Notes in Artificial Intelligence).
  76. OpenMP: Portable Multi-Level Parallelism on Modern Systems: Proc./16th International Workshop on OpenMP, IWOMP 2020, Austin,TX,USA, September 2020/Ed. by Milfeld K., de Supinski B. R., Koesterke L., Klinkenberg J..-Berlin.: Springer, 2020.-Vol. 12295.-344 p.-(Lecture Notes in Computer Science).
  77. Experimental IR Meets Multilinguality, Multimodality, and Interaction: Proc./11th International Conference of the CLEF Association, CLEF 2020, Thessaloniki, Greece, September 2020/Ed. by Arampatzis A., Kanoulas E., Tsikrika T., Vrochidis S..-Berlin.: Springer, 2020.-Vol. 12260.-399 p.-(Lecture Notes in Computer Science).
  78. Electronic Participation: Proc./12th IFIP WG 6.5 International Conference, ePart 2020, Linköping, Sweden, August 2020/Ed. by Hofmann S., Csaki C., Edelmann N., Lampoltshammer Th..-Berlin.: Springer, 2020.-Vol. 12220.-147 p.-(Lecture Notes in Computer Science).
  79. Bioinformatics Research and Applications: Proc./16th International Symposium, ISBRA 2020, Moscow, Russia, December 2020/Ed. by Cai Z., Mandoiu I., Narasimhan G., Skums P..-Berlin.: Springer, 2020.-Vol. 12304.-418 p.-(Lecture Notes in Bioinformatics).
  80. Rules and Reasoning: Proc./4th International Joint Conference, RuleML+RR 2020, Oslo, Norwey, June 2020/Ed. by Gutierrez-Basulto V., Kliegr T., Soylu A., Giese M..-Berlin.: Springer, 2020.-Vol. 12173.-187 p.-(Lecture Notes in Computer Science).

Журналы

  1. Наука и жизнь, №9 (2020)
  2. Программирование, №5 (2020)