Home Advanced Search

Advanced Search - Page 1

Pupa Yelken
  • PDF
  • Turkish
  • Author: Sadun Boro
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
  • EPUB
  • English
  • Author: Boro Sitnikovski
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
  • PDF
  • English
  • Year: 2023
  • Author: Boro Sitnikovski
Gentle Introduction to Dependent Types with Idris
Gentle Introduction to Dependent Types with Idris
  • PDF
  • English
  • Year: 2018
  • Author: Boro Sitnikovski
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language
  • EPUB
  • English
  • Year: 2021
  • Author: Boro Sitnikovski
CeiMigraï CeiMigraï Manual de Educacio n Intercultural_sin-_MaquetaciÛn 1
  • PDF
  • Spanish
  • Year: 2012
  • Author: Boro Colomer
A Grammar of Hakhun Tangsa
  • PDF
  • English
  • Year: 2017
  • Author: Krishna Boro
Numerical Brain Teasers: Exercise Your Mind
Numerical Brain Teasers: Exercise Your Mind
  • EPUB
  • English
  • Year: 2023
  • Author: Erica Sadun
Numerical Brain Teasers
Numerical Brain Teasers
  • EPUB
  • English
  • Year: 2023
  • Author: Erica Sadun
The Six Pillars of Calculus: Biology Edition
The Six Pillars of Calculus: Biology Edition
  • PDF
  • English
  • Year: 2023
  • Author: Lorenzo Sadun
search