Приложение
для AndroidПолное описание
Макаров, В. П. Термы в языке спецификаций ЯМС / В.П.Макаров. - Минск : [б. и.], 1992. - 19 с. - (Препринт / АН Беларуси(Минск) ; 3(9)). - 50 экз. - Текст : непосредственный.
Библиогр. в конце кн. (5 назв.)
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.28(04) |
Рубрики:
Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): ПРОГРАММА -- СПЕЦИФИКАЦИЯ -- ЭВМ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49981/3(9))
Шифр в сводном ЭК: 31f74600a58cd5e91e983c5b5d17b376
Макаров В.П. Метод прогнозирования и предупреждения авиационных происшествий на основе анализа "дерева факторов опасности" / В. П. Макаров, 2013. - 20 с. - Текст : непосредственный.Информационное общество. - Журнал, 2005г. № 2. - Текст : непосредственный.Макаров В.П. Наследственное описание многосортных теорий / В.П.Макаров, 1991. - 11 c. - Текст : непосредственный.Проектирование испытательных стендов для экспериментальной отработки объектов ракетно-космической техники / А. Г. Галеев [и др.], 2014. - 327 с. - Текст : непосредственный.Макаров В.П. Система TSTEP подготовки программ для программируемых контроллеров / В.П.Макаров,П.М.Никулин, 1991. - 23 с. - Текст : непосредственный.Макаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.О движении заряженной частицы в плоской квазимонохроматической электромагнитной волне / С. Н. Андреев [и др.], 2013. - 31 с. - Текст : непосредственный.Моделирование и технология получения керамики на основе кремния / О. Н. Кагыгина [и др.], 2008. - 220 с. - Текст : непосредственный.Методы обеспечения живучести низкоорбитальных автоматических КА зондирования Земли: математические модели, компьютерные технологии / А. Н. Кирилин [и др.], 2010. - 383 с. - Текст : непосредственный.Николайкин Н.И. Предупреждение аварий на опасных объектах химии, нефтехимии и транспорта - эффективный метод защиты экосистем от загрязнения / Н. И. Николайкин, Ю. Г. Худяков, В. П. Макаров. - Текст : непосредственный // XXI век: итоги прошлого и проблемы настоящего плюс. - Пенза. - 2012. - № 2. - с. 182-186Влияние пожаров на флористическое разнообразие сосновых лесов Восточного Забайкалья / В. П. Макаров [и др.]. - Текст : непосредственный // Лесной журнал (Известия высших учебных заведений). - Архангельск : Сев. (Аркт.) федер. ун-т им. М. В. Ломоносова, 2019. - № 1. - с. 77-86Макаров, В. П. Методологические проблемы научного геологического познания. Т. 1, 2023. - 279 с. - Текст : непосредственный.Макаров, В. П. Методологические проблемы научного геологического познания. Т. 2 : Изотопные геотермометры. Некоторые особенности геохимии стабильных изотопов лёгких элементов, 2023. - 215 с. - Текст : непосредственный.Макаров, В.П. Методологические проблемы научного геологического познания. Т. 4 : Механизмы выделения минералов и других природных образований. Задачи о смешении и об источниках вещества, 2023. - 261 с. - Текст : непосредственный.Макаров, В. П. Методологические проблемы научного геологического познания. Т. 5 : Теоретическая геохронология. Заметки по геохимии изотопов свинца, 2023. - 272 с. - Текст : непосредственный.Макаров, В. П. Методологические проблемы научного геологического познания. Т. 6 : Некоторые вопросы геохимии углеводородов. Новые аспекты геохимии благородных газов, 2024. - 271 с. - Текст : непосредственный.Аппаратные средства микроконтроллера К1816ВЕ51 : учеб. пособие / П. К. Кузнецов [и др.], 2008. - 46 с. - Текст : непосредственный.Макаров, В. П. Методологические проблемы научного геологического познания. Т. 7 : Литологические заметки, 2024. - 271 с. - Текст : непосредственный.Макаров В.П. Влияние техногенных ландшафтов на концентрацию химических элементов в полыни Гмелина (Artemisia gmelinii) в Забайкальском крае / В. П. Макаров, Г. А. Юргенсон, Р. А. Филенко. - Текст : непосредственный // Вестник Воронежского Государственного Университета. - Воронеж : Воронеж. гос. ун-т, 2025. - № 2. - с. 13-18Макаров В.П. Накопление токсичных элементов растениями, произрастающими в районе Среднеголготайского месторождения золота Забайкальского края / В. П. Макаров, Г. А. Юргенсон. - Текст : непосредственный // Агрохимия. - Москва : Наука, 2025. - № 8. - с. 75-86
Показать все результатыСементовский А.В. Комплексные характеры и их влияние на строение конечной -обособленной группы / А. В. Сементовский, 1992. - 20 с. - Текст : непосредственный.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Ковалев И.П. Представление неточности в задаче образной интерпретации объектов / И.П.Ковалев, 1991. - 16 c. - Текст : непосредственный.Цветков В.И. Построение разностных схем на произвольной сетке для квазилинейного параболического уравнения / В.И.Цветков,Л.А.Липский, 1994. - 27 c. - Текст : непосредственный.Никифорова Е.Д. Работа в компьютерной системе LATEX / Е.Д.Никифорова, 1994. - 64 c. - Текст : непосредственный.Макаров В.П. Наследственное описание многосортных теорий / В.П.Макаров, 1991. - 11 c. - Текст : непосредственный.Бакулин А.В. Многоуровневая разработка программ, основанная на применении интерпретированных схем алгебры алгоритмов / А.В.Бакулин, 1991. - 22 с. - Текст : непосредственный.Краснопрошин В.В. О методе управления мультиструктурными системами на основе распознавания и классификации / В.В.Краснопрошин,Е.П.Максимович, 1994. - 57 c. - Текст : непосредственный.Ковалев И.П. Когнитивная алгебра образов / И.П.Ковалев, 1992. - 34 с. - Текст : непосредственный.Бакулин А.В. Математическая модель языка спецификации и проектирования программ / А.В.Бакулин, 1991. - 25 с. - Текст : непосредственный.Макаров В.П. Система TSTEP подготовки программ для программируемых контроллеров / В.П.Макаров,П.М.Никулин, 1991. - 23 с. - Текст : непосредственный.Кузнецов Г.П. Планирование вычислений в САПР и пакетах прикладных программ / Г.П.Кузнецов, 1992. - 41 с. - Текст : непосредственный.Макаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.Григянец Р.Б. Анализ тенденций и направлений развития систем баз данных и знаний / Р.Б.Григянец, 1992. - 23 с. - Текст : непосредственный.Азаренко Л.Ф. Библиотека классов для реализации ввода параметров в диалоговых системах / Л.Ф.Азаренко,А.М.Колесник, 1994. - 27 c. - Текст : непосредственный.
Оузьер Д. Освой самостоятельно 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. - Текст : электронный.
Показать все результатыНепомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный.
Чурина Т.Г. Моделирование спецификаций языка SDL с помощью модифицированных ИВТ-сетей / Т. Г. Чурина, В. С. Аргиров, 2005. - 62 с. - Текст : непосредственный.Машуков М.Ю. Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри / М. Ю. Машуков, Т. Г. Чурина, 2007. - 70 с. - Текст : непосредственный.Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный.Визовитин Н.В. Алгоритм трансляции UCM - спецификаций в раскрашенные сети Петри / Н. В. Визовитин, 2012. - 55 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган,Т.О.Матвеева, 1999. - 45 с. - Текст : непосредственный.Горелик А.М. Средства явной спецификации векторных операций и их использование для программирования вычислительных задач / А.М.Горелик, 2003. - 26 с. - Текст : непосредственный.Окунишникова Е.В. Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование / Е.В.Окунишникова, 2001. - 59 с. - Текст : непосредственный.Сеношенко К.О. Object-0riented specifications: set-theory based and algebraic approaches. A review / К.О.Сеношенко, 2002. - 39 p. - Текст : непосредственный.Макаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Средства специфицирования моделей и метрик программ. Ч.1 / Б.И.Коган,Е.А.Шалфеева, 2000. - 46 с. - Текст : непосредственный.Непомнящий В.А. A new language Basic-Real for specification and verification of distributed system models / В. А. Непомнящий, N. V. Shilov, E. V. Bodin, 1999. - 39 p. - Текст : непосредственный.Замулин А.В. Adding genericity to object-oriented ASMs / А.В.Замулин, 1999. - 28 p. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽