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

Search

Your search returned 5 results.

	1.	No cover image available Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Е. В. Широкова, Н. В. Евтушенко by Широкова, Екатерина Владимировна \| Евтушенко, Нина Владимировна. Source: Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические наукиMaterial type: Article; Format: electronic available online Other title: Deriving safe components of web services based on the solution of FSM equations.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 Проверка разрешимости уравнений относительно конкатенации для полуавтоматов с таймаутами Е. В. Широкова, Н. В. Евтушенко by Широкова, Екатерина Владимировна \| Евтушенко, Нина Владимировна. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Checking the solvability of equations over the concatenation for automata with timeouts.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 Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений Е. В. Широкова, Л. Г. Евтушенко, А. В. Лапутенко, Н. В. Евтушенко 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)
	5.	No cover image available Оптимизация компонентов автоматных сетей Е. В. Широкова, В. А. Шварцкоп by Широкова, Екатерина Владимировна \| Шварцкоп, Виктор Александрович. Source: Электронные средства и системы управления : XVI Международная научно-практическая конференция, 18–20 ноября 2020 г. : материалы докладов : в 2 ч.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)