Приложение
для AndroidПолное описание
Губанова, Т. В.
Функциональное и логическое программирование : учебное пособие / Т. В. Губанова, Т. В. Ермакова, Т. И. Белая ; Федеральное агентство связи, Санкт-Петербургский государственный университет телекоммуникаций им. М. А. Бонч-Бруевича (СПбГУТ). - Санкт-Петербург : СПбГУТ, 20 - . - Текст : непосредственный.
Ч. 2. - 2019. - 94 с. : ил. - Библиогр.: с. 94 (8 назв.). - 30 экз.
| ГРНТИ | УДК | |
| 50.05.13 | 004.42.046 | |
| 004.42.047 |
Рубрики:
Программирование для ЭВМ функциональное
Программирование для ЭВМ логическое
Доп. точки доступа:
Ермакова, Т.В.
Белая, Т.И.
Санкт-Петербургский государственный университет телекоммуникаций им. М. А. Бонч-Бруевича
Нет сведений об экземплярах
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/73512/2)
Шифр в сводном ЭК: 70f9acf3c29a40855d3f3b0e1313ccc6
Белая Т.И. Управление процессами пуска и останова установки каталитического риформинга на основе математической модели : специальность 05.13.06 "Автоматизация и управление технологическими процессами и производствами(по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / Т. И. Белая, 2003. - 20 с. - Текст : непосредственный.
Химическое взаимодействие и равновесие смесей фаз в многокомпонентных системах из галогенидов и метаванадатов лития, натрия и калия / И. К. Гаркушин [и др.], 2015. - 132 с. - Текст : непосредственный.Моделирование фазовых систем и фазовых равновесий : учеб. пособие : в 2 ч. / Самар. гос. техн. ун-т, Каф. "Общ. и неорган. химия". Ч. 1 / И. К. Гаркушин [и др.], 2015. - 177 с. - Текст : непосредственный.Фазовые равновесия и химическое взаимодействие в многокомпонентных системах из солей лития и калия / И. К. Гаркушин [и др.], 2012. - 163 с. - Текст : непосредственный.Губанова Т.В. Фазовые равновесия в шестикомпонентной системе Li || F, Cl, Vo, SO, CrO, MoO и элементах ее огранения : автореф. дис. .. канд. хим. наук: 02.00.04 / Т. В. Губанова, 2003. - 25 с. - Текст : непосредственный.Ермакова Т.В. Совершенствование механизма управления устойчивым развитием рыбной промышленности : автореф. дис. .. канд. экон. наук: 08.00.05 / Т. В. Ермакова, 2008. - 22 с. - Текст : непосредственный.Губанова, Т. В. Функциональное и логическое программирование : учебное пособие. Ч. 2, 2019. - 94 с. - Текст : непосредственный.Функциональные материалы : учеб. пособие : [в 2 ч.] / И. К. Гаркушин [и др.] ; Сам. гос. техн. ун-т, Каф. "Общ. и неорган. химия". Ч. 1, 2015. - 386 с. - Текст : непосредственный.Водяное руно / Т. В. Ермакова [и др.], 2014. - 239 с. - Текст : непосредственный.Белая Т.И. Проблемы дизайна современных электронных книг / Т. И. Белая, Е. А. Тимофеева. - Текст : непосредственный // Естеств. и техн. науки. - М. : "Спутник+", 2014. - № 2 (70). - с. 205--208Гаркушин И.К. Фазовые равновесия в системах с участием солей лития / И. К. Гаркушин, Т. В. Губанова, Е. И. Фролов, 2010. - 119 с. - Текст : непосредственный.Ермакова Т.В. Математические модели управления движением разноглубинного трала : автореф. дис. .. канд. техн. наук: 05.18.17 / Т. В. Ермакова, 2006. - 29 с. - Текст : непосредственный.Фазовые равновесия в системах с участием метаванадатов некоторых щелочных металлов / И. К. Гаркушин [и др.], 2005. - 117 с. - Текст : непосредственный.Ермакова Т.В. Роль зернограничных сегрегаций в формировании свойств, усталостной прочности и коррозионной стойкости конструкционных сталей в ходе длительной эксплуатации при низких температурах : автореф. дис. .. канд. техн. наук: 05.16.01 / Т. В. Ермакова, 2004. - 16 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный.
Иванченко А.Н. Функциональное и логическое программирование : Учеб. пособие / А. Н. Иванченко, Д. В. Гринченков, С. И. Потоцкий, 2003. - 239 с. - Текст : непосредственный.Ездаков А.Л. Функциональное и логическое программирование : учеб. пособие / А. Л. Ездаков, 2011. - 119 с. - Текст : непосредственный.Демидов А.К. Функциональное и логическое программирование : Учеб. пособие / А.К.Демидов, 2000. - 59 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Рогов С.А. Основы оптоинформатики. Оптические методы и устройства обработки информации : учебное пособие / С. А. Рогов, 2017. - 62 с. - Текст : непосредственный.Астахов А.В. Материалы и элементная база фотоники и оптических устройств связи : учебное пособие / А. В. Астахов, Е. В. Полякова, В. Е. Стригалев, 2017. - 78 с. - Текст : непосредственный.Кубалова А.Р. Синтез и конструирование микроволновых фильтров / А. Р. Кубалова, С. В. Томашевич, 2018. - 287 с. - Текст : непосредственный.Цифровая стеганография и цифровые водяные знаки : [монография] / В. И. Коржик [и др.] ; под общ. ред. В. И. Коржика ; Санкт-Петербургский государственный университет телекоммуникаций им. М. А. Бонч-Бруевича. Ч. 2 : Цифровые водяные знаки, 2017. - 197 с. - Текст : непосредственный.Антипин Б.М. Эффективность использования радиочастотного ресурса и электромагнитная совместимость / Б. М. Антипин, Е. М. Виноградов, А. Д. Спирин, 2017. - 183 с. - Текст : непосредственный.Акимов С.В. Теоретические основы CALS : монография / С. В. Акимов, Г. В. Верхова, Н. П. Меткин, 2018. - 263 с. - Текст : непосредственный.Нуриллоев И.Н. Разработка и исследование методов обеспечения связности в беспроводных сенсорных сетях / И. Н. Нуриллоев, 2018. - 20 с. - Текст : непосредственный.Теория электрических цепей : учебное пособие / З. В. Зайцева [и др.] ; Федеральное агентство связи, Санкт-Петербургский государственный университет телекоммуникаций им. М. А. Бонч-Бруевича (СПбГУТ). Ч. 1 : Контрольно-измерительные материалыразд. 1 и 2, 2018. - 55 с. - Текст : непосредственный.Теория электрических цепей : учебное пособие / З. В. Зайцева [и др.] ;Федеральное агентство связи, Санкт-Петербургский государственный университет телекоммуникаций им. М. А. Бонч-Бруевича (СПбГУТ). Ч. 1 : Контрольно-измерительные материалыразд. 4 и 5, 2018. - 42 с. - Текст : непосредственный.Волков В.Ю. Математические методы в теории радиотехнических систем. Программы моделирования в MATLAB : учебное пособие / В. Ю. Волков, 2018. - 48 с. - Текст : непосредственный.Ковалгин Ю.А. Моделирование передающего и приемного трактов систем цифрового радиовещания : учебное пособие. Ч. 1 : Цифровое радиовещание в диапазоне ОВЧ: системы и технологии, 2018. - 106 с. - Текст : непосредственный.Лейкин А.В. Протоколы группы SIGTRAN : учебное пособие. Ч. 1, 2018. - 82 с. - Текст : непосредственный.Токарева К.Д. Технический английский язык : учебное пособие. Ч. 1, 2018. - 66 с. - Текст : непосредственный.Никитин Ю.А. Цифроаналоговый синтез частот. Теория и схемотехника / Ю. А. Никитин, 2018. - 367 с. - Текст : непосредственный.Верхова Г.В. Языки программирования для автоматизированных производств : учебное пособие / Г. В. Верхова, 2018. - 64 с. - Текст : непосредственный.Труды учебных заведений связи : научный журнал / Санкт-Петербургский государственный университет телекоммуникаций им. М. А. Бонч-Бруевича. Т. 4№ 4, 2018. - 112 с. - Текст : непосредственный.Кузьмин С.В. Проектирование устройств СВЧ диапазона : учебное пособие. Ч. 2, 2018. - 80 с. - Текст : непосредственный.Акимов С.В. Средства автоматизации управления : учебное пособие / С. В. Акимов, Г. В. Верхова, К. В. Белоус, 2018. - 61 с. - Текст : непосредственный.Военная топография : учебное пособие / В. А. Гирш [и др.], 2019. - 211 с. - Текст : непосредственный.Радиационная, химическая и биологическая защита подразделений связи в основных видах боя : учебное пособие / В. Г. Великанов [и др.], 2018. - 191 с. - Текст : непосредственный.
Показать все результатыОузьер Д. Освой самостоятельно 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. - Текст : электронный.
Показать все результатыМетакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный.Шалимов П.Ю. Функциональное программирование на языках Лисп, Эрланг : учебное пособие / П. Ю. Шалимов, 2010. - 174 с. - Текст : непосредственный.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. - Текст : непосредственный.Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный.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. - Текст : непосредственный.Заикин Н.М. Основы функционального программирования на языке AutoLISP / Н. М. Заикин, 2003. - 88 с. - Текст : непосредственный.Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный.Lippe W.-M. Funktionale und applikative Programmierung / W.-M. Lippe, 2009 r=on-line. - Текст : электронный.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 с. - Текст : непосредственный.Шалимов П.Ю. Функциональное программирование на языках Лисп, Эрланг : учебное пособие / П. Ю. Шалимов, 2010. - 174 с. - Текст : непосредственный.Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 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. - Текст : непосредственный.Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный.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. - Текст : непосредственный.Заикин Н.М. Основы функционального программирования на языке AutoLISP / Н. М. Заикин, 2003. - 88 с. - Текст : непосредственный.Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 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. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽