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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка tlaplus/PlusPy: Python interpreter for TLA+ specifications)
(Добавлена закладка Converting WDK 8.1 Projects to WDK 10 - Windows drivers | Microsoft Docs)
Строка 2: Строка 2:
 
=== 2020-08 ===
 
=== 2020-08 ===
  
 +
* 2020-08-22, 04:02:26: [https://docs.microsoft.com/en-us/windows-hardware/drivers/develop/converting-wdk-8-1-projects-to-wdk-10 Converting WDK 8.1 Projects to WDK 10 - Windows drivers | Microsoft Docs]
 
* 2020-08-12, 19:35:35: [https://github.com/tlaplus/PlusPy tlaplus/PlusPy: Python interpreter for TLA+ specifications]
 
* 2020-08-12, 19:35:35: [https://github.com/tlaplus/PlusPy tlaplus/PlusPy: Python interpreter for TLA+ specifications]
 
* 2020-08-12, 19:25:48: [https://ieeexplore.ieee.org/abstract/document/8991646 Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+ - IEEE Conference Publication]
 
* 2020-08-12, 19:25:48: [https://ieeexplore.ieee.org/abstract/document/8991646 Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+ - IEEE Conference Publication]

Версия 01:02, 22 августа 2020

2020

2020-08

2020-07

Навигация