Участник:StasFomin/Bookmarks/CS

2020

2020-07

• 2020-07-08, 10:38:56: Hoare: Hoare Logic, Part I
• 2020-07-02, 21:35:57: Участник:StasFomin/Bookmarks/Algorithms — DISCOPAL
• 2020-07-02, 20:44:29: The HoTT Book: category_theory — LiveJournal

  The HoTT Book

  http://homotopytypetheory.org/book/

  
  http://homotopytypetheory.org/2013/06/20/the-hott-book/
  http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html

• 2020-07-02, 19:47:30: "Reverse Engineering for Beginners" free book

  RE4B and "Understanding Assembly Language".

• 2020-07-02, 19:46:58: Dennis Yurichev: SAT/SMT by Example

  SAT/SMT by Example