No video

Виталий Брагилевский - Формальная верификация операционных систем

  Рет қаралды 1,242

JUGNsk

JUGNsk

Күн бұрын

Пікірлер
Виталий Брагилевский - JavaScript на службе у теоретической информатики
1:04:26
Виталий Брагилевский - JavaScript на службе у теоретической информатики
HolyJS
Рет қаралды 10 М.
Сергей Петрелевич: Виртуальные потоки в SpringBoot
54:02
Сергей Петрелевич: Виртуальные потоки в SpringBoot
JUGNsk
Рет қаралды 1,1 М.
🩷🩵VS👿
00:38
🩷🩵VS👿
ISSEI / いっせい
Рет қаралды 26 МЛН
Meet the one boy from the Ronaldo edit in India
00:30
Meet the one boy from the Ronaldo edit in India
Younes Zarou
Рет қаралды 19 МЛН
黑天使遇到什么了？#short #angel #clown
00:34
黑天使遇到什么了？#short #angel #clown
Super Beauty team
Рет қаралды 47 МЛН
小丑把天使丢游泳池里#short #angel #clown
00:15
小丑把天使丢游泳池里#short #angel #clown
Super Beauty team
Рет қаралды 47 МЛН
Илья Сазонов, Фёдор Сазонов: БД Укротитель
59:06
Илья Сазонов, Фёдор Сазонов: БД Укротитель
JUGNsk
Рет қаралды 430
Сергей Луговой: "Java: good practices. Нормально делай - нормально будет"
54:02
Сергей Луговой: "Java: good practices. Нормально делай - нормально будет"
JUGNsk
Рет қаралды 340
Александр Усков - Автоматное программирование и его применение в видеостриминге
45:28
Александр Усков - Автоматное программирование и его применение в видеостриминге
Конференция VideoTech
Рет қаралды 179
КАК УСТРОЕН TCP/IP?
31:32
КАК УСТРОЕН TCP/IP?
Alek OS
Рет қаралды 50 М.
Андрей Кулешов: "Компиляторные плагины в Котлин: почувствуй себя системным программистом"
1:03:28
Андрей Кулешов: "Компиляторные плагины в Котлин: почувствуй себя системным программистом"
JUGNsk
Рет қаралды 247
Александр Филатов: !concurrent,worldHello или многопоточность глазами VM-инженера
50:37
Александр Филатов: !concurrent,worldHello или многопоточность глазами VM-инженера
JUGNsk
Рет қаралды 215
Docker Для Начинающих за 1 Час | Docker с Нуля
52:43
Docker Для Начинающих за 1 Час | Docker с Нуля
Vlad Mishustin
Рет қаралды 228 М.
Григорий Кошелев: Undertow - андер...что?
56:29
Григорий Кошелев: Undertow - андер...что?
JUGNsk
Рет қаралды 308
Контейнеризация. Docker. Linux namespace
14:20
Контейнеризация. Docker. Linux namespace
FIDELINA
Рет қаралды 39 М.
🧪🧪🧪🧪Как увидеть гиперпространство (4-е измерение)
23:19
🧪🧪🧪🧪Как увидеть гиперпространство (4-е измерение)
Уже Наступило
Рет қаралды 1,8 МЛН
🩷🩵VS👿
00:38
🩷🩵VS👿
ISSEI / いっせい
Рет қаралды 26 МЛН