Имитационное моделирование систем ЮГ Карпов БХВ-Петербург, 2009 | 1487 | 2009 |
MODEL СHECKING. Верификация параллельных и распределенных программных систем ЮГ Карпов БХВ-Петербург, 2010 | 376 | 2010 |
Теория автоматов: Учебник для вузов ЮГ Карпов СПб.: Питер, 2002 | 365 | 2002 |
Теория и технология программирования. Основы построения трансляторов ЮГ Карпов БХВ-Петербург, 2005 | 85 | 2005 |
Математическая логика и теория алгоритмов ШИ Галиев Изд-во Казан. гос. техн. ун-та им. АН Туполева, 2004 | 50 | 2004 |
К теории сверхпластической деформации ВВ Астанин, ОА Кайбышев, АИ Пшеничнюк ФММ 84 (6), 5, 1997 | 20 | 1997 |
Изучение современных парадигм имитационного моделирования в среде Anylogic ЮГ Карпов Компьютерные инструменты в образовании, 3-14, 2005 | 19 | 2005 |
Современная регентская практика: хормейстерский аспект ЮС Карпов Казанская государственная консерватория (академия) им. НГ Жиганова, 2006 | 16 | 2006 |
Моделирование агентов-новая парадигма в имитационном моделировании ЮГ Карпов Режим доступа: http://mas. exponenta. ru/files/npo/texts/karpov. pdf, 2005 | 16 | 2005 |
Профессиональный инструмент имитационного моделирования AnyLogic АВ Борщев, ЮГ Карпов В трудах первой всеросийской научно-практической конференции ИММОД-2003 …, 2003 | 13 | 2003 |
Введение в язык Promela и систему комплексной верификации Spin ИВ Шошмина, ЮГ Карпов Изд-во Политехнического ун-та, 2010 | 9 | 2010 |
Введение в язык Promela и систему комплексной верификации Spin: учебное пособие ИВ Шошмина, ЮГ Карпов | 8 | 2010 |
Сложность алгоритмов и программ ЮГ Карпов, ПВ Трифонов Компьютерные инструменты в образовании, 3-10, 2007 | 8 | 2007 |
Smart grid. Разработка приложений АН Беляев, РИ Ивановский, ЮГ Карпов, КА Сотников Информатика, телекоммуникации и управление, 115-121, 2011 | 6 | 2011 |
Теория алгоритмов и автоматов ЮГ Карпов СПб.: Геликон Плюс, 2000 | 6 | 2000 |
Электросопротивление и термоэдс сплавов PdMnxFe1 _ x НИ Коуров, ЮГ Карпов, НВ Волкова, ЛН Тюленев ФММ. 84 (6), 86, 1997 | 5 | 1997 |
Новая жизнь верификации Ю Карпов Открытые системы. СУБД, 50-50, 2012 | 4 | 2012 |
Сосуществование дальнего магнитного порядка и спинового стекла в упорядочивающемся сплаве FePdzAu с ГЦК решеткой МА Бороздина, ЮА Верещагин, ФА Сидоренко, АА Куранов, ПВ Гельд, ... Fizika metallov i metallovedenie 56, 80, 1983 | 4 | 1983 |
Роль имитационного моделирования в задачах внедрения технологий SmartGrid КА Сотников, РИ Ивановский, АН Беляев, ЮГ Карпов Оперативное управление в электроэнергетике, 2012 | 3 | 2012 |
Темпоральные логики для спецификации свойств программных и аппаратных систем ЮГ Карпов Компьютерные инструменты в образовании, 45-56, 2009 | 3 | 2009 |