diff options
Diffstat (limited to 'content/digarden/pages/20210414220507-институт_системного_программирования.org')
-rw-r--r-- | content/digarden/pages/20210414220507-институт_системного_программирования.org | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/content/digarden/pages/20210414220507-институт_системного_программирования.org b/content/digarden/pages/20210414220507-институт_системного_программирования.org new file mode 100644 index 0000000..6bff414 --- /dev/null +++ b/content/digarden/pages/20210414220507-институт_системного_программирования.org @@ -0,0 +1,9 @@ +:PROPERTIES: +:ID: f2be17b3-c69d-45d7-b6bf-2f9b6f1cedd2 +:END: +#+title: Институт системного программирования +Институт системного программирования им. В.П. Иванникова РАН -- топовый +вуз в РФ и возможно мире, связанный с доказательным системным +программированием. + +Сайт: http://https://www.ispras.ru |