Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Ivanov, I.
Сортировать по: заглавиюСвязанные описания:
Книга (аналит. описание)
Ivanov, I.
Accelerated Ion Beams at the DC-60 Cyclotron
б.г.
ISBN отсутствует
Ivanov, I.
Accelerated Ion Beams at the DC-60 Cyclotron
б.г.
ISBN отсутствует
На полку
Статья
Ivanov, I.
Implementation of the Composition-Nominative Approach to Program Formalization in Mizar
б.г.
ISBN отсутствует
Ivanov, I.
Implementation of the Composition-Nominative Approach to Program Formalization in Mizar
б.г.
ISBN отсутствует
Статья
Ivanov, I.
Proving Properties of Programs on Hierarchical Nominative Data
б.г.
ISBN отсутствует
Ivanov, I.
Proving Properties of Programs on Hierarchical Nominative Data
б.г.
ISBN отсутствует