Phd Thesis Series Libri

Libri pubblicati nella collana Phd Thesis Series con argomento Informatica INFORMATICA E TECNOLOGIA DELL’INFORMAZIONE

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

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

Ciaffaglione Alberto
Forum Edizioni , 2003
Phd Thesis Series
€ 15.00
 
ACQUISTA
Local search techniques for scheduling problems: algorithms and software tools libro
libro

Local search techniques for scheduling problems: algorithms and software tools

Di Gaspero Luca
Forum Edizioni , 2003
Phd Thesis Series
€ 15.00
 
ACQUISTA
Model checking for the concurrent constraint paradigm libro
libro

Model checking for the concurrent constraint paradigm

Villanueva García Alicia
Forum Edizioni , 2003
Phd Thesis Series
€ 15.00
 
ACQUISTA
Retrieving visual concepts in image databases libro
libro

Retrieving visual concepts in image databases

Gentili Stefania
Forum Edizioni , 2003
Phd Thesis Series
€ 15.00
 
ACQUISTA