Вы здесь

Главная

Поступление с 21.09.2019 по 21.10.2019

Файл: 
Иконка HTML 20190921_20191021_arrival.html
Издания: 
  1. Design Patterns in Modern C++: Reusable Approaches for Object-Oriented Software Design
  2. Cognitive Reasoning: A Formal Approache
  3. Low-Level Programming: C, Assembly, and Program Execution on Intel 64 Architecture
  4. English for Writing Research Papers: 2nd Edition
  5. Writing for Computer Science: 3rd Edition
  6. The Discrete Math Workbook: A Companion Manual for Practical Study
  7. Big Data Technologies for Monitoring of Computer Security: A Case Study of the Russian Federation
  8. Introduction to the Theory of Schemes
  9. Algebraic Curves: Tuwards Moduli Spaces
  10. Probability Theory
  11. Probability - 1: 3rd Edition
  12. Probability - 2: 3rd Edition
  13. Compression-Based Mathods of Statistical Analysis and Prediction of Time Series
  14. Introduction to Artificial Intelligence
  15. Fundamentals of Parameterized Complexity
  16. Neural Networks and Deep Learning
  17. The Incomputable: Journeys Beyond the Turing Barrier
  18. The Algorithm Design: Manual
  19. Proceedings of the Scientific-Practical Conference "Research and Development - 2016"
  20. Selected Works of S.L. Sobolev, Part I: Equations of Mathematical Phisics, Computational Mathematics, and Cubature Formulas
  21. Recommender Systems: The Textbook
  22. Hybrid Artificial Intelligent Systems: Proc./International Conference, HAIS 2019, Leon, Spain, September 2019
  23. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./15th International Conference, ECSQARU 2019, Belgrade, Serbia, Sptember 2019
  24. KI 2019: Advances in Artificial Intelligence: Proc./42nd International Conference on AI, Kassel, Germany, September 2019
  25. Knowledge Management and Acquisition for Intelligent Systems: Proc./16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 2019
  26. Transactions on Computational Science XXXIV
  27. Software Technology: Methods and Tools: Proc./51st International Conference, TOOLS 2019, Innopolis, Russia, October 2019
  28. Machine Learning and Knowledge Extraction: Proc./3rd IFUP TC 5, Tc 12, WG 8.4, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 2019
  29. Human-Computer Interaction - INTERACT 2019, Part I: Proc./17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2019
  30. Human-Computer Interaction - INTERACT 2019, Part II: Proc./17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2019
  31. Human-Computer Interaction - INTERACT 2019, Part III: Proc./17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2019
  32. Computer Analysis of Image and Patterns, Part I: Proc./18th International Conference, CAIP 2019, Salerno, Italy, September 2019
  33. Computer Analysis of Image and Patterns, Part II: Proc./18th International Conference, CAIP 2019, Salerno, Italy, September 2019
  34. Transforming Learning with Meaningful Technologies: Proc./14th International Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherland, September 2019
  35. Explainable AI: Interpreting, Explaining and Visualizing Deep Learning
  36. Algorithmic Game Theory: Proc./International Symposium, SAGT 2019, Athens, Greece, September 2019
  37. Software Engineering and Formal Methods: Proc./17th International Conference, SEFM 2019, Oslo, Norway, September 2019
  38. Physiological Computing Systems: Revised and Extended Selected Papers/International Conferences: PhyCS 2016, Lisbon, Portugal, July 2016, PhyCS 2017, Madrid, Spain, July 2017, PhyCS 2018, Seville, Spain, September 2018
  39. Wired/Wireless Internet Communications: Proc./17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 2019
  40. Digital Libraries for Open Knowledge: Proc./23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 2019
  41. The Semantic Web - ISWC 2019, Part I: Proc./18th International Semantic Web Conference, Auckland, New Zealand, October 2019
  42. The Semantic Web - ISWC 2019, Part II: Proc./18th International Semantic Web Conference, Auckland, New Zealand, October 2019
  43. Artificial Neural Networks and Machine Learning - ICANN 2019: Workshop and Special Sessions: Proc./28th International Conference on Artificial Neural Networks, Munich, Germany, September 2019
  44. Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019
  45. Graph-Theoretic Concepts in Computer Science: Revised Papers/45th International Workshop, WG 2019, Vall de Núria, Spain, June 2019
  46. Cooperative Design, Visualization, and Engineering: Proc./16th International Conference, CDVE 2019, Mallorca, Spain, October 2019
  47. Rules and Reasoning: Proc./3rd International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 2019
  48. Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019
  49. Principles and Practice of Constraint Programming: Proc./25th International Conference, CP 2019, Stamford,CT,USA, September 2019
  50. HCI International 2019 - Late Breaking Papers: Proc./21st International Conference, HCII 2019, Orlando,FL,USA, July 2019
  51. Computational Logistics: Proc./10th International Conference, ICCL 2019, Barranquilla, Colombia, September 2019
  52. Artificial Neural Networks and Machine Learning - ICANN 2019, Part I: Theoretical Neural Computation: Proc./28th International Conference on Artificial Neural Networks, Munich, Germany, September 2019
  53. Artificial Neural Networks and Machine Learning - ICANN 2019, Part II: Deep Learning: Proc./28th International Conference on Artificial Neural Networks, Munich, Germany, September 2019
  54. Image Analysis and Processing - ICIAP 2019, Part I: Proc./20th International Conference, Trento, Italy, September 2019
  55. Image Analysis and Processing - ICIAP 2019, Part II: Proc./20th International Conference, Trento, Italy, September 2019
  56. Pattern Recognition and Image Analysis, Part I: Proc./Iberian Conference, IbPRIA 2019, Madrid, Spain, July 2019
  57. Pattern Recognition and Image Analysis, Part II: Proc./Iberian Conference, IbPRIA 2019, Madrid, Spain, July 2019
  58. Artificial Neural Networks and Machine Learning - ICANN 2019, Part III: Image Processing: Proc./28th International Conference on Artificial Neural Networks, Munich, Germany, September 2019
  59. Artificial Neural Networks and Machine Learning - ICANN 2019, Part IV: Text and Time Series: Proc./28th International Conference on Artificial Neural Networks, Munich, Germany, September 2019
  60. Computational and Corpus-Based Phraseology: Proc./International Conference, Europhras 2019, Malaga, Spain, September 2019
  61. Progress in Artificial Intelligence, Part I: Proc./19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 2019
  62. Progress in Artificial Intelligence, Part II: Proc./19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 2019
  63. Algorithmic Decision Theory: Proc./6th International Conference, ADT 2019, Durham,NC,USA, October 2019
  64. Statistical Language and Speech Processing: Proc./7th International Conference, SLSP 2019, Ljubljana, Slovenia, October 2019
  65. Computational Methods in Systems Biology: Proc./17th International Conference, CMSB 2019, Trieste, Italy, September 2019
  66. Software Engineering for Resilient Systems: Proc./11th International Workshop, SERENE 2019, Naples, Italy, September 2019
  67. Systen Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: Proc./11th International Conference, SAM 2019, Munich, Germany, September 2019
  68. Software Architecture: Proc./13th International Conference, ECSA 2019, Paris, France, September 2019
  69. From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday
  70. Reachability Problems: Proc./13th International Conference, RP 2019, Brussels, Belgium, September 2019
  71. Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019
Журналы: 
  1. 2019 Вопросы истории естествознания и техники №3
  2. 2019 Acta Informatica №4
  3. 2019 Journal of Mathematical Science №4
  4. 2019 Siberian Advances in Mathematics №1
  5. 2019 Siberian Mathematical Journal №1
  6. 2019 Numerical Analysis and Applications №1
  7. 2019 International Journal on Software Tools for Technology Transfer (STTT) №3
  8. 2019 Theory of Computing Systems №4
  9. 2019 Искусственный интеллект и принятие решений №3
  10. 2019 Наука и жизнь №10
  11. 2019 Наука и жизнь №9
  12. 2019 Программирование №5
  13. 2019 Journal of Contemporary Mathematical Analysis №1
  14. 2019 Компьютерная оптика №3