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

Book Category: Theoretical Computer Science

Programming and Programming Languages

January 5, 2023

Programming in Martin-Löf’s Type Theory

January 5, 2023

Programming Languages: Application and Interpretation (2nd Edition)

January 5, 2023

Programming Languages: Theory and Practice (PDF)

January 5, 2023

Semantics with Applications: A Formal Introduction (PDF)

January 5, 2023

Structure and Interpretation of Computer Programs (PDF)

January 5, 2023

Structure and Interpretation of Computer Programs

January 5, 2023
Models of Computation

Building Blocks for Theoretical Computer Science

January 5, 2023

The Black Art of Programming

January 5, 2023

Category Theory for Programmers

January 5, 2023

The Craft of Programming

January 5, 2023