Joseph Sifakis, 2007 A.M. Turing Award Laureate Interview

Поделиться
HTML-код
  • Опубликовано: 14 янв 2025

Комментарии •

Следующие
Автовоспроизведение
William Kahan, 1989 ACM Turing Award Recipient4:37:35William Kahan, 1989 ACM Turing Award Recipient
William Kahan, 1989 ACM Turing Award RecipientAssociation for Computing Machinery (ACM)
Просмотров 8 тыс.
Oral History of Ronald L. Rivest1:49:43Oral History of Ronald L. Rivest
Oral History of Ronald L. RivestComputer History Museum
Просмотров 3,1 тыс.
Leslie G.Valiant , 2010 ACM Turing Award Recipient1:04:08Leslie G.Valiant , 2010 ACM Turing Award Recipient
Leslie G.Valiant , 2010 ACM Turing Award RecipientAssociation for Computing Machinery (ACM)
Просмотров 44 тыс.
Victim - Animator vs. Animation 1120:24Victim - Animator vs. Animation 11
Victim - Animator vs. Animation 11Alan Becker
Просмотров 6 млн
Stray Kids Answers 30 Questions As Quickly As Possible05:56Stray Kids Answers 30 Questions As Quickly As Possible
Stray Kids Answers 30 Questions As Quickly As PossibleBuzzFeed Celeb
Просмотров 425 тыс.
I Upgraded to MAX Dragon Fruit in Blox Fruits Update19:43I Upgraded to MAX Dragon Fruit in Blox Fruits Update
I Upgraded to MAX Dragon Fruit in Blox Fruits UpdateWinterKloudz
Просмотров 853 тыс.
Noob To Pro With DRAGON REWORK in Blox Fruits28:36Noob To Pro With DRAGON REWORK in Blox Fruits
Noob To Pro With DRAGON REWORK in Blox FruitsAesir
Просмотров 849 тыс.
2021 AM Turing Award Recipient Jack Dongarra Turing Lecture: "A Not So Simple Matter of Software"1:09:282021 AM Turing Award Recipient Jack Dongarra Turing Lecture: "A Not So Simple Matter of Software"
2021 AM Turing Award Recipient Jack Dongarra Turing Lecture: "A Not So Simple Matter of Software"Association for Computing Machinery (ACM)
Просмотров 27 тыс.
Doorbell cam captures moment Paul Milgrom finds out he has won the Nobel prize for economics2:02Doorbell cam captures moment Paul Milgrom finds out he has won the Nobel prize for economics
Doorbell cam captures moment Paul Milgrom finds out he has won the Nobel prize for economicsGuardian News
Просмотров 2,9 млн
Trump Goes A-Conquerin' || Peter Zeihan13:26Trump Goes A-Conquerin' || Peter Zeihan
Trump Goes A-Conquerin' || Peter ZeihanZeihan on Geopolitics
Просмотров 321 тыс.
Cristian S. Calude: Big Data and Spurious Correleations1:37:41Cristian S. Calude: Big Data and Spurious Correleations
Cristian S. Calude: Big Data and Spurious CorreleationsCollegium Helveticum
Просмотров 318
Zero Knowledge Proofs - Computerphile9:39Zero Knowledge Proofs - Computerphile
Zero Knowledge Proofs - ComputerphileComputerphile
Просмотров 214 тыс.
Best of CES 202514:50Best of CES 2025
Best of CES 2025The Verge
Просмотров 598 тыс.
Frederick (“Fred”) Brooks, 1999 A.M. Turing Award Recipient2:03:49Frederick (“Fred”) Brooks, 1999 A.M. Turing Award Recipient
Frederick (“Fred”) Brooks, 1999 A.M. Turing Award RecipientAssociation for Computing Machinery (ACM)
Просмотров 9 тыс.
Elon Musk JUST Dropped Massive Bombshell on Tesla Bots, Neuralink and Major Tesla Updates | CES 202528:18Elon Musk JUST Dropped Massive Bombshell on Tesla Bots, Neuralink and Major Tesla Updates | CES 2025
Elon Musk JUST Dropped Massive Bombshell on Tesla Bots, Neuralink and Major Tesla Updates | CES 2025Brighter with Herbert
Просмотров 235 тыс.
What Should I Do If I Lose A Beautiful Woman’S Bag? #funny #skate00:56What Should I Do If I Lose A Beautiful Woman’S Bag? #funny #skate
What Should I Do If I Lose A Beautiful Woman’S Bag? #funny #skateFun Parkour Mr Wang
Просмотров 16 млн
Could it just be jealousy? #social00:50Could it just be jealousy? #social
Could it just be jealousy? #socialStasKsufamily
Просмотров 4,1 млн
Огонь у стен Голливуда! Пожары уничтожат всё? Скандалы и трагедии звёзд/Кто поджег Лос-Анджелес?09:45Огонь у стен Голливуда! Пожары уничтожат всё? Скандалы и трагедии звёзд/Кто поджег Лос-Анджелес?
Огонь у стен Голливуда! Пожары уничтожат всё? Скандалы и трагедии звёзд/Кто поджег Лос-Анджелес?MovieMaker
Просмотров 357 тыс.
Арестович: От кого бегут украинцы: от Путина или своих властей? Сбор для военных👇2:03:00Арестович: От кого бегут украинцы: от Путина или своих властей? Сбор для военных👇
Арестович: От кого бегут украинцы: от Путина или своих властей? Сбор для военных👇Alexey Arestovych
Просмотров 764 тыс.
БАБУШКА НАПАЛА НА СВОИХ ДОЧЕРЕЙ И СЮРПРИЗ НЕ УДАЛСЯ.22:38БАБУШКА НАПАЛА НА СВОИХ ДОЧЕРЕЙ И СЮРПРИЗ НЕ УДАЛСЯ.
БАБУШКА НАПАЛА НА СВОИХ ДОЧЕРЕЙ И СЮРПРИЗ НЕ УДАЛСЯ.ВАСЯ НА СЕНЕ
Просмотров 322 тыс.
Самая черная краска в мире! #musou #kiwami00:44Самая черная краска в мире! #musou #kiwami
Самая черная краска в мире! #musou #kiwamiAmitesh
Просмотров 8 млн
ДОМАШНИЕ РУТИНЫ ПОСЛЕ ПРАЗДНИКОВ🎄18:04ДОМАШНИЕ РУТИНЫ ПОСЛЕ ПРАЗДНИКОВ🎄
ДОМАШНИЕ РУТИНЫ ПОСЛЕ ПРАЗДНИКОВ🎄Будни Многодеточки
Просмотров 127 тыс.
ХРОНИКА КАНТАРА: ТОКАЕВ НАЗВАЛ НАС "БАНДИТАМИ И ТЕРРОРИСТАМИ"!00:31ХРОНИКА КАНТАРА: ТОКАЕВ НАЗВАЛ НАС "БАНДИТАМИ И ТЕРРОРИСТАМИ"!
ХРОНИКА КАНТАРА: ТОКАЕВ НАЗВАЛ НАС "БАНДИТАМИ И ТЕРРОРИСТАМИ"!Мухтар Аблязов
Просмотров 1,6 млн