Приложение
для AndroidПолное описание
Кудрявцева, И. А.
Элементы теоретического программирования: теория типов : учеб. пособие к курсу "Теорет. основы программирования" / И. А. Кудрявцева, М. В. Швецкий ; Рос. гос. пед. ун-т им. А. И. Герцена. - СПб. : ЛЕМА, 20 - . - Текст : непосредственный.
Ч. 2. - 2016. - 575 с. : ил. - Библиогр.: с. 520-525. - 100 экз. - ISBN 978-5-00105-070-4 : 260 р.
| ГРНТИ | УДК | |
| 50.05 | 004.42-027.21 |
Рубрики:
Программирование для ЭВМ теоретическое
Доп. точки доступа:
Швецкий, М.В.
Российский гос. пед. ун-т им. А. И. Герцена(Санкт-Петербург)
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Система автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.Взгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Руководство по программированию контроллера Sinumerik 8N. Издание 6.86 / ВЦП. - 100 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.Взгляд на экран. Серия по программированию. Последовательное описание программирования для ПЭВМ ZX Spectrum / ВЦП. - 212 c. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Ханна Джабр.Разработка средств автоматизации обеспечения мобильности типовых системных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ханна Джабр, 1991. - 16 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Лукьянец А.В. Инструментальные средства генерации оптимальных режимов функционирования компонентов проблемно-ориентированных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Лукьянец, 1990. - 16 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Марков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.
Показать все результатыКлючко В.И. Теория вычислительных процессов и структур : Учеб. пособие / В.И.Ключко, 1999. - 118 с. - Текст : непосредственный.Прохорова О.В. Теория вычислительных процессов и структур : Учеб. пособие / О.В.Прохорова, 2001. - 106 с. - Текст : непосредственный.Рабинович Е.В. Теория вычислительных процессов : Учеб. пособие / Е.В.Рабинович, 2004. - 119 с. - Текст : непосредственный.Теория вычислительных процессов : учеб. пособие / С.С. Зайдуллин, В.Н. Яхонтов, 2005. - 136 с. - Текст : непосредственный.Введение в теорию вычислительных процессов и структур : учеб. пособие / Е. В. Кузьмин, 2006. - 138 с. - Текст : непосредственный.Теория вычислительных процессов : учебник / Е. В. Рабинович, 2007. - 167 с. - Текст : непосредственный.Теория вычислительных процессов : конспект лекций / В. В. Дронов, 2009. - 86 с. - Текст : непосредственный.Лазарева И.М. Теория вычислительных процессов : учеб. пособие / И. М. Лазарева, 2013. - 78 с. - Текст : непосредственный.Кудрявцева, И. А. Элементы теоретического программирования: комбинаторная логика и теория типов : учеб. пособие к курсу "Программирование". Ч. 1, 2013. - 487 с. - Текст : непосредственный.Калайда В.Т. Теория вычислительных процессов : учеб. пособие / В. Т. Калайда, 2013. - 147 с. - Текст : непосредственный.Антипин А.Ф. Теория вычислительных процессов и структур : учеб. пособие для студентов, обучающихся по специальности "010503.65 - Мат. обеспечение и администрирование информ. систем", по направлению "010500.62 - Мат. обеспечение и администрирование информ. систем" / А. Ф. Антипин, 2013. - 127 с. - Текст : непосредственный.Теоретические основы информатики и программирования : учеб. пособие / В. И. Иванова [и др.], 2014. - 520 с.Кузнецов А.С. Теория вычислительных процессов : учебник / А. С. Кузнецов, Р. Ю. Царев, А. Н. Князьков, 2015. - 183 с.Кудрявцева, И. А. Элементы теоретического программирования: теория типов : учеб. пособие к курсу "Теорет. основы программирования". Ч. 2, 2016. - 575 с.Егоров Д.Л. Теория вычислительных процессов и структур : учебное пособие / Д. Л. Егоров, 2018. - 89 с. - Текст : непосредственный.Добрица, Вячеслав Порфирьевич. Теория вычислительных процессов и структур : учебное пособие / В. П. Добрица, Ю. А. Халин, 2021. - 131 с. - Текст (визуальный) : непосредственный.Патыковская, Марина Валентиновна. Теория алгоритмов, вычислительных процессов и структур : учебное пособие / М. В. Патыковская, В. А. Головской, 2023. - 204 с. - Текст (визуальный) : непосредственный.
Ключко В.И. Теория вычислительных процессов и структур : Учеб. пособие / В.И.Ключко, 1999. - 118 с. - Текст : непосредственный.Прохорова О.В. Теория вычислительных процессов и структур : Учеб. пособие / О.В.Прохорова, 2001. - 106 с. - Текст : непосредственный.Рабинович Е.В. Теория вычислительных процессов : Учеб. пособие / Е.В.Рабинович, 2004. - 119 с. - Текст : непосредственный.Теория вычислительных процессов : учеб. пособие / С.С. Зайдуллин, В.Н. Яхонтов, 2005. - 136 с. - Текст : непосредственный.Введение в теорию вычислительных процессов и структур : учеб. пособие / Е. В. Кузьмин, 2006. - 138 с. - Текст : непосредственный.Теория вычислительных процессов : учебник / Е. В. Рабинович, 2007. - 167 с. - Текст : непосредственный.Теория вычислительных процессов : конспект лекций / В. В. Дронов, 2009. - 86 с. - Текст : непосредственный.Лазарева И.М. Теория вычислительных процессов : учеб. пособие / И. М. Лазарева, 2013. - 78 с. - Текст : непосредственный.Кудрявцева, И. А. Элементы теоретического программирования: комбинаторная логика и теория типов : учеб. пособие к курсу "Программирование". Ч. 1, 2013. - 487 с. - Текст : непосредственный.Калайда В.Т. Теория вычислительных процессов : учеб. пособие / В. Т. Калайда, 2013. - 147 с. - Текст : непосредственный.Антипин А.Ф. Теория вычислительных процессов и структур : учеб. пособие для студентов, обучающихся по специальности "010503.65 - Мат. обеспечение и администрирование информ. систем", по направлению "010500.62 - Мат. обеспечение и администрирование информ. систем" / А. Ф. Антипин, 2013. - 127 с. - Текст : непосредственный.Теоретические основы информатики и программирования : учеб. пособие / В. И. Иванова [и др.], 2014. - 520 с.Кузнецов А.С. Теория вычислительных процессов : учебник / А. С. Кузнецов, Р. Ю. Царев, А. Н. Князьков, 2015. - 183 с.Кудрявцева, И. А. Элементы теоретического программирования: теория типов : учеб. пособие к курсу "Теорет. основы программирования". Ч. 2, 2016. - 575 с.Егоров Д.Л. Теория вычислительных процессов и структур : учебное пособие / Д. Л. Егоров, 2018. - 89 с. - Текст : непосредственный.Добрица, Вячеслав Порфирьевич. Теория вычислительных процессов и структур : учебное пособие / В. П. Добрица, Ю. А. Халин, 2021. - 131 с. - Текст (визуальный) : непосредственный.Патыковская, Марина Валентиновна. Теория алгоритмов, вычислительных процессов и структур : учебное пособие / М. В. Патыковская, В. А. Головской, 2023. - 204 с. - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽