Полное описание
Набебин, А. А. ISBN 978-5-905675-04-1. - Текст : непосредственный.
ГРНТИ УДК 50.05.13 004.415.28
Рубрики: Программы для ЭВМ -- Спецификация
Доп. точки доступа: Тарасиков, А.С.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-12/95098)
Шифр в сводном ЭК: dee81b1f38615969af2d9df120653d4f
Набебин А.А. Логика и пролог в дискретной математике / А. А. Набебин, 1992. - 478 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Набебин А.А. Коды линейные, циклические, БЧХ : [учеб. пособие] / А. А. Набебин, 2015. - 152 с. - Текст : непосредственный. Набебин А.А. Integral calculus / А.А.Набебин, 1998. - 67 p. - Текст : непосредственный. Набебин А.А. Limits and differential calculus / А.А.Набебин;Ed. M.F. Cherepova, 1998. - 116 p. - Текст : непосредственный. Яблонский С.В. Предполные классы в многозначных логиках : Учеб. пособие по курсу "Дискретная математика" / С.В.Яблонский,Г.П.Гаврилов,А.А.Набебин;Под ред.В.Н.Вагина, 1997. - 142 с. - Текст : непосредственный. Набебин А.А. Дискретная математика : учебник / А. А. Набебин, 2010. - 509 с. - Текст : непосредственный. Набебин А.А. Series and multiple integrals / А.А.Набебин;Nabebin A.A., 1998. - 148 p. - Текст : непосредственный. Набебин А.А. Functions of a complex variable / А.А.Набебин;Ed. M.F.Cherepova, 1998. - 135 p. - Текст : непосредственный. Набебин А.А. Differential equations / А.А.Набебин;Editor M.F.Cherepova, 1998. - 154 p. - Текст : непосредственный. Набебин А.А. Алгебраическая спецификация программных систем / А. А. Набебин, А. С. Тарасиков, 2012. - 83 с. - Текст : непосредственный. Набебин А.А. Логика и пролог в дискретной математике / А.А.Набебин, 1996. - 451 с. - Текст : непосредственный. Набебин А.А. Математическая логика и теория алгоритмов : Учеб. пособие / А. А. Набебин, Ю. П. Кораблин, 2008. - 343 с. - Текст : непосредственный. Набебин А.А. Elements of linear algebra / А.А.Набебин;Editor M.F.Cherepova, 1999. - 187 p. - Текст : непосредственный. Набебин А.А. Differentials and integrals : Examplis of compulsory homework solutions / А.А.Набебин;Ред.М.Ф.Черепова, 2000. - 137 p. - Текст : непосредственный. Яблонский, С. В. Учебное пособие по курсу Дискретная математика. Анализ и синтез схем в многозначных логиках. Ч. 1 / ред. В. А. Орлов, 1989. - 117 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно 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
