|
401.
|
Параллельная композиция конечных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли by Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format:
electronic
available online
Online access: Click here to access online Availability: No items available :
|
|
402.
|
Дискретные автоматы на полурешетках Г. П. Агибалов by Агибалов, Геннадий Петрович, 1939-2020 | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии. Source: Прикладная дискретная математикаMaterial type: Article; Format:
electronic
available online
Online access: Click here to access online Availability: No items available :
|
|
403.
|
|
|
404.
|
|
|
405.
|
Минимизация временных автоматов с таймаутами О. В. Кондратьева by Кондратьева, Ольга Викторовна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
406.
|
|
|
407.
|
|
|
408.
|
|
|
409.
|
|
|
410.
|
|
|
411.
|
|
|
412.
|
|
|
413.
|
|
|
414.
|
|
|
415.
|
|
|
416.
|
К минимизации автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format:
electronic
available online
Online access: Click here to access online Availability: No items available :
|
|
417.
|
|
|
418.
|
|
|
419.
|
|
|
420.
|
Improving protocol passive testing through "Gedanken" experiments with finite state machines N. Kushik, J. López, A. Cavalli, N. Yevtushenko by Kushik, Natalia G | Cavalli, Ana Rosa | Yevtushenko, Nina V | López, Jorge. Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, AustriaMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
421.
|
|
|
422.
|
К минимизации автоматов с таймаутами А. С. Твардовский by Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
423.
|
|
|
424.
|
|
|
425.
|
|
|
426.
|
|
|
427.
|
|
|
428.
|
|
|
429.
|
|
|
430.
|
|
|
431.
|
|
|
432.
|
|
|
433.
|
|
|
434.
|
|
|
435.
|
|
|
436.
|
Нечеткие модели и сети В. В. Борисов, В. В. Круглов, А. С. Федулов by Борисов, Вадим Владимирович | Круглов, Владимир Васильевич | Федулов, Александр Сергеевич. Edition: 2-е изд., стер.Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Москва Горячая линия - Телеком 2017Availability: No items available :
|
|
437.
|
|
|
438.
|
|
|
439.
|
|
|
440.
|
|
|
441.
|
|
|
442.
|
Testing digital circuits: studying the increment of the number of states and estimating the fault coverage E. Vinarskii, A. Laputenko, J. López, N. G. Kushik by Laputenko, Andrey V | López, Jorge | Kushik, Natalia G | Vinarskii, Evgenii. Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
443.
|
Детерминированные редукции недетерминированных автоматов М. В. Ветрова by Ветрова, Мария Викторовна. Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
444.
|
|
|
445.
|
|
|
446.
|
|
|
447.
|
|
|
448.
|
О минимизации временных автоматов А. С. Твардовский by Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
449.
|
|
|
450.
|
|