Java Bytecode Verification: Algorithms and Formalizations
- 作者Xavier Leroy
- 卷第30卷
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小224.08KB
- 发表时间2003-05
- DOI10.1023/a:1025055424017
- 页码235-269
Stable 17-electron manganese complexes in the synthesis of macromoleculesI. D. Grishin; V. V. Krivykh; A. A. Shchepalov; E. S. Taits; N. A. Ustynyuk; D. F. Grishin · 2009
Efficient methods for the preparation of bromine-containingexo-nido- andcloso-ruthenacarborane clustersD’yachihin, D. I.; Grishin, I. D.; Piskunov, A. V.; Godovikov, I. A.; Kostukovich, A. Yu.; Smol’yakov, A. F.; Dolgushin, F. M.; Chizhevsky, I. T.; Grishin, D. F. · Russian Chemical Bulletin · 2014
AbstractsV. A. Bessonov; B. I. Konobeev; N. A. Grinevich; A. A. Mikhelev; M. M. Dvortsin; N. A. Nikol'skii; R. I. Pepinov; F. F. Kulabukhov; V. G. Pravdin; M. F. Mikhalev; Yu. A. Chesnokovt; G. S. Antonova; V. V. Popivnenko; A. I. Borisenko; I. I. Mosina; T. N. Travkina; A. I. Yakovlev; Yu. A. Gavrilov; M. I. Dubovis; V. I. Lozgachev; V. F. Apanasenko; I. M. Shnaid; A. M. Grishin · 1973
Group analysis of acid tarsG. A. Kolmakov; V. F. Zanozina; M. V. Khmeleva; A. S. Okhlopkov; D. F. Grishin; A. D. Zorin · 2006
Efficient catalytic systems based on paramagneticcloso-ruthenacarboranes for the controlled synthesis of polymersGrishin, I. D.; Turmina, E. S.; D’iachihin, D. I.; Vinogradov, D. S.; Piskunov, A. V.; Smolyakov, A. F.; Dolgushin, F. M.; Chizhevsky, I. T.; Grishin, D. F. · Russian Chemical Bulletin · 2011
Status of the BAIKAL neutrino experimentA. V. Avrorin; V. M. Aynutdinov; V. A. Balkanov; I. A. Belolaptikov; S. F. Berezhnev; D. Yu. Bogorodsky; N. M. Budnev; I. A. Danilchenko; G. V. Domogatsky; A. A. Doroshenko; A. N. Dyachok; Zh. -A. M. Dzhilkibaev; G. Ermakov; S. V. Fialkovsky; O. N. Gaponenko; K. V. Golubkov; O. A. Gress; T. I. Gress; N. Grishin; O. G. Grishin; A. M. Klabukov; A. I. Klimov; K. V. Konishchev; A. V. Korobchenko; A. P. Koshechkin; V. F. Kulepov; D. A. Kuleshov; L. A. Kuzmichev; V. I. Ljashuk; E. Middell; S. P. Mikheev; M. B. Milenin; R. A. Mirgazov; E. R. Osipova; A. I. Panfilov; A. L. Pan’kov; L. V. Pan’kov; A. A. Perevalov; D. A. Petukhov; E. N. Pliskovsky; V. A. Poleshchuk; E. G. Popova; V. V. Prosin; M. I. Rozanov; V. F. Rubzov; E. V. Rjabov; A. V. Shirokov; B. A. Shoibonov; A. A. Sheifler; Ch. Spering; O. V. Suvorova; B. A. Tarashchansky; R. Wischnewski; A. S. Yagunov; A. V. Zagorodnikov; V. A. Zhukov · 2011
Heterolytic Reactions of 2-(Furyl-2)-1,3-dioxacycloalkanes.K. V. Chanysheva; E. F. Tokunova; M. A. Khusainov; T. D. Khlebnikova; F. M. Shakirova; S. A. Grishin; E. A. Kantor · 2005
Synthesis of functional polymers based on methacrylic monomers using ruthenium carborane complexesGrishin, I. D.; Kiseleva, N. E.; Markin, A. V.; Chizhevsky, I. T.; Grishin, D. F. · Polymer Science Series B · 2015
On a relationship for Bernoulli numbersV. N. Lyakhovitskii · Mathematical Notes · 1967
Legendre transformation of convex functionsV. S. Vladimirov · Mathematical Notes · 1967
Nonoscillatory second-order optimal systemsV. G. Boltyanskii · Mathematical Notes · 1967
Radius of univalence of holomorphic functionsV. I. Gavrilov · Mathematical Notes · 1970
Endomorphically closed quasigroupsA. D. Bol'bot; Yu. N. Golubev · Mathematical Notes · 1970
A ring of quotientsL. Sh. Ioffe · Mathematical Notes · 1970
Consecutive residues and nonresidues of polynomialsL. E. Mazur · Mathematical Notes · 1970
A class of nuclear spacesM. M. Dragilev; V. P. Kondakov · Mathematical Notes · 1970