fbevnts Vendita online di DVD e libri di narrativa, tascabili, per ragazzi, professionali | Libreria Storielleria
Vai al contenuto della pagina

Forum Edizioni: Phd thesis series

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

Intersection types and lambda models. Vol. 2

Intersection types and lambda models. Vol. 2

Yoko Motohama

Libro: Copertina morbida

editore: Forum Edizioni

anno edizione: 2004

pagine: 82

15,00

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

Local search techniques for scheduling problems: algorithms and software tools
15,00

Retrieving visual concepts in image databases

Retrieving visual concepts in image databases

Stefania Gentili

Libro: Copertina morbida

editore: Forum Edizioni

anno edizione: 2003

pagine: 138

15,00

Model checking for the concurrent constraint paradigm

Model checking for the concurrent constraint paradigm

Alicia Villanueva García

Libro: Copertina morbida

editore: Forum Edizioni

anno edizione: 2003

pagine: 138

15,00

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

Dividing and conquering the layered land. Vol. 2

Dividing and conquering the layered land. Vol. 2

Massimo Franceschet

Libro: Copertina morbida

editore: Forum Edizioni

anno edizione: 2002

pagine: 118

15,00

Computing in non standard set theories. Vol. 3

Computing in non standard set theories. Vol. 3

Carla Piazza

Libro: Copertina morbida

editore: Forum Edizioni

anno edizione: 2002

pagine: 204

15,00

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

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

Ivan Scagnetto

Libro: Copertina morbida

editore: Forum Edizioni

anno edizione: 2002

pagine: 184

15,00

Some intensional models of lambda calculus

Some intensional models of lambda calculus

Gianluca Franco

Libro: Copertina morbida

editore: Forum Edizioni

anno edizione: 2002

pagine: 124

15,00

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

Inserire il codice per il download.

Inserire il codice per attivare il servizio.