Полное описание
Марков, В. Н. ISBN 978-5-9775-3487-1. - Текст : непосредственный.
ГРНТИ УДК 50.05.03 004.42.047 50.05.09 004.438
Рубрики: Программирование для ЭВМ логическое
Программирования языки -- Visual Prolog
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-16/59466)
Шифр в сводном ЭК: 5cc46865b431ed2ffc50fbc4f02cd062
Марков В.Н. Организация Объединенных Наций и национальные информационные агентства / В.Н.Марков. - Текст : непосредственный // Проблемы информациологии и мирового информационного сообщества : Материалы Междунар.форума информатизации / Международный форум по информатизации (6;1997;Москва). - М. - 1997. - с. 49-59 Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Марков В.Н. Теория управления : (устойчивость, стабилизация, оценки): учебное пособие / В. Н. Марков, В. Д. Фурасов; под общей редакцией проф. К. А. Пупкова, 1974. - 210 с. - Текст : непосредственный. Основы кибернетики. Математические основы кибернетики : учебное пособие / А. И. Галушкин [и др.]; под редакцией профессора К. А. Пупкова, 1974. - 415, [1] с. - Текст : непосредственный. Неволин В.А. Геологоразведчики Центральной Сибири / В. А. Неволин, В. Н. Марков, А. В. Полушин, 1997. - 296 с. - Текст : непосредственный. Марков В.Н. Голубая планета Земля. Научный трактат о строении Земли / В.Н.Марков, 1998. - 23 с. - Текст : непосредственный. Марков В.Н. Математическая логика и теория алгоритмов : учебное пособие / В. Н. Марков, 2018. - 167 с. - Текст : непосредственный. Марков В.Н. Идентификация и синтез интеллектуальных NP-полных систем : автореф. дис. .. д-ра техн. наук: 05.13.01 / В. Н. Марков, 2007. - 41 с. - Текст : непосредственный. Марков В.Н. Основы современной физики и космологии : учеб. пособие для общеобразоват. учреждений с углубл. изучением физики / В. Н. Марков, 2014. - 181 с. - Текст : непосредственный. Марков В.Н. Проблемы профессиональной самореализации кадров управления : Монография / В.Н. Марков; Под общ. ред. Деркача А.А., 2004. - 104 с. - Текст : непосредственный. Марков В.Н. Массы и радиационные переходы тяжелых кваркониев : автореф. дис. .. канд. физ.-мат. наук: 01.04.02 / В. Н. Марков, 2004. - 16 с. - Текст : непосредственный. Марков В.Н. Научно-образовательный комплекс в системе общественного воспроизводства : автореф. дис. .. канд. экон. наук: 08.00.01 / В. Н. Марков, 2003. - 25 с. - Текст : непосредственный. Марков В.Н. Современное логическое программирование на языке Visual Prolog 7.5 : учебник / В. Н. Марков, 2016. - 541 с. - Текст : непосредственный. Марков В.Н. Современная физика. Концептуальные и методические основы изучения / В. Н. Марков, Н. М. Пухов, 2007. - 384 с. - Текст : непосредственный. Лисицын Л.Н. Теоретические аспекты процесса окисления растительных масел и их защиты / Л. Н. Лисицын, В. Н. Марков, В. Н. Григорьева, 2019. - 136 с. - Текст : непосредственный. Технологии масложировых производств / Лисицын А. Н., Григорьева В. Н., Марков В. Н. [и др.] ; научный редактор Кузнецова Н. В. ; Министерство науки и высшего образования Российской Федерации, Всероссийский научно-исследовательский институт жиров (ВНИИЖиров). Кн. 1, 2019. - 220 с. - Текст : непосредственный. Показать все результаты Черемных Н.Я. Статистика коммерческой деятельности / Н. Я. Черемных, О. Ф. Чистик, Г. В. Юльская, 2007. - 143 с. - Текст : непосредственный. Жмакин А.П. Архитектура ЭВМ : учебное пособие / А. П. Жмакин, 2010. - 344 с. - Текст : непосредственный. Экономика и финансовое обеспечение инновационной деятельности : учебное пособие / И. Л. Туккель, С. Н. Яшин, Е. В. Кошелев, С. А. Макаров, 2011. - 237 с. - Текст : непосредственный. Юревич, Евгений Иванович. Основы робототехники : учебное пособие / Е. И. Юревич, 2010. - 359 с. - Текст : непосредственный. Лехин С.Н. Схемотехника ЭВМ : учебное пособие / С. Н. Лехин, 2010. - 661 с. - Текст : непосредственный. Юревич, Евгений Иванович. Основы роботехники / Е. И. Юревич, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Большаков В.П. Инженерная и компьютерная графика. Теоретический курс и тестовые задания : выставочные материалы / В. П. Большаков, А. В. Чагина, 2016. - 382 с. - Текст : непосредственный. Сергиенко А.Б. Цифровая обработка сигналов : учебное пособие / А. Б. Сергиенко, 2011. - 756 с. - Текст : непосредственный. Разработка и принятие решения в управлении инновациями : учебное пособие / И. Л. Туккель, С. Н. Яшин, С. А. Макаров, Е. В. Кошелев, 2011. - 344 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Туккель И.Л. Управление инновационными проектами : учебное пособие / И. Л. Туккель, А. В. Сурина, Н. Б. Культин, 2017. - 404 с. - Текст : непосредственный. Борзунов С.В. Практикум по параллельному программированию / С. В. Борзунов, С. Д. Кургалин, А. В. Флегель, 2017. - 236 с. - Текст : непосредственный. Носов, А. С. Экономика недвижимости : учеб. пособие. Ч. 1, 2007. - 176 с. - Текст : непосредственный. Авербах В.С. Создание ресурсов WWW : Учеб. пособие / В.С. Авербах, 2005. - 124 с. - Текст : непосредственный. Вайсбурд В.А. Экономика труда : учеб. пособие / В. А. Вайсбурд, 2007. - 310 с. - Текст : непосредственный. Показать все результаты BASIC, 1992. - 97 с. - Текст : непосредственный. Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный. Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный. Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный. Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный. Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный. Фальк В.Н. Теория направленных отношений и ее приложения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Н. Фальк, 2001. - 40 с. - Текст : непосредственный. Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный. Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный. Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный. Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный. Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный. Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный. Грабер М. Введение в SQL / М. Грабер, 2008. - 375 с. - Текст : непосредственный. БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный. Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный. Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Ramm F. Microsoft BASIC PDC 7.1 : монография / F. Ramm, 1992. - XX,601 S. S. - Текст : непосредственный. Березин Б.И. Начальный курс С и С++ / Б. И. Березин, С. Б. Березин, 2007. - 288 с. - Текст : непосредственный. Зубков С.В. Assembler для DOS, Windows и UNIX / С. В. Зубков, 2006. - 608 с. - Текст : непосредственный. Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты BASIC, 1992. - 97 с. - Текст : непосредственный. Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный. Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный. Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный. Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный. Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный. Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный. Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный. Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный. Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный. Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный. Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный. Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Ramm F. Microsoft BASIC PDC 7.1 : монография / F. Ramm, 1992. - XX,601 S. S. - Текст : непосредственный. Березин Б.И. Начальный курс С и С++ / Б. И. Березин, С. Б. Березин, 2007. - 288 с. - Текст : непосредственный. Фленов М.Е. Библия С # / М. Е. Фленов, 2009. - 547 с. - Текст : непосредственный. Культин Н.Б. С/С++ в задачах и примерах / Н. Б. Культин, 2009. - VII,368 с. - Текст : непосредственный. Фленов М.Е. Библия С # / М. Е. Фленов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
