Полное описание
Кузьмин, Е. В.
ГРНТИ УДК 50.05.13 004.415.5(043)
Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ РАСПРЕДЕЛЕННЫЕ -- ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ -- ФОРМАЛЬНЫЕ МОДЕЛИ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар11-7130)
Шифр в сводном ЭК: 4584c329d889576a9a28484be00ccced
Кузьмин Е.В. Неклассические логики высказываний : выставочные материалы / Е. В. Кузьмин, 2016. - 158 с. - Текст : непосредственный. Кузьмин Е.В. Нормальное состояние в модели Хаббарда при U= / Е. В. Кузьмин, 1995. - 27 p. - Текст : непосредственный. Кузьмин Е.В. Алгоритмические свойства формальных моделей параллельных и распределенных систем : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. В. Кузьмин, 2011. - 43 с. - Текст : непосредственный. Кузьмин Е.В. Повышение эффективности обработки шумоподобных сигналов на фоне внутрисистемных и преднамеренных помех / Е. В. Кузьмин, 2017. - 35 с. - Текст : непосредственный. Горячев Е.Г. Фазовая диаграмма ферромагнитного металла с невырожденной зоной в режиме сильной Хаббардовской корреляции. Ч.2 / Е.Г.Горячев,Е.В.Кузьмин, 1989. - 43 с. - Текст : непосредственный. Кузьмин Е.В. Организационно-экономические методы и модели превентивного управления энергетическими организациями : автореф. дис. .. канд. экон. наук: 08.00.05 / Е. В. Кузьмин, 2003. - 20 с. - Текст : непосредственный. Колотилин Б.А. Превентивное управление энергетическими организациями / Б.А.Колотилин,Е.В.Кузьмин, 2004. - 131 с. - Текст : непосредственный. Кузьмин Е.В. Счетчиковые машины : учеб пособие / Е. В. Кузьмин; под ред. В. А. Соколова, 2010. - 127 с. - Текст : непосредственный. Кузьмин Е.В. Управление сбалансированным развитием научно-исследовательских, опытно-конструкторских и технологических работ при создании изделий радиоэлектроники : автореф. дис. .. канд. экон. наук: 08.00.05 / Е. В. Кузьмин, 2008. - 26 с. - Текст : непосредственный. Кузьмин Е.В. Исследование свойств класса вполне структурированных систем переходов : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Е. В. Кузьмин, 2004. - 22 c. - Текст : непосредственный. Кузьмин Е.В. Квантовая спиновая жидкость и антиферромагнетизм / Е.В.Кузьмин, 2002. - 45 с. - Текст : непосредственный. Кузьмин Е.В. Вполне структурированные системы помеченных переходов / Е.В. Кузьмин, В.А. Соколов, 2005. - 174 с. - Текст : непосредственный. Кузьмин Е.В. Основное состояние модели Хаббарда при U=оо на замкнутой цепочке. Точное решение для двух дырок / Е.В.Кузьмин, 1990. - 37 с. - Текст : непосредственный. Кузьмин Е.В. Абсолютная неустойчивость насыщенного ферромагнитного состояния в модели Хаббарда при U-OO / Е.В.Кузьмин, 1992. - 14 с. - Текст : непосредственный. Кузьмин Е.В. Статистическая физика : Учеб.пособие / Е.В.Кузьмин, 2002. - 130 с. - Текст : непосредственный. Кузьмин Е.В. Методы фазовой синхронизации приемоиндикаторов широкополосносных радионавигационных систем : автореф. дис. .. канд. техн. наук: 05.12.14 / Е. В. Кузьмин, 2009. - 19 с. - Текст : непосредственный. Цифровая экономика : учебник / И. А. Хасаншин, А. А. Кудряшов, Е. В. Кузьмин, А. А. Крюкова, 2019. - 287 с. - Текст : непосредственный. Кузьмин В.И. Проектирование и изготовление сварных колонн : учеб. пособие / В. И. Кузьмин, А. В. Савинов, Е. В. Кузьмин, 2015. - 78 с. - Текст : непосредственный. Кузьмин Е.В. Алгоритмические свойства формальных моделей параллельных и распределенных систем : автореф. дис. .. д-ра физ.-мат. наук: 05.13.17 / Е. В. Кузьмин, 2010. - 44 с. - Текст : непосредственный. Кузьмин Е.В. Введение в теорию вычислительных процессов и структур : учеб. пособие / Е. В. Кузьмин, 2006. - 138 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный. Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный. Поляков С.Д. Разработка нормативно-методического и информационного обеспечения процесса сертификации программной продукции : специальность 05.02.23 "Стандартизация и управление качеством продукции" : диссертация на соискание ученой степени канд. техн. наук / С. Д. Поляков, 2007. - 22 с. - Текст : непосредственный. Тихомиров В.А. Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / В. А. Тихомиров, 2009. - 19 с. - Текст : непосредственный. Кузьмин Е.В. Алгоритмические свойства формальных моделей параллельных и распределенных систем : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. В. Кузьмин, 2011. - 43 с. - Текст : непосредственный. Суркова А.С. Концептуальный анализ, принципы моделирования и оптимизация алгоритмов синтеза текстовых структур / А. С. Суркова, 2017. - 39 с. - Текст : непосредственный. Мордань В.О. Методы верификации программ на основе композиции задач достижимости / В. О. Мордань, 2017. - 26 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ермаков А.Д. Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации / А. Д. Ермаков, 2017. - 20 с. - Текст : непосредственный. Морозов С.А. Метод оценки и средства улучшения качества программно-аппаратных комплексов центров хранения и обработки данных / С. А. Морозов, 2018. - 17 с. - Текст : непосредственный. Захаров И.С. Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ : 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / И. С. Захаров, 2019. - 25 с. - Текст : непосредственный. Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
