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