Calibre-Web
  • Advanced Search
    • Guest

Uploading...

Please do not refresh the page.
  • Browse
  • Books
  • Shelves

Discover (Random Books)

The prince

The prince

Machiavelli, Niccol, 1469-1527

Types and Programming Languages

Types and Programming Languages

Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)

Einstein Manifolds

Einstein Manifolds

Arthur L. Besse

Pressed for Time The Acceleration of Life in Digital Capitalism

Pressed for Time The Acceleration of Life in Digital Capitalism

Judy Wajcman

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program

Book Details

...