Log in Sign Up
Popular Right Now
Data ScienceDevelopmentDesign
Log in Sign Up

Book Category: Theoretical Computer Science

Category Theory for Computing Science

January 7, 2023

Homotopy Type Theory: Univalent Foundations of Mathematics

January 7, 2023
Introduction to Computing

Introduction to Computing

January 7, 2023

Design of a Programmer

January 5, 2023

Theory of Computation Making Connections (PDF)

January 5, 2023

Introduction to Computer Science

January 5, 2023

Introduction to Theory of Computation (PDF)

January 5, 2023
Models of Computation

Models of Computation

January 5, 2023

Practical Foundations for Programming Languages Preview (PDF)

January 5, 2023

Principles of Programming Languages

January 5, 2023

Programming and Programming Languages

January 5, 2023

Programming in Martin-Löf’s Type Theory

January 5, 2023