C Libri

Libri di Titolo C pubblicati nella collana Phd Thesis Series

Computing in non standard set theories. Vol. 3 libro
LIBRO   9788884200792

Computing in non standard set theories. Vol. 3 Piazza Carla   -  Forum Edizioni, 2002  -  Phd Thesis Series

Computing in non standard set theories. Vol. 3 - Forum Edizioni

€ 15.00
 
ACQUISTA
Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 libro
LIBRO   9788884201508

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 Ciaffaglione Alberto   -  Forum Edizioni, 2003  -  Phd Thesis Series

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 - Forum Edizioni

€ 15.00
 
ACQUISTA
CS (2004) (3) libro
LIBRO   9788884201874

CS (2004) (3) Sciavicco Guido   -  Forum Edizioni, 2004  -  Phd Thesis Series

CS (2004) (3) - Forum Edizioni

€ 15.00
non acquistabile
DETTAGLI