Results of search for 'su:"компьютерные науки."' › Научная библиотека ТГУ catalog

Results
	1.	Computability and complexity theory Steven Homer, Alan L. Selman by Homer, Steven \| Selman, Alan L. Series: Texts in computer science / ed. by David Gries, Fred B. SchneiderMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: New York [a. o.] Springer 2001Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	2.	Vector and parallel processing - VECPAR 2000 4th international conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks edited by Jose M. L. M. Palma, Jack Dongarra, Viecente Hernandez by Palma, Jose M. L. M [edt] \| Dongarra, Jack [edt] \| Hernandez, Viecente [edt]. Series: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin [a. o.] Springer 2001Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	3.	No cover image available Математические структуры и моделирование научный журнал Омский государственный университет, Факультет компьтерных наук Material type: Continuing resource; Format: print ; Type of continuing resource: periodical Publication details: Омск Омский государственный университет 2005-Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	4.	Логика конспект лекций: техника рассуждений В. Э. Вольфенгаген ; Ин-т актуального образования "ЮрИнфоР-МГУ", Каф. перспективных компьютерных исслед. и информ. технологий by Вольфенгаген, Вячеслав Эрнстович. Series: Библиотека "ЮрИнфоР"Edition: Изд. 2-е, доп. и перераб.Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: М. Центр ЮрИнфоР 2004Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	5.	Protocols for authentication and key establishment Colin Boyd, Anish Mathuria by Boyd, Colin \| Mathuria, Anish. Series: Information security and cryptographyMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin [a. o.] Springer 2003Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	6.	Введение в компьютерные науки Электронный ресурс [пер. с англ.] Дж. Гленн Брукшир ; под общ. ред. В. Н. Штонды by Брукшир, Дж. Гленн \| Штонда, Виктор Николаевич [edt]. Edition: 6-е изд.Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др.] Вильямс 2001Other title: Computer science an overview.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	Природа. Человек. Наука энциклопедия ОЛМА : [для старшего школьного возраста ред. Е. Г. Ананьева] by Ананьева, Елена Германовна [edt]. Series: Обо всем на светеMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Москва ОЛМА Медиа Групп 2013Availability: No items available : Tags: Популярная наука (97) Place hold Log in to add tags Add to cart (remove)
	8.	No cover image available История, этнография, музеи и компьютеры В. М. Кулемзин, А. Т. Топчий, Р. А. Топчий by Кулемзин, Владислав Михайлович, 1938-2021 \| Топчий, Анатолий Тихонович, 1939-2010 \| Топчий, Роман Анатольевич. Source: Интеграция археологических и этнографических исследований : сборник научных трудов : [материалы VII Международного научного семинара, посвященного 80-летию со дня рождения И. С. Гурвича и 90-летию со дня рождения З. Я. Бояршиновой, проходившего в рамках III Конгресса этнографов и антропологов России (Москва, июня 1999 г.)]Material type: Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The concept of proof in the context of a type-theoretic approach, II: proofs of theorems.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	10.	No cover image available Информатика для гуманитариев учебник и практикум для вузов Г. Е. Кедрова [и др.] ; под редакцией Г. Е. Кедровой. by Кедрова, Г. Е \| Муромцева \| Муромцев \| Потемкин \| Кушлянская \| Волкова \| Колыбасова. Series: Высшее образованиеMaterial type: Text; Format: electronic available online Publication details: Москва Юрайт 2023Online access: ЭБС Юрайт Availability: No items available : Log in to add tags Add to cart (remove)
	11.	No cover image available О первом центре высшего математического образования в Сибири В. Н. Берцун, Е. С. Косова by Берцун, Владимир Николаевич, 1942- \| Косова, Екатерина Сергеевна. Source: Вестник Томского государственного университета. Математика и механикаMaterial type: Article; Format: electronic available online Other title: About the first center of higher mathematical education in Siberia.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	No cover image available Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The concept of proof in the context of a type-theoretic approach, I: proof of computer program correctness.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)