Участник:StasFomin/Bookmarks/Algorithms — различия между версиями

Версия 11:06, 13 октября 2020

2020-07-08, 10:38:47: Hoare: Hoare Logic, Part I
2020-07-03, 10:27:44: Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики
Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)

Печать DOC PDF

Лектор - доц. Д.В. Мусатов

Спецкурс проходит по четвергам в 16:00 в ШАД, Яндекс. Начало - 13.09.2018.
- Программа курса
2020-07-02, 22:58:04: Multiresolution alignment for multiple unsynchronized audio sequences using sequential Monte Carlo samplers - Multiresolution-alignment-for-multiple-unsynchronized-audio-sequences-using-Sequential-Monte-Carlo-samplers.pdf
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/321767378Multiresolution alignment for multiple unsynchronized audio sequencesusing Sequential Monte Carlo samplers
2020-07-02, 21:35:32: Участник:StasFomin/Bookmarks/DocStruct — DISCOPAL
2020-07-02, 19:44:44: Проблема перебора
2020-07-02, 19:37:12: Lecture26
2020-07-02, 18:25:13: Algorithms | Coursera

@@ Строка 2: / Строка 2: @@
 === 2020-10 ===
+* 2020-10-13, 14:06:36: [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures/blob/master/Lecture1.pdf engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures]
 * 2020-10-13, 14:00:10: [https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY «Введение в верификацию программ» - YouTube]
 * 2020-10-13, 13:54:55: [https://jscoq.github.io/ jsCoq – Use Coq in Your Browser]