Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
сложная система
Связанные издания:
Advances in Artificial Intelligence and Its Applicationas, Part I: Proc./12th Mexican International Conference on AI, MICAI 2013, Mexico City, Mexico, November 2013
AI Approaches to the Complexity of Legal Systems: Revised Selected Papers/ International Workshops ALCOL-I/IVR-XXIV, China, September 2009 and ALCOL-II/JURIX 2009, The Netherlands, December 2009
Applications of Evolutionary Computation, Part I: Proc./20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 2017
Applications of Evolutionary Computation: Revised Selected Papers/17th European Conference, EvoApplications 2014, Granada, Spain, April 2014
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Cellular Automata and Discrete Complex Systems: Proc./21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 2015
Cellular Automata and Discrete Complex Systems: Revised Selected Papers/20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 2014
Cellular Automata: Proc./13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 2018
Computational Science and Its Applications - ICCSA 2006: Part I: Proc./International Conference. Glasgow, UK, May 2006
Computational Science - ICCS 2006: Part I: Proc./6th International Conference. Reading, UK, May 2006
Computational Science - ICCS 2009: Part I: Proc./9th International Conference. Baton Rouge, LA, USA, May 2009
Computational Science - ICCS 2018, Part I: Proc./18th International Conference, Wuxi, China, Junr 2018
Computational Science - ICCS 2019, Part I: Proc./19th International Conference, Faro, Portugal, June 2019
Coordination Models and Languages: Proc./16th IFIP WG 6.1 International Conference, COORDINATION 2014 Held as Part of the 9th International Federated Conference, DisCoTec 2014, Berlin, Germany, June 2014
Coordination, Organizations, Institutions, and Norms in Agent System VII: Revised Selected Papers/COIN 2011 International Workshops: COIN@AAMAS 2011, Taipei, Taiwan, May 2011, COIN@WI-IAT 2011, Lyon, France, August 2011
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Engineering Self-Organising Systems: Methodologies and Applications
Epistemological Aspects of Computer Simulation in the Social Sciences: Revised Selected and Invited Papers/ Second International Workshop, EPOS 2006, Brescia, Italy, October 2006
Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012
Formal Methods in Macro-Biology: Proc./1st International Conference, FMMB 2014, Noumea, New Caledonia, September 2014
From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014
Fundamentals of Computation Theory: Proc./18th International Symposium, FCT 2011, Oslo, Norway, August 2011
Hardware and Software: Verification and Testing: Proc./12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 2016
Information Retrieval Meets Information Visualization: Revised Selected Papers/ PROMISE Winter School, 2012, Zinal, Switzerland, January, 2012
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Revised Selected Papers/SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert, Thessaloniki, Greece, October 2012
Integrated Formal Methods: Proc./10th International Conference, IFM 2013, Turku, Finland, June 2013
Intelligent Robotics and Applications, Part I: Proc./8th International Conference, ICIRA 2015, Portsmouth, UK, August 2015
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things: Revised Selected Papers/7th TPC Technology Conference, TPCTC 2015, Kohala Coast,HI,USA, August 2015
Performance Evaluation, Measurement and Characterization of Complex Systems: Revised Selected Papers/ Second TPC Technology Conference, TPCTC 2010, Singapore, September 2010
Policy-Based Autonomic Data Governance
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 2013
Transactions on Computational Science VII
Автоматизация имитационного моделирования сложных систем
"Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями
Моделирование сложных разработок в производственных системах (с помощью стохастических графов)
Некоторые вопросы оптимизации алгоритмов функционирования сложных систем по время-стоимостным характеристикам
Проблема описания и синтеза распределенных имитацтонных моделей сложных многокомпонентных систем
Проблемы управления и моделирования в сложных системах: Труды XII Международной конференции, Самара, Россия, 21-23 июня 2010
Разработка и применение инструментальных средств для автоматизации конструирования и поддержки функционирования пакета прикладных программ в области исследования динамики сложных управляемых систем
Разработка метода интеллектуализации сложных систем на основе среды радикалов