Introduction to Dependent Types with Idris | DealShopping Deutschland
  1. Home
  2. Introduction to Dependent Types with Idris
  • #

Introduction to Dependent Types with Idris

26.99 EUR

Teilen:
Gesponsert

Introduction to Dependent Types with Idris

SpringerLink DE
26.99 EUR
09-06-2026 02:09:53

Ähnliche Produkte

Dependent Types with Idris: Program Proofs Encoding

Dependent Types with Idris: Program Proofs Encoding

34.98 EUR
Graph Critical with Respect to Variants of Domination: Introduction to Extended Total Domination, Independent Domination-Vertex Covering, Total K,K-Tuple, K-Dependent, Perfect Domination

Graph Critical with Respect to Variants of Domination: Introduction to Extended Total Domination, Independent Domination-Vertex Covering, Total K,K-Tuple, K-Dependent, Perfect Domination

58.34 EUR
Introduction to Time-dependent Seismic Zoning

Introduction to Time-dependent Seismic Zoning

48.74 EUR
An Introduction to the Study of the Dependent, Defective and Delinquent Classes

An Introduction to the Study of the Dependent, Defective and Delinquent Classes

22.90 EUR
Introduction to Nanomultiferroics: Fabrication of magnetoelectrics and their size dependent tunable properties

Introduction to Nanomultiferroics: Fabrication of magnetoelectrics and their size dependent tunable properties

68.00 EUR
Introduction To The Study Of The Dependent, Defective, And Delinquent Classes, And Of Their Social Treatment (1906)

Introduction To The Study Of The Dependent, Defective, And Delinquent Classes, And Of Their Social Treatment (1906)

38.10 EUR