Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
симуляция
Связанные издания:
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/3rd International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 2013
Supercomputing: Proc./28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 2013
Supercomputing: Proc./29th International Conference, ISC 2014, Leipzig, Germany, June 2014
Swarm, Evolutionary, and Memetic Computing: Proc./3rd International Conference, SEMCCO 2012, Bhubaneswar, India, December 2012
Systems Modeling and Simulation: Theory and Applications: Revised Selected Papers/Third Asian Simulation Conference, AsiaSim 2004. Jeju Island, Korea, October 2004
Theory and Models for Cyber Situation Awareness
Towards a Service-Based Internet: ServiceWale 2010 Workshops: Revised Selected Papers/ International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 2010
Transactions on Computational Collective Intelligence IX
Transactions on Computational Collective Intelligence VIII
Transactions on Computational Collective Intelligence X
Transactions on Computational Science VI
Transactions on Computational Science VII
Transactions on Computational Science XVI
Unconventional Computation and Natural Computation: Proc./11th International Conference, UCNC 2012, Orleans, France, September 2012
Unconventional Computation and Natural Computation: Proc./12th International Conference, UCNC 2013, Milan, Italy, July 2013
Unifying Theories of Programming: Revised Selected Papers/5th International Symposium, UTP 2014, Singapore, May, 2014
Web Technologies and Applications: Proc./APWeb 2014 Workshops SNA, NIS, and IoTS, Changsha, China, September 2014
Wired/Wireless Internet Communications: Proc./15th IFIP WG 6.2 International Conference, WWIC 2017, St.Petersburg, Russia, June 2017
Wireless Networking for Moving Objects: Protocols, Architectures, Tools, Services and Applications
История разработки системы речевого управления интеллектуальным роботом
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов
Симулятор иерархических временных типизированных сетей
Симуляция и верификация статических SDL-спецификаций распределенных систем с помо ью промежуточного языка REAL
Теоретико-игровое средство проверки отношений симуляций
« первая
‹ предыдущая
1
2
3
4
5