Stai navigando i libri della casa editrice Forum Edizioni

In catalogo sono presenti 1.126 libri catalogati nelle sezioni elencate alla destra della pagina:
 
Libri ordinati per Anno in modo Decrescente
Ordina per: Autore | Titolo | Anno
Certified reasoning on real numbers and objects in co-inductive type theory. 1.

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

di Alberto Ciaffaglione
Prodotto fuori catalogo Aggiungi a lista dei desideri

Prezzo: € 15,00
Editore: Forum Edizioni
ISBN: 9788884201508
Collana:
Anno Edizione:
Retrieving visual concepts in image databases

Retrieving visual concepts in image databases

di Stefania Gentili
Prodotto fuori catalogo Aggiungi a lista dei desideri

Prezzo: € 15,00
Editore: Forum Edizioni
ISBN: 9788884201522
Collana:
Anno Edizione:
Model checking for the concurrent constraint paradigm

Model checking for the concurrent constraint paradigm

di Alicia Villanueva Garcia, Alicia Villanueva García
Prodotto fuori catalogo Aggiungi a lista dei desideri

Prezzo: € 15,00
Editore: Forum Edizioni
ISBN: 9788884201539
Collana:
Anno Edizione:
Investigations in the categorical foundations and applications of coalgebras and hypersets. 1.

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

di Daniela Cancila
Momentaneamente non ordinabile Aggiungi a lista dei desideri

Prezzo: € 15,00
Editore: Forum Edizioni
ISBN: 9788884201850
Collana:
Anno Edizione:
Intersection types and lambda models. 2.

Intersection types and lambda models. 2.

di Yoko Motohama
Momentaneamente non ordinabile Aggiungi a lista dei desideri

Prezzo: € 15,00
Editore: Forum Edizioni
ISBN: 9788884201867
Collana:
Anno Edizione:
Uso dei valichi alpini orientali dalla preistoria ai pellegrinaggi medievali

Uso dei valichi alpini orientali dalla preistoria ai pellegrinaggi medievali

di E. Cason
Momentaneamente non ordinabile Aggiungi a lista dei desideri

Prezzo: € 19,50
Editore: Forum Edizioni
ISBN: 9788884200501
Collana:
Anno Edizione: