Forum Edizioni Libri

Libri editi da Forum Edizioni pubblicati nella collana Phd Thesis Series INFORMATICA E TECNOLOGIA DELL’INFORMAZIONE

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

Computing in non standard set theories. Vol. 3

Piazza Carla
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA
Reasoning about names in higher-order abstract syntax. Vol. 4 libro
libro

Reasoning about names in higher-order abstract syntax. Vol. 4

Scagnetto Ivan
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA
Intersection types and lambda models. Vol. 2 libro
libro

Intersection types and lambda models. Vol. 2

Motohama Yoko
Forum Edizioni , 2004
Phd Thesis Series
€ 15.00
 
ACQUISTA
Investigations in the categorical foundations and applications of coalgebras and hypersets. Vol. 1 libro
libro

Investigations in the categorical foundations and applications of coalgebras and hypersets. Vol. 1

Cancila Daniela
Forum Edizioni , 2004
Phd Thesis Series
€ 15.00
 
ACQUISTA
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
Dividing and conquering the layered land. Vol. 2 libro
libro

Dividing and conquering the layered land. Vol. 2

Franceschet Massimo
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA
On the complexity of optimal reduction of functional programming language. Vol. 1 libro
libro

On the complexity of optimal reduction of functional programming language. Vol. 1

Coppola Paolo
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA