Вы здесь

Поступление с 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. Numerical Computations: Theory and Algorithms, Part I: Revised Selected Papers/3rd International Conference, NUMTA 2019, Crotone, Italy, June 2019
  10. Advances Concepts for Intelligent Vision Systems: Proc./20th International Conference, ACIVS 2020, Auckland, New Zealand, February 2020
  11. Emerging Technologies for Education: Revised Selected Papers/4th International Symposium, SETE 2019 Held in Conjunction with ICWL 2019, Magdeburg, Germany, September 2019
  12. Large-Scale Scientific Computing: Revised Selected Papers/12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 2019
  13. 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
  14. Formal Aspects of Component Software: Proc./16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 2019
  15. Semantic Technology: Proc./9th International Conference, JIST 2019, Hangzhou, China, November 2019
  16. Pattern Recognition, Part II: Revised Selected Papers/5th Asian Conference, ACPR 2019, Auckland, New Zealand, November 2019
  17. Information Retrieval Technology: Proc./15th International Retrieval Societies Conference, AIRS 2019, Hong Kong, China, November 2019
  18. Complexity and Approximation: in Memory of Ker-i Ko
  19. Pattern Recognition, Part I: Revised Selected Papers/5th Asian Conference, ACPR 2019, Auckland, New Zealand, November 2019
  20. 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
  21. Smart Card Research and Advanced Applications: Revised Selected Papers/18th International Conference, CARDIS 2019, Prague, Czech Republic, November 2019
  22. Computational Processing of the Portuguese Language: Proc./14th International Conference, PROPOR 2020, Evora, Portugal, March 2020
  23. Radiomics and Radiogenomics in Neuro-oncology: Proc./1st International Workshop, RNO-AI 2019 Held in Conjunction with MICCAI 2019, Shenzhen, China, October 2019
  24. Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019
  25. Mathematical Aspects of Computer and Information Sciences: Revised Selected Papers/8th International Conference, MACIS 2019, Gebze, Turkey, November 2019
  26. Measurement, Modelling and Evaluation of Computing Systems: Proc./20th International Conference, MMB 2020, Saarbrücken, Germany, March 2020
  27. Intelligent Information and Database Systems, Part I: Proc./12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 2020
  28. Intelligent Information and Database Systems, Part II: Proc./12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 2020
  29. Algorithms for Computational Biology: Proc./7th International Conference, ALCoB 2020, Missoula,MT,USA, April 2020
  30. Конституция Российской Федерации: Принята всенародным голосованием 12 декабря 1993 года
  31. Parallel Processing and Applied Mathematics, Part II: Revised Selected Papers/13th International Workshop, PPAM 2019, Bialystok, Poland, September 2019
  32. Evolutionary Computation in Combinatorial Optimization: Proc./20th European Conference, EvoCOP 2020 Held as Part of EvoStar 2020, Seville, Spain, April 2020
  33. Parallel Processing and Applied Mathematics, Part I: Revised Selected Papers/13th International Workshop, PPAM 2019, Bialystok, Poland, September 2019
  34. Real VR - Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays
  35. Requirements Engineering: Foundation for Software Quality: Proc./26th International Working Conference, REFSQ 2020, Pisa, Italy, March 2020
  36. Digital Forensics and Watermarking: International Workshop, IWDW 2019, Chengdu, China, November 2019
  37. Computing and Software Science: State of the Art and Perspectives
  38. Applications of Evolutionary Computation: Proc./23rd European Conference, EvoApplication 2020, Held as Part of EvoStar 2020, Seville, Spain, April 2020
  39. Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
  40. Sustainable Digital Communities: Proc./15th International Conference, iConference 2020, Boras, Sweden, March 2020
  41. Genetic Programming: Proc./23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 2020
  42. Passive and Active Measurement: Proc./21st International Conference, PAM 2020, Eugene,Oregon,USA, March 2020
  43. Modelling and Simulation for Autonomous Systems: Revised Selected Papers/6th International Conference, MESAS 2019, Palermo, Italy, October 2019
  44. 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
  45. 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
  46. Machine Learning for Networking: Revised Selected Papers/2nd IFIP TC 6 International Conference, MLN 2019, Paris, France, December 2019
  47. Artificial Intelligence in Music, Sound, Art and Design: Proc./9th International Conference, EvoMUSART 2020 Held as Part of EvoStar 2020, Seville, Spain, April 2020
  48. Service-Oriented Computing - ICSOC 2019 Workshops: Revised Selected Papers/WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 2019
  49. Service-Oriented and Cloud Computing: Proc./8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 2020
  50. Computational Complexity and Property Testing: On the Interplay between Randomness and Computation
  51. Persuasive Technology: Designing for Future Change: Proc./15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 2020
  52. Variable Neighborhood Search: Revised Selected Papers/7th International Conference, ICVNS 2019, Rabat, Morocco, October 2019
  53. Transactions on Computational Science XXXVI
  54. Computer Performance Engineering: Revised Selected Papers/16th European Workshop, EPEW 2019, Milan, Spain, November 2019
  55. Relational and Algebraic Methods in Computer Science: Proc./18th International Conference, RAMiCS 2020, Palaiseau, France, April 2020
  56. 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
  57. Advances in Information Retrieval, Part II: Proc./42nd European Conference on IR Research, ECIR 2020, Lisbin, Portugal, April 2020
  58. Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WELP, Cottbus, Germany, September 2019,
  59. Advances in Intelligent Data Analysis XVIII: Proc./18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 2020
  60. Transactions on Edutainment XVI
  61. 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
  62. Advances in Information Retrieval, Part I: Proc./42nd European Conference on IR Research, ECIR 2020, Lisbin, Portugal, April 2020
  63. 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
  64. Integer Programming and Combinatorial Optimization: Proc./21st International Conference, IPCO 2020, London, UK, June 2020
  65. Logic and Argumentation: Proc./3rd International Conference, CLAR 2020, Hangzhou, China, April 2020
  66. Intelligent Human Computer Interaction: Proc./11th International Conference, IHCI 2019, Allahabad, India, December 2019
  67. Computer Aided Systems Theory - EUROCAST 2019, Part I: Revised Selected Papers/17th International Conference, Las Palmas de Gran Canaria, Spain, February 2019
  68. Computer Aided Systems Theory - EUROCAST 2019, Part II: Revised Selected Papers/17th International Conference, Las Palmas de Gran Canaria, Spain, February 2019
  69. Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./16th International Symposium, ARC 2020, Toledo, Spain, April 2020
  70. 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
  71. 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
  72. Machine Learning and Knowledge Discovery in Databases, Part II: Proc./European Conference ECML-PKDD 2019, Würzburg, Germany, September 2019
  73. Advances in Knowledge Discovery and Data Mining, Part II: Proc./24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 2020
  74. CMP: Multi-Project Wafer (MPW) Service Center: Process catalog 2020
  75. Эффективные строковые алгоритмы в модели потока данных
  76. Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405
  77. Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020
  78. Trends in Functional Programming: Revised Selected Papers/20th International Symposium, TFP 2019, Vancouver,BC,Canada, June 2019
  79. Advances in Bioinformatics and Computational Biology: Revised Selected Papers/12th Brazilian Symposium on Bioinformatics, BSB 2019, Fortaleza, Brazil, October 2019
  80. Computational Advances in Bio and Medical Sciences: Revised Selected Papers/9th International Conference, ICCABS 2019, Miami,FL,USA, November 2019
  81. Advances in Artificial Intelligence: Proc./33rd Canadian Conference on Artificial Intelligence, Canadian AI 2020, Ottawa,ON,Canada, May 2020
  82. Computer Information Systems and Industrial Management: Proc./19th International Conference, CISIM 2020, Bialystok, Poland, October 2020
  83. A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
  84. Advances in Knowledge Discovery and Data Mining, Part I: Proc./24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 2020
  85. Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference ECML-PKDD 2019, Würzburg, Germany, September 2019
  86. 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
  87. Algorithms and Models for the Web Graph: Proc./17th International Workshop, WAW 2020, Warsaw, Poland, September 2020
  88. Developments in Language Theory: Proc./24th International Conference, DLT 2020, Tampa,FL,USA, May 2020
  89. 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
  90. Bioinformatics and Biomedical Engineering: Proc./8th International Work-Conference? IWBBIO 2020, Granada, Spain, Nay 2020
  91. Research in Computational Molecular Biology: Proc./24th Annual International Conference, RECOMB 2020, Padua, Italy, May 2020
  92. Artificial Evolution: Revised Selected Papers/14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 2019
  93. Beyond Interactions: Revised Selected Papers/INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2019
  94. Logoc-Based Program Synthesis and Transformation: Revised Selected Papers/29th International Symposium, LOPSTR 2019, Porto, Portugal, October 2019
  95. 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
  96. Supercomputing Frontiers: Proc./6th Asian Conference, SCFA 2020, Singapore, February 2020
  97. Euro-Par 2019: Parallel Processing Workshops: Revised Selected Papers/Euro-Par 2019 International Workshops, Göttingen, Germany, August 2019
  98. Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday