Home Advanced Search

Advanced Search - Page 1

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
Pupa Yelken
  • PDF
  • Turkish
  • Author: Sadun Boro
The Emergence of Russian Panslavism, 1856-1870
The Emergence of Russian Panslavism, 1856-1870
  • PDF
  • English
  • Year: 1985
  • Author: Michael Boro Petrovich
Nondestructive Characterization of Materials XI: Forschungsinstitut für Mathermatik, ETH, Zürich October 1965 – July 1966
  • PDF
  • English
  • Year: 1967
  • Author: Robert E. Green, B. Boro Djordjevic, Manfred P. Hentschel
search