|
401.
|
|
|
402.
|
Об альтернативе стандартной машине вывода в Прологе В. Б. Новосельцев by Новосельцев, Виталий Борисович. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
403.
|
|
|
404.
|
|
|
405.
|
|
|
406.
|
|
|
407.
|
|
|
408.
|
|
|
409.
|
|
|
410.
|
|
|
411.
|
|
|
412.
|
|
|
413.
|
|
|
414.
|
|
|
415.
|
|
|
416.
|
|
|
417.
|
|
|
418.
|
|
|
419.
|
|
|
420.
|
|
|
421.
|
|
|
422.
|
|
|
423.
|
|
|
424.
|
|
|
425.
|
|
|
426.
|
|
|
427.
|
|
|
428.
|
|
|
429.
|
|
|
430.
|
|
|
431.
|
Подсистема выполнения математических расчетов А. В. Лезарев, А. С. Шкуркин by Лезарев, Александр Викторович | Шкуркин, Алексей Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
432.
|
|
|
433.
|
Динамика коллективов автоматов в среде А. Н. Курганский by Курганский, Алексей Николаевич. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
434.
|
|
|
435.
|
|
|
436.
|
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов И. С. Ануреев by Ануреев, И. С. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
437.
|
|
|
438.
|
|
|
439.
|
|
|
440.
|
|
|
441.
|
|
|
442.
|
Мобильная связь и мобильный интернет нового поколения А. А. Погуда by Погуда, Алексей Андреевич. Source: Инноватика - 2007 : сборник материалов III Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых, 18-20 апреля 2007 г., г. Томск, РоссияMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
443.
|
|
|
444.
|
|
|
445.
|
|
|
446.
|
|
|
447.
|
|
|
448.
|
|
|
449.
|
Passive testing using configuration distinguishability A. R. Cavalli, S. Prokopenko by Cavalli, Ana Rosa | Prokopenko, Svetlana A. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
450.
|
|