Полное описание
Пичугин, В. Н. ISBN 978-5-7677-2305-8. - Текст : непосредственный.
ГРНТИ УДК 50.41 004.42.047
Рубрики: Программирование для ЭВМ логическое
Доп. точки доступа: Немкова, М.П.
Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-16/37618)
Шифр в сводном ЭК: e607b33cc44d9e41b311369e8793846b
Визуальное программирование : учеб. пособие / В. Н. Пичугин [и др.], 2016. - 177 с. - Текст : непосредственный. Компьютерная графика : учеб. пособие / В. Н. Пичугин [и др.], 2016. - 153 с. - Текст : непосредственный. Пичугин В.Н. Антенная решетка щелевых излучателей в многоволновом режиме приема / В. Н. Пичугин, В. С. Пряников, Ю. Е. Седельников, 2013. - 115 с. - Текст : непосредственный. Пичугин В.Н. Структуры и алгоритмы компьютерной обработки данных : учеб. пособие / В. Н. Пичугин, Р. В. Федоров, 2008. - 160 с. - Текст : непосредственный. Пичугин В.Н. Исследование характеристик антенной решетки щелевых излучателей на основной частоте и в многоволновом режиме приема : автореф. дис. .. канд. техн. наук: 05.12.07 / В. Н. Пичугин, 2004. - 18 с. - Текст : непосредственный. Технология разработки программного обеспечения : учеб. пособие / В. Н. Пичугин [и др.], 2013. - 243 с. - Текст : непосредственный. Пичугин В.Н. Рекурсивно-логическое программирование : учеб. пособие / В. Н. Пичугин, М. П. Немкова, 2016. - 175 с. - Текст : непосредственный. Информатика и вычислительная техника : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 75 с. - Текст : непосредственный. Экологический менеджмент и аудит : выставочные материалы / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2016. - 48 с. - Текст : непосредственный. Механика: современное состояние, проблемы, перспективы : материалы временных коллективов, 2014. - 152 с. - Текст : непосредственный. Александрова О.Г. Программная модель управления общественными финансами региона / О. Г. Александрова, Е. С. Гришина, 2015. - 205 с. - Текст : непосредственный. Инновационные тенденции развития системы образования : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2015. - 187 с. - Текст : непосредственный. Васильев А.А. Основы теории вероятностей и математической статистики : выставочные материалы / А. А. Васильев, 2015. - 249 с. - Текст : непосредственный. Бухгалтерский учет и анализ : выставочные материалы / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2012. - 95 с. - Текст : непосредственный. Инновационная экономика и региональное инновационно-устойчивое развитие. Экологические аспекты регионального инновационно-устойчивого развития : материалы временных коллективов / гос. ун-тИ.Н.У. Чуваш., 2006. - 215 с. - Текст : непосредственный. Основные направления разработок и производства кабельных изделий для авиационной, космической и радиоэлектронной техники : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2016. - 128 с. - Текст : непосредственный. Еремкин А.В. Взаимодействие тетрацианоэтилена с карбонильными соединениями / А. В. Еремкин, 2015. - 171 с. - Текст : непосредственный. Математические модели и их приложения : Сб. науч. тр. / Чуваш. гос. ун-т им. И.Н. Ульянова. Вып. 15, 2013. - 243 с. - Текст : непосредственный. Математические модели и их приложения : Сб. науч. тр. / Чуваш. гос. ун-т им. И.Н. Ульянова. Вып. 16, 2014. - 207 с. - Текст : непосредственный. Максимов В.М. Конструирование слаботочных коммутационных элементов : выставочные материалы / В. М. Максимов, А. П. Михайлов, 2016. - 169 с. Экономическая безопасность регионов России в условиях неблагоприятного влияния факторов внешней среды / И. П. Данилов, А. А. Назаров, Е. П. Митрофанов [и др.], 2016. - 171 с. - Текст : непосредственный. Зотиков Н.З. Учет и налогообложение на малых предприятиях : выставочные материалы / Н. З. Зотиков, О. И. Арланова ; Ред. Э. Н. Рябинина, 2017. - 316 с. - Текст : непосредственный. Национальная безопасность в экологической сфере. Проблемы теории и практики : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2017. - 743 с. - Текст : непосредственный. Щедрин В.А. Электромагнитные переходные процессы в электроэнергетических системах в примерах и иллюстрациях : выставочные материалы / В. А. Щедрин, Н. М. Ермолаева, П. Л. Воронов, 2017. - 173 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный. Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный. Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный. Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный. Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный. Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный. Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный. Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный. Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный. Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный. s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный. Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный. Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный. Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный. Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный. Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный. Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный. Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный. Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный. Algebraic and logic programming : материалы временных коллективов / Ed.: H. Kirchner, W. Wechler, 1990. - 386 p. - Текст : непосредственный. Programming language implementation and logic programming : материал технической информации / Ed.: P. Decansant, J. Maluszynski, 1990. - VIII,401 p. p. - Текст : непосредственный. Programming language implementation and logic programming : материалы временных коллективов / Ed.: J. Maluszynski, M. Wirsing, 1991. - 433 p. - Текст : непосредственный. Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный. Recent advances in constraints / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
