Научная библиотека ТГУ catalog › Results of search for 'an:"69956"'

Search

Your search returned 9 results.

	1.	No cover image available К построению параллельной композиции расширенных автоматов Е. В. Дарусенкова, С. А. Прокопенко, Н. В. Шабалдина by Дарусенкова, Екатерина Владимировна \| Прокопенко, Светлана Анатольевна \| Шабалдина, Наталия Владимировна. Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available К построению параллельной композиции расширенных автоматов Е. В. Широкова, С. А. Прокопенко, Н. В. Шабалдина by Широкова, Екатерина Владимировна \| Прокопенко, Светлана Анатольевна \| Шабалдина, Наталия Владимировна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: On deriving the parallel composition of extended finite state machines.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Тестирование DART-реализации клиентской части протокола POP3 С. А. Прокопенко, Н. В. Шабалдина, А. П. Сотников by Прокопенко, Светлана Анатольевна \| Шабалдина, Наталия Владимировна \| Сотников, Александр Павлович. Source: Молодежь и современные информационные технологии : сборник трудов XVIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 22–26 марта 2021 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Тестирование JAVA программ с использованием инструмента FSMTest2JUnit С. В. Батрацкий, С. А. Прокопенко, М. Л. Громов, Н. В. Шабалдина by Прокопенко, Светлана Анатольевна \| Громов, Максим Леонидович \| Шабалдина, Наталия Владимировна \| Батрацкий, Сергей Васильевич. Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов А. Н. Михайлова, В. С. Болтова, С. А. Прокопенко, Н. В. Шабалдина by Болтова, Виктория Сергеевна \| Прокопенко, Светлана Анатольевна \| Шабалдина, Наталия Владимировна \| Михайлова, Александра Николаевна. Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером М. Л. Громов, С. А. Прокопенко, А. П. Сотников, Н. В. Шабалдина by Громов, Максим Леонидович \| Прокопенко, Светлана Анатольевна \| Сотников, Александр Павлович \| Шабалдина, Наталия Владимировна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Optimization of the client component by the criterion of the absence of redundant dialogues with the server.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Проверка свойства реактивности в Dart-реализации SMTP-клиента А. П. Сотников, М. Л. Громов, С. А. Прокопенко, Н. В. Шабалдина by Сотников, Александр Павлович \| Громов, Максим Леонидович \| Прокопенко, Светлана Анатольевна \| Шабалдина, Наталия Владимировна. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Checking input-output behaviour of the SMPT-client Dart implementation.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером А. П. Сотников, Н. В. Шабалдина, М. Л. Громов [и др.] by Сотников, Александр Павлович \| Шабалдина, Наталия Владимировна \| Громов, Максим Леонидович \| Прокопенко, Светлана Анатольевна \| Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Redundant interaction experimental identification of the Dart-implementation of the SMTP client with the server.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Новые информационные технологии в исследовании сложных структур материалы Тринадцатой международной конференции, 7-9 сентября 2020 г. М-во науки и высш. образования РФ, Нац. исслед. Том. гос. ун-т, Ангарский гос. техн. ун-т, Ин-т вычислит. мат. и мат. геофизики СО РАН ; [ред. кол.: А. М. Горцев и др.] by Беккерман, Екатерина Николаевна [edt] \| Шабалдина, Наталия Владимировна [edt] \| Горцев, Александр Михайлович, 1944-2023 [edt] \| Громов, Максим Леонидович [edt] \| Торгаев, Станислав Николаевич [edt] \| Медведев, Юрий Геннадьевич [edt] \| Останин, Сергей Александрович [edt] \| Прокопенко, Светлана Анатольевна [edt] \| Захарова, Галина Борисовна [edt] \| Матросова, Анжела Юрьевна [edt] \| Нежельская, Людмила Алексеевна [edt] \| Томский государственный университет. Material type: Set; Format: electronic available online Publication details: Томск Издательский Дом Томского государственного университета 2020Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)