Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 9 results.

Results
	1.	Математическое моделирование. Кибернетика. Информатика Под ред. А. М. Горцева; Томский гос. ун-т by Горцев, Александр Михайлович [ред.]. Material type: Set; Format: electronic available online Publication details: Томск Издательство Томского университета 1999Online access: Click here to access online Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	2.	No cover image available Троичное моделирование синхронных последовательных схем О. И. Голубева by Голубева, Ольга Ивановна. Source: Математическое моделирование. Кибернетика. ИнформатикаMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы О. И. Голубева by Голубева, Ольга Ивановна. Source: Таврический научный обозревательMaterial type: Article; Format: electronic available online Other title: Three-value simulation of the sequential circuit and the construction on its basis of transition sequences.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 Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации О. И. Голубева by Голубева, Ольга Ивановна. Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 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: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.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: Using inexact results for the reduction of the computational costs of the exact three-value simulation of sequential circuits.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 Интервальные расширения булевых функций и троичное моделирование последовательностных схем О. И. Голубева by Голубева, Ольга Ивановна. Source: Таврический научный обозревательMaterial type: Article; Format: electronic available online Other title: Interval extensions of boolean functions and three-value simulation of sequential circuits.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 Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций О. И. Голубева by Голубева, Ольга Ивановна. Source: Таврический научный обозревательMaterial type: Article; Format: electronic available online Other title: Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Троичное моделирование комбинационных схем с использованием ROBDD О. И. Голубева by Голубева, Ольга Ивановна. Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 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)