Библиография Лаврова И.А.

Новости

27 Апреля, 2023 Х конференция «OS DAY. Экосистема российских ОС» пройдет в Москве в июне 2023 года

14 Апреля, 2023 В ИСП РАН прошёл семинар по истории метода сборки технических, операционных и информационных систем

02 Марта, 2023 Delta Computers и ИСП РАН подтвердили совместимость продуктов

K

Kach A.M.
Kaddah D.
Kahr A.S.
Kalantari I.
Kalimullin I. Sh.
Kalmár L
Kanda A.
Kaphengst H.
Karp C.
Kastanas J.G.
Kastermans B.
Kechris A.S.
KentCF
KentT
Khoussainov B. M.
Kierstead H.
Kinber E. B.
Kjos-Hanssen B.
Kleene S. C.
Kleinberg E.M.
Klette R.
Knight J.F.
KoKI
Kochen S.
Kolaitis P.G.
Kolmogorov A.N.
Kontostathis K.
Kramer R.
Kreisel G.
Kripke S.
Kristiansen L.
Krom M.
Kučera A.
Kudinov O.V.
Kumabe M.
Kumar R.
Kummer M.
Kurtz S.A.

Вернуться на главную страницу