Приложение
для AndroidПолное описание
Замулин, А. В. Adding genericity to object-oriented ASMs / А.В.Замулин. - Novosibirsk : [s. n.], 1999. - 28 p. - (Препринт / Институт систем информатики(Новосибирск) ; 60). - 50 экз. - Б. ц. - Текст : непосредственный.
Перед загл. авт.:A.V.Zamulin
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.28(04) |
Рубрики:
Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): программа -- эвм -- спецификация
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Замулин А.В. The database specification language Ruslan : A preliminary communication / А.В.Замулин, 1994. - 35 p. - Текст : непосредственный.Сабельфельд В.К. Анализ свойств рекурсивных схем и проблема древесной эквивалентности / В.К.Сабельфельд, 1994. - 42 c. - Текст : непосредственный.Вирбицкайте И.Б. Семантические модели потоковых вычислений / И.Б.Вирбицкайте,А.В.Вотинцева, 1993. - 29 c. - Текст : непосредственный.Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный.Городняя Л.В. Принципы конструирования электронного учебника по информационной стилистике русского языка / Л.В.Городняя,Г.П.Несговорова, 1994. - 19 c. - Текст : непосредственный.Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный.Загорулько Ю.А. Технология конструирования развитых систем обработки знаний на основе семантических сетей и систем продукций / Ю.А.Загорулько, 1994. - 65 c. - Текст : непосредственный.Поттосин И.В. О критериях добротности программ / И.В.Поттосин, 1966. - 35 с. - Текст : непосредственный.Колдаков В.В. Реализация распределенной базы данных в концепции информационного хранилища / В. В. Колдаков, В. В. Марусин, Е. М. Шаталов, 1996. - 26 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 43 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 39 с. - Текст : непосредственный.Кадач А.В. Свойства кодов Хаффмана и эффективные методы декодирования префиксных кодов / А.В.Кадач, 1997. - 44 с. - Текст : непосредственный.Леонов М.В. Эффективный алгоритм, реализующий замкнутый набор булевых операций над множествами многоугольников на плоскости / М.В.Леонов,А.Г.Никитин, 1997. - 24 с. - Текст : непосредственный.Вотинцева А.В. Исследование эквивалентностей для структур событий / А.В.Вотинцева, 1997. - 30 с. - Текст : непосредственный.Кадач А.В. Эффективные методы создания и передачи префиксных кодов / А.В.Кадач, 1997. - 27 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры с цветными фишками / А.П.Устименко, 1997. - 22 с. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.Черноножкин С.К. Средства профилирования программ в системе СОКРАТ / С.К.Черноножкин, 1998. - 20 с. - Текст : непосредственный.Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыWinter D.T. A package for long integer arithmetic on the Cray Y-MP / D.T.Winter, 1992. - 17 p. - Текст : непосредственный.Dinesh T.B. Animators and error reporters for generated programming environments / T.B.Dinesh,F.Tip, 1992. - 98 p. - Текст : непосредственный.Heering J. Second-order algebraic specification of static semantics / J.Heering, 1992. - 16 p. - Текст : непосредственный.Rutten E.P.B.M. Semantics of Manifold: specification in ASF + SDF and extension / E.P.B.M.Rutten,S.Thiebaux, 1992. - 99 p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Теория вычислений и языки спецификаций : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1995. - 219 c. - Текст : непосредственный.Tan Y.M. Formal specification techniques for engineering modular C programs / Y.M.Tan, 1996. - XVI,213 p. p. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.Мансуров Н.Н. Методы формальной спецификации программ: языки МSC и SDL : Учеб.пособие для студентов 4 курса фак.ВМиК / Н.Н.Мансуров,О.Л.Майлингова, 1998. - 125 с. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Field J. Equations as a uniform framework for partial evaluation and abstract interpretation / J.Field,J.Heering,T.B.Dinesh, 1997. - 6 p. - Текст : непосредственный.Corradini A. complete calculus for equational deduction in coalgebraic specification / A.Corradini, 1997. - 24 p. - Текст : непосредственный.Heering J. Implementing higher-order algebraic specifications / J.Heering, 1992. - 12 p. - Текст : непосредственный.Meulen E.A. van der Fine-grain incremental implementation of algebraic specifications / E.A. van der Meulen, 1991. - 23 p. - Текст : непосредственный.Algebraic specification / ed. J. A. Bergstra, 1989. - XIII,397 p. p. - Текст : непосредственный.Luckham D. Programming with specifications : An introd.to ANNA,a language for specifying Ada programs / D.Luckham, 1990. - 416 p. - Текст : непосредственный.Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme : Diss. / W.Reissenberger, 1998. - 114 S. - Текст : непосредственный.Макаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.Shankland C. tree identify protocol of IEEE 1394 in uCRL / C.Shankland,M. van der Zwaag, 1998. - 22 p. - Текст : непосредственный. Юрченко В.В. Функциональные сети / В.В.Юрченко, 1992. - 183 с. - Текст : непосредственный.
Показать все результатыМакаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.Непомнящий В.А. 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. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б.И.Коган,Е.А.Шалфеева, 2000. - 30 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Средства специфицирования моделей и метрик программ. Ч.1 / Б.И.Коган,Е.А.Шалфеева, 2000. - 46 с. - Текст : непосредственный.Окунишникова Е.В. Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование / Е.В.Окунишникова, 2001. - 59 с. - Текст : непосредственный.Сеношенко К.О. Object-0riented specifications: set-theory based and algebraic approaches. A review / К.О.Сеношенко, 2002. - 39 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган,Т.О.Матвеева, 1999. - 45 с. - Текст : непосредственный.Горелик А.М. Средства явной спецификации векторных операций и их использование для программирования вычислительных задач / А.М.Горелик, 2003. - 26 с. - Текст : непосредственный.Моделирование спецификаций языка SDL с помощью модифицированных ИВТ-сетей / Т. Г. Чурина, В. С. Аргиров, 2005. - 62 с. - Текст : непосредственный.Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри / М. Ю. Машуков, Т. Г. Чурина, 2007. - 70 с. - Текст : непосредственный.Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В.А. Непомнящий, Е.В.Бодин, С.О.Веретнов, 2007. - 42 с. - Текст : непосредственный.Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный.Визовитин Н.В. Алгоритм трансляции UCM - спецификаций в раскрашенные сети Петри / Н. В. Визовитин, 2012. - 55 с. - Текст : непосредственный.
Заказ фрагмента документа ₽