Российская национальная библиография

Уточнить поиск

Ваш поиск дал 5 результатов

Сортировать
Результаты поиска
1.
КнигаVacuum fine tuning and empirical estimations of masses of the top-quark and Higgs boson / A. A. Andrianov, N. V. RomanenkoAndrianov, Aleksandr Andreevič -- АвторRomanenko, N. V. -- Автор1993Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Фз01 Д-4/7035 (1).

2.
КнигаAutomatic verification of counter systems via domain-specific multi-result supercompilation / Andrei V. Klimov, Ilya G. Klyuchnikov, Sergei A. RomanenkoKlimov, Andrej V -- АвторKljučnikov, Il'ja Grigor'evič -- Автор;Romanenko, Sergej A -- Автор2012Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2012-4/64 (1).

3.
КнигаImplementing a domain-specific multi-result supercompiler by means of the MRSC toolkit / Andrei V. Klimov, Ilya G. Klyuchnikov, Sergei A. RomanenkoKlimov, Andrej V -- АвторKljučnikov, Il'ja Grigor'evič -- Автор;Romanenko, Sergej A -- Автор2012Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2012-4/66 (1).

4.
КнигаUCN anomalous losses and the UCN capture cross-section on material defects / A. Serebrov, N. Romanenko, O. Zherebtsov [et al.]Serebrov, Anatolij Pavlovič -- Автор;Romanenko, Nikolaj Vladimirovič -- Автор;Žerebcov, O. M. -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2005-4/41 (1).

5.
Страницы