Полное описание
Юрченко, В. В. ISBN 5-02-006944-2. - Текст : непосредственный.
ГРНТИ УДК 50.05.13 004.415.28
Рубрики: Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): ПРОГРАММА -- СПЕЦИФИКАЦИЯ -- ЭВМ
Доп. точки доступа: Геловани, В.А.\ред.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-92/2960)
Шифр в сводном ЭК: 97bd3bad0b927c4157363ceb8ee10687
Юрченко В.В. Функциональные сети / В. В. Юрченко ; Ред. В. А. Геловани, 1992. - 183 с. - Текст : непосредственный. Проскуркин Е.В. Диффузионные цинковые покрытия: свойства, области применения / Е. В. Проскуркин, В. А. Геловани, А. Н. Сонк, 2017. - 309 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Геловани В.А. Многофакторная защита металла. Опыт развивающегося производства / В. А. Геловани, А. Н. Сонк, 2017. - 116,XIV с. - Текст : непосредственный. Металлические конструкции. Расчет элементов и соединений с использованием программного комплекса SCAD OFFICE : учеб. пособие / А. А. Семенов [и др.], 2012. - 338 с. - Текст : непосредственный. Юрченко В.В. История освоения и изучения Печорского края (с древнейших времён до 1928 г.) : учебное пособие / В. В. Юрченко, 2017. - 123 с. - Текст : непосредственный. Глобальное моделирование и информационные системы : Сб.ст. / Отв. ред. В. А. Геловани, С. В. Дубовский, 1989. - 91 с. - Текст : непосредственный. Геловани В.А. Система информации для глобального моделирования : Препринт / В. А. Геловани, В. Р. Алеев, Д. И. Безруков, 1991. - 51 с. - Текст : непосредственный. Бохуа Н.К. Экспертные системы: опыт проектирования / Н. К. Бохуа, В. А. Геловани, О. В. Ковригин, 1990. - 348 с. - Текст : непосредственный. Геловани В.А. Высокомощные диодные лазеры нового типа / В.А. Геловани, А.П. Скороходов, В.И. Швейкин, 2005. - 151 с. - Текст : непосредственный. Бубличенко В.Н. Научный потенциал Ухтинского государственного технического университета / В. Н. Бубличенко, О. Ю. Латыговская, В. В. Юрченко, 2008. - 242 с. - Текст : непосредственный. Металлические конструкции. Расчет элементов и соединений с использованием программного комплекса SCAD Office : учеб. пособие / А. А. Семенов [и др.], 2013. - 338 с. - Текст : непосредственный. Юрченко В.В. Методические основы повышения эффективности инвестиционно-инновационной деятельности при строительстве магистральных нефтегазопроводов : автореф. дис. .. канд. экон. наук: 08.00.05 / В. В. Юрченко, 2003. - 18 с. - Текст : непосредственный. Гидробиологические методы оценки состояния пресноводных водоёмов : учебное пособие / В. Ф. Зайцев [и др.], 2018. - 131 с. - Текст : непосредственный. Закономерности извлечения радиоактивного бария из водных систем модифицированным гидролизным лигнином / А.Ф. Никофоров, В.В. Юрченко, А.В. Воронина, А.С. Кутергин. - Текст : непосредственный // Водное хозяйство России. - Екатеринбург. - 2010. - № 6. - с. 58-69 Показать все результаты Оузьер Д. Освой самостоятельно 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 с. - Текст : непосредственный. Окунишникова Е.В. Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Окунишникова, 2004. - 18 с. - Текст : непосредственный. Агафонов В.Н. Спецификация программ: понятийные средства и их организация / В. Н. Агафонов, 1990. - 223 с. - Текст : непосредственный. Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный. Semantics and algebraic specification / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Юрченко В.В. Функциональные сети / В. В. Юрченко ; Ред. В. А. Геловани, 1992. - 183 с. - Текст : непосредственный. Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный. Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный. Rutten E.P.B.M. Formal specification of Manifold : сборник научных трудов / E. P.B.M. Rutten, F. Arbab, I. Herman, 1992. - 34 p. - Текст : непосредственный. Fokkink W.J. simple specification language combining processes,time and data / W. J. Fokkink, 1992. - 28 p. - Текст : непосредственный. Meulen E.A.van der Deriving incremental implementations from algebraic specifications / E. A.van der Meulen, 1990. - 20 p. - Текст : непосредственный. Dinesh T.B. Animators and error reporters for generated programming environments / T. B. Dinesh, F. Tip, 1992. - 98 p. - Текст : непосредственный. Семинар "Семантика, спецификация и верификация программ: теория и приложения" : материалы временных коллективов / "Семантика, спецификация и верификация программ: теория и приложения", семинар (2010 ; Казань) , 2010. - 178 с. - Текст : непосредственный. Recent trends in algebraic development techniques / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. ZB 2005: formal specification and development in Z and B / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Мансуров Н.Н. Методы формальной спецификации программ: языки МSC и SDL / Н. Н. Мансуров, О. Л. Майлингова, 1998. - 125 с. - Текст : непосредственный. Агафонов В.Н. Анализ, организация и компьютеризация понятийных средств спецификации программ : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. Н. Агафонов, 1994. - 41 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
