Вы здесь

Поступление с 28.02.2020 по 13.07.2020

Издания: 
  1. Numerical Computations: Theory and Algorithms, Part II: Revised Selected Papers/3rd International Conference, NUMTA 2019, Crotone, Italy, June 2019
  2. Лингвистическое и алгоритмическое обеспечение процесса информационного поиска на основе грамматики связей, в том числе для тюркских языков
  3. Лингвистическое и алгоритмическое обеспечение процесса информационного поиска на основе грамматики связей, в том числе для тюркских языков
  4. Анализ структурных данных аномальных процессов переноса
  5. Анализ структурных данных аномальных процессов переноса
  6. Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020
  7. Language and Automata Theory and Applications: Proc./14th International Conference, LATA 2020, Milan, Italy, March 2020
  8. Optical Network Design and Modeling: Proc./23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 2019
  9. Risks and Security of Internet and Systems: Proc./13th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 2019
  10. From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement
  11. Numerical Computations: Theory and Algorithms, Part I: Revised Selected Papers/3rd International Conference, NUMTA 2019, Crotone, Italy, June 2019
  12. Advances Concepts for Intelligent Vision Systems: Proc./20th International Conference, ACIVS 2020, Auckland, New Zealand, February 2020
  13. Emerging Technologies for Education: Revised Selected Papers/4th International Symposium, SETE 2019 Held in Conjunction with ICWL 2019, Magdeburg, Germany, September 2019
  14. Information Security and Cryptology - ICISC 2019: Revised Selected Papers/22nd International Conference, Seoul, South Korea, December 2019
  15. Large-Scale Scientific Computing: Revised Selected Papers/12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 2019
  16. On the Move to Meaningful Internet Systems: OTM 2019 Workshops: Revised Selected Papers/Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 2019
  17. Formal Aspects of Component Software: Proc./16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 2019
  18. Semantic Technology: Proc./9th International Conference, JIST 2019, Hangzhou, China, November 2019
  19. Pattern Recognition, Part II: Revised Selected Papers/5th Asian Conference, ACPR 2019, Auckland, New Zealand, November 2019
  20. Computer Security: Revised Selected Papers/ ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 2019
  21. Transactions on Computational Science XXXV: Special Issue on Signal Processing and Security in Distributed Systems
  22. Information Retrieval Technology: Proc./15th International Retrieval Societies Conference, AIRS 2019, Hong Kong, China, November 2019
  23. Complexity and Approximation: in Memory of Ker-i Ko
  24. Pattern Recognition, Part I: Revised Selected Papers/5th Asian Conference, ACPR 2019, Auckland, New Zealand, November 2019
  25. Information Security. Theory and Practice: Proc./13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 2019
  26. Cyber Physical Systems: Model-Based Design: Revised Selected Papers/9th International Workshop, CyPhy 2019 and 15th International Workshop, WESE 2019, Ney York City,NY,USA, October 2019
  27. Smart Card Research and Advanced Applications: Revised Selected Papers/18th International Conference, CARDIS 2019, Prague, Czech Republic, November 2019
  28. Information and Communications Security: Revised Selected Papers/21st International Conference, ICICS 2019, Beijing, China, December 2019
  29. Computer Security: Revised Selected Papers/ ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 2019
  30. Computational Processing of the Portuguese Language: Proc./14th International Conference, PROPOR 2020, Evora, Portugal, March 2020
  31. Radiomics and Radiogenomics in Neuro-oncology: Proc./1st International Workshop, RNO-AI 2019 Held in Conjunction with MICCAI 2019, Shenzhen, China, October 2019
  32. Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019
  33. Data Science: Revised Selected Papers/6th International Conference, ICDS 2019, Ningbo, China, May 2019
  34. Innovative Security Solutions for Information Technology and Communications: Revised Selected Papers/12th International Conference, SecITC 2019, Bucharest, Romania, November 2019
  35. Mathematical Aspects of Computer and Information Sciences: Revised Selected Papers/8th International Conference, MACIS 2019, Gebze, Turkey, November 2019
  36. Measurement, Modelling and Evaluation of Computing Systems: Proc./20th International Conference, MMB 2020, Saarbrücken, Germany, March 2020
  37. Intelligent Information and Database Systems, Part I: Proc./12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 2020
  38. Intelligent Information and Database Systems, Part II: Proc./12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 2020
  39. Algorithms for Computational Biology: Proc./7th International Conference, ALCoB 2020, Missoula,MT,USA, April 2020
  40. Конституция Российской Федерации: Принята всенародным голосованием 12 декабря 1993 года
  41. Parallel Processing and Applied Mathematics, Part II: Revised Selected Papers/13th International Workshop, PPAM 2019, Bialystok, Poland, September 2019
  42. Evolutionary Computation in Combinatorial Optimization: Proc./20th European Conference, EvoCOP 2020 Held as Part of EvoStar 2020, Seville, Spain, April 2020
  43. Parallel Processing and Applied Mathematics, Part I: Revised Selected Papers/13th International Workshop, PPAM 2019, Bialystok, Poland, September 2019
  44. Real VR - Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays
  45. Financial Cryptography and Data Security: Revised Selected Papers/FC 2019 International Workshops, VOTING and WTSC, St.Kitts, St.Kitts and Nevis, February 2019
  46. Requirements Engineering: Foundation for Software Quality: Proc./26th International Working Conference, REFSQ 2020, Pisa, Italy, March 2020
  47. Digital Forensics and Watermarking: International Workshop, IWDW 2019, Chengdu, China, November 2019
  48. Computing and Software Science: State of the Art and Perspectives
  49. Applications of Evolutionary Computation: Proc./23rd European Conference, EvoApplication 2020, Held as Part of EvoStar 2020, Seville, Spain, April 2020
  50. Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
  51. Sustainable Digital Communities: Proc./15th International Conference, iConference 2020, Boras, Sweden, March 2020
  52. Genetic Programming: Proc./23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 2020
  53. Passive and Active Measurement: Proc./21st International Conference, PAM 2020, Eugene,Oregon,USA, March 2020
  54. Modelling and Simulation for Autonomous Systems: Revised Selected Papers/6th International Conference, MESAS 2019, Palermo, Italy, October 2019
  55. Fundamental Approaches to Software Engineering: Proc./23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
  56. Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
  57. Machine Learning for Networking: Revised Selected Papers/2nd IFIP TC 6 International Conference, MLN 2019, Paris, France, December 2019
  58. Artificial Intelligence in Music, Sound, Art and Design: Proc./9th International Conference, EvoMUSART 2020 Held as Part of EvoStar 2020, Seville, Spain, April 2020
  59. Service-Oriented Computing - ICSOC 2019 Workshops: Revised Selected Papers/WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 2019
  60. Service-Oriented and Cloud Computing: Proc./8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 2020
  61. Computational Complexity and Property Testing: On the Interplay between Randomness and Computation
  62. Persuasive Technology: Designing for Future Change: Proc./15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 2020
  63. Variable Neighborhood Search: Revised Selected Papers/7th International Conference, ICVNS 2019, Rabat, Morocco, October 2019
  64. Transactions on Computational Science XXXVI
  65. Computer Performance Engineering: Revised Selected Papers/16th European Workshop, EPEW 2019, Milan, Spain, November 2019
  66. Relational and Algebraic Methods in Computer Science: Proc./18th International Conference, RAMiCS 2020, Palaiseau, France, April 2020
  67. Post-Quantum Cryptography: Proc./11th International Conference, PQCrypto 2020, Paris, France, April 2020
  68. Responsible Design, Implementation and Use of Information and Communication Technology, Part II: Proc./19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 2020
  69. Public-Key Cryptography - PKC 2020, Part II: Proc./23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 2020
  70. Advances in Information Retrieval, Part II: Proc./42nd European Conference on IR Research, ECIR 2020, Lisbin, Portugal, April 2020
  71. Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WELP, Cottbus, Germany, September 2019,
  72. Foundations and Practice of Security: Revised Selected Papers/12th International Symposium, FPS 2019, Toulouse, France, November 2019
  73. Advances in Intelligent Data Analysis XVIII: Proc./18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 2020
  74. Transactions on Edutainment XVI
  75. Responsible Design, Implementation and Use of Information and Communication Technology, Part I: Proc./19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 2020
  76. Public-Key Cryptography - PKC 2020, Part I: Proc./23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 2020
  77. Advances in Information Retrieval, Part I: Proc./42nd European Conference on IR Research, ECIR 2020, Lisbin, Portugal, April 2020
  78. Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
  79. Information Security and Cryptology: Revised Selected Papers/15th International Conference, Inscrypt 2019, Nanjing, China, December 2019
  80. Integer Programming and Combinatorial Optimization: Proc./21st International Conference, IPCO 2020, London, UK, June 2020
  81. Logic and Argumentation: Proc./3rd International Conference, CLAR 2020, Hangzhou, China, April 2020
  82. Intelligent Human Computer Interaction: Proc./11th International Conference, IHCI 2019, Allahabad, India, December 2019
  83. Computer Aided Systems Theory - EUROCAST 2019, Part I: Revised Selected Papers/17th International Conference, Las Palmas de Gran Canaria, Spain, February 2019
  84. Computer Aided Systems Theory - EUROCAST 2019, Part II: Revised Selected Papers/17th International Conference, Las Palmas de Gran Canaria, Spain, February 2019
  85. Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./16th International Symposium, ARC 2020, Toledo, Spain, April 2020
  86. Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
  87. Advances in Cryptology - EUROCRYPT 2020. Part II: Proc./39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 2020
  88. Advances in Cryptology - EUROCRYPT 2020. Part III: Proc./39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 2020
  89. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, Part II: Revised Selected Papers/5th International Workshop, BrainLes 2019 Held in Conjunction with MICCAI 2019, Shenzhen, China, October 2019
  90. Machine Learning and Knowledge Discovery in Databases, Part II: Proc./European Conference ECML-PKDD 2019, Würzburg, Germany, September 2019
  91. Advances in Knowledge Discovery and Data Mining, Part II: Proc./24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 2020
  92. CMP: Multi-Project Wafer (MPW) Service Center: Process catalog 2020
  93. Эффективные строковые алгоритмы в модели потока данных
  94. Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405
  95. Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020
  96. Trends in Functional Programming: Revised Selected Papers/20th International Symposium, TFP 2019, Vancouver,BC,Canada, June 2019
  97. Advances in Bioinformatics and Computational Biology: Revised Selected Papers/12th Brazilian Symposium on Bioinformatics, BSB 2019, Fortaleza, Brazil, October 2019
  98. Computational Advances in Bio and Medical Sciences: Revised Selected Papers/9th International Conference, ICCABS 2019, Miami,FL,USA, November 2019
  99. Advances in Artificial Intelligence: Proc./33rd Canadian Conference on Artificial Intelligence, Canadian AI 2020, Ottawa,ON,Canada, May 2020
  100. Computer Information Systems and Industrial Management: Proc./19th International Conference, CISIM 2020, Bialystok, Poland, October 2020
  101. A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
  102. Advances in Knowledge Discovery and Data Mining, Part I: Proc./24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 2020
  103. Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference ECML-PKDD 2019, Würzburg, Germany, September 2019
  104. New Frontiers in Mining Complex Patterns: Revised Selected Papers/8th International Workshop, NFMCP 2019 Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 2019
  105. Algorithms and Models for the Web Graph: Proc./17th International Workshop, WAW 2020, Warsaw, Poland, September 2020
  106. Developments in Language Theory: Proc./24th International Conference, DLT 2020, Tampa,FL,USA, May 2020
  107. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, Part I: Revised Selected Papers/5th International Workshop, BrainLes 2019 Held in Conjunction with MICCAI 2019, Shenzhen, China, October 2019
  108. Advances in Cryptology - EUROCRYPT 2020. Part I: Proc./39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 2020
  109. Bioinformatics and Biomedical Engineering: Proc./8th International Work-Conference? IWBBIO 2020, Granada, Spain, Nay 2020
  110. Research in Computational Molecular Biology: Proc./24th Annual International Conference, RECOMB 2020, Padua, Italy, May 2020
  111. Artificial Evolution: Revised Selected Papers/14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 2019
  112. Beyond Interactions: Revised Selected Papers/INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2019
  113. Logoc-Based Program Synthesis and Transformation: Revised Selected Papers/29th International Symposium, LOPSTR 2019, Porto, Portugal, October 2019
  114. Programming Languages and Systems: Proc./29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
  115. Supercomputing Frontiers: Proc./6th Asian Conference, SCFA 2020, Singapore, February 2020
  116. Euro-Par 2019: Parallel Processing Workshops: Revised Selected Papers/Euro-Par 2019 International Workshops, Göttingen, Germany, August 2019
  117. Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday