Forum Edizioni Libri

Libri editi da Forum Edizioni pubblicati nella collana Phd Thesis Series

Pagina 1 di 1 Ordinata per:

1 di 1 (current)

Computing in non standard set theories. Vol. 3 libro

Computing in non standard set theories. Vol. 3

Forum Edizioni , 2002

Phd Thesis Series

€ 15.00

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

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

Forum Edizioni , 2002

Phd Thesis Series

€ 15.00

Some intensional models of lambda calculus libro

Some intensional models of lambda calculus

Franco Gianluca

Forum Edizioni , 2002

Phd Thesis Series

€ 15.00

Intersection types and lambda models. Vol. 2 libro

Intersection types and lambda models. Vol. 2

Forum Edizioni , 2004

Phd Thesis Series

€ 15.00

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

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

Cancila Daniela

Forum Edizioni , 2004

Phd Thesis Series

€ 15.00

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 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

Local search techniques for scheduling problems: algorithms and software tools libro

Local search techniques for scheduling problems: algorithms and software tools

Di Gaspero Luca

Forum Edizioni , 2003

Phd Thesis Series

€ 15.00

Model checking for the concurrent constraint paradigm libro

Model checking for the concurrent constraint paradigm

Villanueva García Alicia

Forum Edizioni , 2003

Phd Thesis Series

€ 15.00

Retrieving visual concepts in image databases libro

Retrieving visual concepts in image databases

Gentili Stefania

Forum Edizioni , 2003

Phd Thesis Series

€ 15.00

Dividing and conquering the layered land. Vol. 2 libro

Dividing and conquering the layered land. Vol. 2

Franceschet Massimo

Forum Edizioni , 2002

Phd Thesis Series

€ 15.00

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

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

Forum Edizioni , 2002

Phd Thesis Series

€ 15.00

Theories and techniques of structural abstraction for hierarchical model-based diagnosis libro

Theories and techniques of structural abstraction for hierarchical model-based diagnosis

Forum Edizioni , 2002

Phd Thesis Series

€ 15.00

CS (2004) (3) libro

CS (2004) (3)

Sciavicco Guido

Forum Edizioni , 2004

Phd Thesis Series

€ 15.00

non acquistabile