Научная библиотека ТГУ catalog › Results of search for 'su:"ламбда-исчисление."'

Search

Your search returned 7 results.

	1.	Введение в математическую логику учебное пособие : [для студентов математических направлений университетов] В. М. Зюзьков ; Нац. исслед. Том. гос. ун-т by Зюзьков, Валентин Михайлович \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Томск Издательский Дом Томского государственного университета 2017Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"] В. М. Зюзьков, А. А. Шелупанов by Зюзьков, Валентин Михайлович \| Шелупанов, Александр Александрович, 1954-. Series: Учебное пособие для высших учебных заведенийEdition: 2-е изд.Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Горячая линия - Телеком 2007Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Программирование на языке высокого уровня учебник для студентов высших учебных заведений, обучающихся по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям С. В. Синицын, А. С. Михайлов, О. И. Хлытчиев by Синицын, Сергей Владимирович \| Михайлов, Александр Сергеевич \| Хлытчиев, Олег Игоревич. Series: Высшее профессиональное образованиеMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Language: Russian Publication details: Москва Академия 2010Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Ленивое функциональное программирование [Учебное пособие для вузов по специальности 220400 "Программное обеспечение вычислительной техники и автоматизированных систем"] В. М. Зюзьков; Томский гос. ун-т систем упр. и радиоэлектроники by Зюзьков, Валентин Михайлович \| Томский государственный университет систем управления и радиоэлектроники. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск б. и. 2002Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Введение в теорию программирования. Курс лекций учебное пособие: [для студентов вузов, обучающихся по специальности 351400 "Прикладная информатика"] С. В. Зыков ; авт. предисл. В. Э. Вольфенгаген by Зыков, Сергей Викторович. Series: Основы информационных технологийMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: М. Интернет-Университет Информационных Технологий 2004Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Ленивое функциональное программирование учебное пособие : [для вузов по направлению подготовки дипломированных специалистов 230100 "Информатика и вычислительная техника", специальности 230105 "Программное обеспечение вычислительной техники и автоматизированных систем"] В. М. Зюзьков ; Томский гос. ун-т систем упр. и радиоэлектроники by Зюзьков, Валентин Михайлович \| Томский государственный университет систем управления и радиоэлектроники. Edition: 2-е изд., перераб. и доп.Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск Издательство Томского университета 2007Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Использование ламбда-исчисления при моделировании и синтезе структур специализированных программных систем САПР Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.16, 05.13.12 Рос. АН, Ин-т проблем управления(автомат. и телемех. ); Науч. рук. Е. И. Артамонов by Новиков, Денис Викторович. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. 1994Availability: No items available : Log in to add tags Add to cart (remove)