-
Homotopy Type Theory코딩_Coding_Dev책_정리/Rust_Coding_Book 2024. 6. 27. 09:28728x90
https://homotopytypetheory.org/book/
The HoTT Book
Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hard…
homotopytypetheory.org
eBook
https://hott.github.io/book/hott-ebook-15-ge428abf.pdf반응형'코딩_Coding_Dev책_정리 > Rust_Coding_Book' 카테고리의 다른 글
실사에 가까운 모델링 3D Environment Design with Blender: Enhance your modeling, texturing (0) 2024.07.17 캐릭터 제작을 위한 블렌더 3D 모델링&렌더링 : 한 권으로 끝내는 3D 모델링 교과서 [ PDF ] (0) 2024.07.17 Introduction To Algorithms [ PDF ] (0) 2024.07.10 Do it! IT 서비스 이해를 위한 네트워크 기초 : 개발자 취업·실무를 위한 실습형 네트워크 입문서 (0) 2024.07.09 eBook) 진짜 하루만에 이해하는 반도체 산업 : 챗GPT 시대, 기회는 반도체 산업에 있습니다! [ PDF ] (0) 2024.06.19 eBook) 더 나은 프로그래머 되는 법 (개정판) : 지금 바로 실천할 수 있는 선배 개발자의 39가지 노하우 [ PDF ] (0) 2024.05.31 eBook) 프로그래밍의 규칙 : 더 나은 코드를 작성하는 21가지 개발 비법 [ PDF ] (0) 2024.05.31 개발자를 위한 필수 수학 : 기초 수학으로 시작하는 데이터 과학 첫걸음 (0) 2024.05.28