Вы здесь
Каличкин С. В.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
П | Обзор средств статической отладки программ | 2004 | Каличкин С. В. | ИСИ СО РАН | 05.06.2004 | |||
СТ | Спецификация, верификация и реализация протокола передачи данных с авариями и отключениями | 2006 | Шелехов В. И., Каличкин С. В. | ИСИ СО РАН | Методы предикатного программирования | 27.09.2006 | ||
СТ | Система измерения сме ений и деформаций смежных конструкций | 2006 | Каличкин С. В., Шелехов В. И. | ИСИ СО РАН | Методы предикатного программирования | 27.09.2006 |