loading...



Inserisci Annuncio

Ordina per:

più rilevanti
filtra per

Interactive Theorem Proving And Program

in vendita sui migliori siti di annunci in Italia

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions

13.940 prodotti trovati

Inserisci Annuncio

Prezzo

min max

Percentuale Sconto

min max

Percentuale Ribasso

min max

Valutazione del Prezzo



Spedizione



Stato



Inserzionista



Tipo



Categoria

Dvd
Electrical Equipment
Home Appliance Parts
Libro




3
-11%
Interactive Theorem Proving And Program...

Interactive Theorem Proving And Program...

76,58€ 117,69€
Medio: 85,68   Min: 47,64
Interactive Theorem Proving and Program...

Interactive Theorem Proving and Program...

58,23€
Medio: 51,25   Min: 35,48
3
-46%
Proving History: Bayes's Theorem and the Quest for...

Proving History: Bayes's Theorem and the Quest for...

25,76€
Medio: 47,72   Min: 16,54
 -7%
Advanced Calculus: Differential Calculus and...

Advanced Calculus: Differential Calculus and...

29,27€ 33,97€
Medio: 31,35   Min: 26,57
Tpm Development Program

Tpm Development Program

179,10€
Advanced Calculus: Differential Calculus and...

Advanced Calculus: Differential Calculus and...

39,95€
Medio: 37,50   Min: 34,95
2
Higher Order Logic Theorem Proving and its...

Higher Order Logic Theorem Proving and its...

154,96€
Medio: 154,96   Min: 154,96
3
-22%
Theorem Proving With Analytic Tableaux and Related...

Theorem Proving With Analytic Tableaux and Related...

36,00€ 74,89€
Medio: 46,15   Min: 24,93
Minigun Research and Development Program...

Minigun Research and Development Program...

 
-15%
Starting a Talent Development Program...

Starting a Talent Development Program...

29,96€
Medio: 35,34   Min: 23,54
Logic for Computer Science: Foundations of

Logic for Computer Science: Foundations of

22,69€
Medio: 21,21   Min: 19,58
2
The Proving

The Proving

16,63€
Medio: 14,21   Min: 12,30
5
Zéro theorem

Zéro theorem

13,98€
2
 -8%
Frege's Theorem

Frege's Theorem

24,72€ 29€
Medio: 26,99   Min: 20,43
2
Tpm Development Program: Implementing Total...

Tpm Development Program: Implementing Total...

29,50€
-19%
GPU Parallel Program Development Using CUDA...

GPU Parallel Program Development Using CUDA...

53,70€ 70,95€
Medio: 66,65   Min: 51,74
2
-77%
Linux Program Development: a Guide With Exercises...

Linux Program Development: a Guide With Exercises...

6,78€ 25,93€
Medio: 29,41   Min: 6,62
3
History of the Calculus and Its Conceptual...

History of the Calculus and Its Conceptual...

18,19€
Medio: 17,13   Min: 9,59
The Frostig program for the development of visual...

The Frostig program for the development of visual...

 
Program Development in Java: Abstraction...

Program Development in Java: Abstraction...

44,71€
Medio: 35,55   Min: 29,11
How To Program -- Amazon Echo: Design, Development...

How To Program -- Amazon Echo: Design, Development...

0,99€
Medio: 0,99   Min: 0,99
3
Program Development in Java: Abstraction...

Program Development in Java: Abstraction...

123,34€
3
-21%
Functional Assessment and Program Development for...

Functional Assessment and Program Development for...

37,26€ 39,36€
Medio: 47,33   Min: 37,42
5
CS5463 Module STM32 Program Positive atom...
300

CS5463 Module STM32 Program Positive atom...

77,03$
2
Calculus

Calculus

43,60€ 55,58€
-26%
The Proving Trail

The Proving Trail

48,93€
Medio: 66,25   Min: 29,77
2
 -6%
Bayes's Theorem: 113

Bayes's Theorem: 113

26,34€ 28,18€
Medio: 28,09   Min: 21,62
3
OBD2 module test panel SCAN105RB program
300

OBD2 module test panel SCAN105RB program

24,98$
3
OBD2 module test panel SCAN105RB program
300

OBD2 module test panel SCAN105RB program

24,98$
 -6%
The History of the Calculus and Its Conceptual...

The History of the Calculus and Its Conceptual...

10,57€
Medio: 11,19   Min: 9,51
Complete Book Of Shaolin: Comprehensive Program...

Complete Book Of Shaolin: Comprehensive Program...

7,86€
Medio: 7,86   Min: 7,86
Prospect the Sandler Way: a 30-Day Program for...

Prospect the Sandler Way: a 30-Day Program for...

8,36€
Medio: 8,81   Min: 8,36
2
-10%
B180 Basketball Fundamental Skills Program...

B180 Basketball Fundamental Skills Program...

47,87€ 57,35€
Medio: 53,48   Min: 47,31
2
Calculus Affair

Calculus Affair

76,99€
Medio: 59,91   Min: 5,28
Advanced Calculus

Advanced Calculus

55,17€
Concise Calculus

Concise Calculus

149,00€
Medio: 112,85   Min: 100,92
2
Vector Calculus

Vector Calculus

47,79€
3
Tensor Calculus

Tensor Calculus

21,93€
2
Infinitesimal Calculus

Infinitesimal Calculus

100,71€
Multivariable Calculus

Multivariable Calculus

9,24€




Sono state caricate solo le prime 150 voci.
Utilizza i filtri per ridurne il numero!



Chi Siamo Partner Pubblicità Contatti Privacy Condizioni

© Copyright 2010-2025 Fabrizio Fichera. Tutti i diritti riservati. P.I. 02554810180