Экосистема разработки в 2021 году: чем живут программисты в России и мире +17 25.11.2021 16:11 advertka 5 Программирование Блог компании JetBrains Исследования и прогнозы в IT
Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq +26 16.11.2021 10:12 JetBrains_Education 37 Алгоритмы Тестирование IT-систем Функциональное программирование Блог компании Образовательные проекты JetBrains
JetBrains Education: предсказание побочных эффектов лекарств +11 02.08.2021 11:27 karl_crl 0 Машинное обучение Блог компании JetBrains Биотехнологии Химия
Научно-исследовательские инициативы JetBrains +26 03.03.2021 10:35 vovak 3 Машинное обучение Биотехнологии Исследования и прогнозы в IT Робототехника Блог компании JetBrains
Из студентов в преподаватели: интервью с выпускниками магистерской программы JetBrains + ИТМО. Часть 2 +1 01.03.2021 14:49 JetBrains_Education 0 Карьера в IT-индустрии Учебный процесс в IT Блог компании Образовательные проекты JetBrains
Model Checking для тестирования многопоточности? С Lincheck — легко +6 03.02.2021 09:31 JetBrains_Education 0 Тестирование IT-систем Блог компании Образовательные проекты JetBrains
Открытые материалы: курс по вычислительной нейронауке +12 04.01.2021 13:56 JetBrains_Education 0 Учебный процесс в IT Блог компании Образовательные проекты JetBrains
Learn to Run +1 18.06.2020 11:49 albina_nurtdinova 2 Машинное обучение Блог компании Образовательные проекты JetBrains
Истории развития популяций, генетика и генетические алгоритмы +10 27.05.2020 09:11 albina_nurtdinova 1 Алгоритмы Блог компании Образовательные проекты JetBrains
Анализ данных ChIP-seq: от гистонов к информатическим задачам +6 20.02.2020 18:11 albina_nurtdinova 0 Биотехнологии Блог компании Образовательные проекты JetBrains
Открытые лекции лабораторий JetBrains Research +15 20.01.2020 11:30 kate_artamonova 3 Блог компании Образовательные проекты JetBrains
Введение в функциональные зависимости +7 11.11.2019 13:24 albina_nurtdinova 1 Исследования и прогнозы в IT Блог компании Образовательные проекты JetBrains
Arend – язык с зависимыми типами, основанный на HoTT (часть 2) +19 08.10.2019 17:36 albina_nurtdinova 0 Программирование Блог компании Образовательные проекты JetBrains
Подход интенсивного обучения STEM +14 14.09.2019 09:59 albina_nurtdinova 0 Из песочницы Учебный процесс в IT Блог компании Образовательные проекты JetBrains
Реляционное программирование: боль, интерес и снова боль +20 21.02.2019 11:38 rozplokhas 9 Алгоритмы Учебный процесс в IT Ненормальное программирование Математика Блог компании Питерская Вышка