Cozy Library
  • Advanced Search
    • Guest

Uploading...

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

Discover (Random Books)

Intuitionistic Type Theory

Intuitionistic Type Theory

Giovanni Sambin, Per Martin-Lof

Asclepius A Colletion and Interpretation ofthe Testimonies -- Emma J Edelstein, Ludwig Edelstein -- 1+2, 1945 -- Johns Hopkins Press -- 664e989f2e1a117705655f85a6f46358 -- Anna’s Archive

Asclepius A Colletion and Interpretation ofthe Testimonies -- ...

Unknown

3D Math Primer for Graphics and Game Development

3D Math Primer for Graphics and Game Development

Fletcher Dunn, Ian Parberry

Porgramming in Martin-Lof's Type Theory

Porgramming in Martin-Lof's Type Theory

Bengt Nordstrom, Kent Petersson, Jan M. Smith

Publisher: O'Reilly Media

A Theory of Fun for Game Design

A Theory of Fun for Game Design

Raph Koster

Book Details

...